Video wird geladen...

Video konnte nicht geladen werden

Zur Startseite

🚨 Securing ZK, Bug by Bug Part 1: Discover the "Code Bug" in our series "A Tale of Two ZK Bugs." Learn how a simple coding error can jeopardize blockchain security. An error in the Load8 instruction can cause improper memory access, compromising ZK transactions. Watch now! 🔐

CertiK's profile picture

CertiK

557,249 subscribers

647,770 Aufrufe • vor 2 Jahren •via X (Twitter)

Wissenschaft & Technologie
LIVE

Anya Rossi• Live Now

Private livecam show

10 Kommentare

Profilbild von Kiiroi Hige (💙,🧡)
Kiiroi Hige (💙,🧡)vor 2 Jahren

why is your quest page is not working? it constantly wants to be logged in and quiz pages are not going on smoothly..

Profilbild von CertiK Skynet Rating
CertiK Skynet Ratingvor 2 Jahren

@CertiK Our team is diligently addressing the issue. We appreciate your patience.

Profilbild von Bernardo
Bernardovor 2 Jahren

Bullish on ZK, it is important to be safe!

Profilbild von CertiK
CertiKvor 2 Jahren

Indeed! What's your favorite aspect of ZKs?

Profilbild von Cryptoxxx
Cryptoxxxvor 2 Jahren

Can't wait for part 2 !!

Profilbild von Jonathan Smith
Jonathan Smithvor 2 Jahren

Is there a part 2??

Profilbild von CertiK
CertiKvor 2 Jahren

There will be! Stay tuned, it will be released soon!

Profilbild von Ken 𓊈𒆜🐙𒆜𓊉 & (Ø,G) !
Ken 𓊈𒆜🐙𒆜𓊉 & (Ø,G) !vor 2 Jahren

Wow

Profilbild von HungPham Anomage Reddio 🦙🔥
HungPham Anomage Reddio 🦙🔥vor 2 Jahren

Nice information @CertiK

Profilbild von Shanghai Park.(✸,✸)
Shanghai Park.(✸,✸)vor 2 Jahren

Lfg

Ähnliche Videos

Securing ZK, Instruction by Instruction Understanding ZK verification is crucial for blockchain integrity. It’s a complex process that CertiK is pioneering to ensure that every step in a ZK VM Chain’s execution is mathematically verified to be secure and correct. Watch the video & Let’s dive deeper 👇
1:31

Securing ZK, Instruction by Instruction Understanding ZK verification is crucial for blockchain integrity. It’s a complex process that CertiK is pioneering to ensure that every step in a ZK VM Chain’s execution is mathematically verified to be secure and correct. Watch the video & Let’s dive deeper 👇

CertiK

86,010 Aufrufe • vor 2 Jahren

In blockchain governance, undetected bugs can pose significant risks. Our Formal Verification of TON's blockchain contracts had revealed the "Missing Stake Bug," which could have caused loss of staked funds or compromised network security, this issue has since been addressed proactively by the team.
1:31

In blockchain governance, undetected bugs can pose significant risks. Our Formal Verification of TON's blockchain contracts had revealed the "Missing Stake Bug," which could have caused loss of staked funds or compromised network security, this issue has since been addressed proactively by the team.

CertiK

340,375 Aufrufe • vor 1 Jahr

Just wrapped an amazing panel with House of ZK. ZK used to be a PhD-only club. Now, with zkVMs, any dev can build with it. We're solving the performance vs. programmability trade-off so that in 5-10 years, 99% of dApps can run on verifiable off-chain compute. The future is off-chain, verified on-chain. Thanks for having us House of ZK!
2:39

Just wrapped an amazing panel with House of ZK. ZK used to be a PhD-only club. Now, with zkVMs, any dev can build with it. We're solving the performance vs. programmability trade-off so that in 5-10 years, 99% of dApps can run on verifiable off-chain compute. The future is off-chain, verified on-chain. Thanks for having us House of ZK!

Brevis

32,095 Aufrufe • vor 10 Monaten

Diamante Security Success Story🔐 Step into the world of DIAM, where advanced security meets global blockchain adoption. Explore how Diamante continues to excel in blockchain technology with a focus on security, trust, and community. 👇 Discover more below.
0:31

Diamante Security Success Story🔐 Step into the world of DIAM, where advanced security meets global blockchain adoption. Explore how Diamante continues to excel in blockchain technology with a focus on security, trust, and community. 👇 Discover more below.

CertiK

24,920 Aufrufe • vor 1 Jahr

Blockchain’s future depends on solving challenges in confidentiality, scalability, and trust. CertiK is committed to advancing security in ZKP, TEE, and Soft-TEE technologies. Watch now to learn about key bug discoveries shaping secure decentralized systems.
1:33

Blockchain’s future depends on solving challenges in confidentiality, scalability, and trust. CertiK is committed to advancing security in ZKP, TEE, and Soft-TEE technologies. Watch now to learn about key bug discoveries shaping secure decentralized systems.

CertiK

138,613 Aufrufe • vor 1 Jahr

🚨 We're disclosing a macOS security bug that Apple says is not an issue. Using a simple archive-and-restore trick, an attacker can silently replace the main executable of virtually any application downloaded from the web—no password or warning is required. Here's a demo using Signal to steal its encryption key. 📝 Blog with technical details: link in the replies. Do you think this should be considered a security bug? 🎬👇
2:22

🚨 We're disclosing a macOS security bug that Apple says is not an issue. Using a simple archive-and-restore trick, an attacker can silently replace the main executable of virtually any application downloaded from the web—no password or warning is required. Here's a demo using Signal to steal its encryption key. 📝 Blog with technical details: link in the replies. Do you think this should be considered a security bug? 🎬👇

Mysk 🇨🇦🇩🇪

86,924 Aufrufe • vor 21 Tagen

Over $100,000💵 for reporting for a bug🔥⚡️ Cyber samurai, you are officially invited on a journey for a bug-free future of finance! Are you ready to take on your armour and battle with us? #CrossFi Foundation launches the Bug Bounty⚡️ The reward structure is in line with the Warrior Code 🔹Over $100,000 – critical bugs 🔹Over $50,000 – huge 🔹$5,000-$50,000 – medium 🔹Up to $7,500 – low 🔁There are no limits! You can report as many bugs as you can find!!! Read more about the Bug Bounty program on the official CrossFi Foundation website Have you already started your Way of the Crypto Samurai? 📣Submit the bug in this form and get your rewards! #money $XFI #crypto #defi #fintech #finance #blockchain #card #visa #cryptocard #decentralized #crosschain #token #technology #innovation #earn #reward #warrior
0:56

Over $100,000💵 for reporting for a bug🔥⚡️ Cyber samurai, you are officially invited on a journey for a bug-free future of finance! Are you ready to take on your armour and battle with us? #CrossFi Foundation launches the Bug Bounty⚡️ The reward structure is in line with the Warrior Code 🔹Over $100,000 – critical bugs 🔹Over $50,000 – huge 🔹$5,000-$50,000 – medium 🔹Up to $7,500 – low 🔁There are no limits! You can report as many bugs as you can find!!! Read more about the Bug Bounty program on the official CrossFi Foundation website Have you already started your Way of the Crypto Samurai? 📣Submit the bug in this form and get your rewards! #money $XFI #crypto #defi #fintech #finance #blockchain #card #visa #cryptocard #decentralized #crosschain #token #technology #innovation #earn #reward #warrior

CrossFi

10,254 Aufrufe • vor 2 Jahren

🚨 BREAKING: CDC ALERT: DEADLY “KISSING BUG” DISEASE NOW ENDEMIC & SPREADING NATIONWIDE The CDC has just warned doctors that Chagas disease, spread by the face-biting “kissing bug”, is now endemic in 32 states. Even a single kiss from this bug can leave behind parasites in its feces that cause life-threatening illness. Thousands could already be infected without realizing it. If Chagas disease is now endemic in 32 states, how many millions are already infected and don’t even know it?
1:52

🚨 BREAKING: CDC ALERT: DEADLY “KISSING BUG” DISEASE NOW ENDEMIC & SPREADING NATIONWIDE The CDC has just warned doctors that Chagas disease, spread by the face-biting “kissing bug”, is now endemic in 32 states. Even a single kiss from this bug can leave behind parasites in its feces that cause life-threatening illness. Thousands could already be infected without realizing it. If Chagas disease is now endemic in 32 states, how many millions are already infected and don’t even know it?

HustleBitch

840,218 Aufrufe • vor 11 Monaten

🔐OKX Wallet Success Story! Discover how @okxweb3 achieved a top-tier AA security rating and excels in crypto wallet solutions! Witness their journey and see why they are a leader in blockchain security! View the complete video here👇
0:57

🔐OKX Wallet Success Story! Discover how @okxweb3 achieved a top-tier AA security rating and excels in crypto wallet solutions! Witness their journey and see why they are a leader in blockchain security! View the complete video here👇

CertiK

37,106 Aufrufe • vor 2 Jahren

Web3 is a dark forest — and only the sharpest minds can navigate it. At Infini, we take security seriously. In this episode of Infini Spotlight, we sit down with Nolan | ExVul , founder of ExVul , to uncover: - How one bug can freeze an entire blockchain - Why open-source code can become a hidden trap - What could go wrong when AI starts making payments Watch full episode🎥👇
27:30

Web3 is a dark forest — and only the sharpest minds can navigate it. At Infini, we take security seriously. In this episode of Infini Spotlight, we sit down with Nolan | ExVul , founder of ExVul , to uncover: - How one bug can freeze an entire blockchain - Why open-source code can become a hidden trap - What could go wrong when AI starts making payments Watch full episode🎥👇

Infini

11,293 Aufrufe • vor 10 Monaten

DEBATE: ZKVMs or ZK Circuits? 🌶 ZKVMs have made it easy for projects to integrate ZK by offering reduced time-to-market and lower engineering costs. But as applications mature, there’s a growing question: do you stick with the flexibility of ZKVMs, or do you shift toward building custom ZK circuits for the extra boost in efficiency and performance? For today's episode, we met with Uma Roy of Succinct and Vanishree Rao of Fermah to debate the trade-offs between ZKVMs and ZK circuits. Custom circuits can be tailored for specific tasks, potentially offering higher security and efficiency. Yet, they come at the cost of increased engineering effort and complexity. On the flip side, ZKVMs are versatile and flexible for broad optimization across various use cases. Which ZK stack is right for you? Find out in today's episode: 02:20 Introduction to ZK 10:35 Advantages of ZKVMs 12:03 Advantages of Custom ZK Circuits 19:49 Challenges in Auditing ZK Systems 21:29 Choosing Between VMs and Circuits 29:48 The General Impact of ZK 48:05 The Future of ZK Rollups
58:39

DEBATE: ZKVMs or ZK Circuits? 🌶 ZKVMs have made it easy for projects to integrate ZK by offering reduced time-to-market and lower engineering costs. But as applications mature, there’s a growing question: do you stick with the flexibility of ZKVMs, or do you shift toward building custom ZK circuits for the extra boost in efficiency and performance? For today's episode, we met with Uma Roy of Succinct and Vanishree Rao of Fermah to debate the trade-offs between ZKVMs and ZK circuits. Custom circuits can be tailored for specific tasks, potentially offering higher security and efficiency. Yet, they come at the cost of increased engineering effort and complexity. On the flip side, ZKVMs are versatile and flexible for broad optimization across various use cases. Which ZK stack is right for you? Find out in today's episode: 02:20 Introduction to ZK 10:35 Advantages of ZKVMs 12:03 Advantages of Custom ZK Circuits 19:49 Challenges in Auditing ZK Systems 21:29 Choosing Between VMs and Circuits 29:48 The General Impact of ZK 48:05 The Future of ZK Rollups

The Rollup

99,717 Aufrufe • vor 1 Jahr

🔐 Ice Open Network Success Story 🛡️ Ranked #1 in Privacy and #68 overall with a 91.19 CertiK Security Score, Ice Open Network is in the top 10% of blockchain projects globally. 🎥 Watch how their security practices ensure privacy and transparency for users. Explore more:
0:51

🔐 Ice Open Network Success Story 🛡️ Ranked #1 in Privacy and #68 overall with a 91.19 CertiK Security Score, Ice Open Network is in the top 10% of blockchain projects globally. 🎥 Watch how their security practices ensure privacy and transparency for users. Explore more:

CertiK

284,944 Aufrufe • vor 1 Jahr

new game breaking bug dropped... you can now get ssl for free by playing with an invisible car how is this even possible hahahah my friends sent me a group of replays of them getting farmed by trio queues in gc2-3 with invisible cars so it's not a one game bug. this is insane
0:37

new game breaking bug dropped... you can now get ssl for free by playing with an invisible car how is this even possible hahahah my friends sent me a group of replays of them getting farmed by trio queues in gc2-3 with invisible cars so it's not a one game bug. this is insane

Josh

25,579 Aufrufe • vor 2 Jahren

Tutorial: How to make a creative coding animation with Claude 2 and OpenProcessing Claude 2 is one of my favorite coding tools. Here's a demo how you can learn programming and write a simple animation with it in minutes. You can run the code at OpenProcessing. Links in comment
1:16

Tutorial: How to make a creative coding animation with Claude 2 and OpenProcessing Claude 2 is one of my favorite coding tools. Here's a demo how you can learn programming and write a simple animation with it in minutes. You can run the code at OpenProcessing. Links in comment

Kris Kashtanova

18,369 Aufrufe • vor 2 Jahren

Arbitrum embraces ZK Succinct has signed exclusive partnership with Tandem (Offchain Labs’ venture arm) to bring ZK proving to Arbitrum chains. Uma Roy: “Every rollup will become a ZK rollup. We gave OP Stack that option with OP Succinct; now Arbitrum’s massive ecosystem gets it too.” What changes for users - Finality: withdrawals and settlements go from 7 days to minutes. - Capital efficiency: funds are no longer locked during week-long challenge periods. - User experience: bridges become smoother, safer, and significantly faster. - Security: execution is enforced by ZK proofs at L1, reducing dependence on sequencer honesty. Steven Goldfeder: “Using ZK proofs brings the network closer to something like Stage 2 decentralization — security enforced at L1, not just by trusting the sequencer.” What changes for the ecosystem - Flexibility: more than 40 Arbitrum chains, including projects like Robinhood and Converge, will be able to choose ZK proving. - Modular design: Succinct provers integrate without requiring a rewrite of the stack. - Governance: Arbitrum One itself is DAO-governed and will not flip overnight, but the stack now supports ZK from the ground up. - Hybrid paths: optimistic and ZK approaches can coexist, giving teams cost and latency trade-offs. What it means for Succinct - SP1 zkVM is already used by 35+ projects including Across, Avail, Celestia, Mantle, Polygon. - Succinct Prover Network, secured and powered by the PROVE token, expands beyond OP Stack chains to cover Arbitrum. - The addressable market effectively doubles. Monetizing even a fraction of Arbitrum’s L2 value could mean hundreds of millions in revenue distributed to provers, stakers, and partners. The ZK era is upon us
5:04

Arbitrum embraces ZK Succinct has signed exclusive partnership with Tandem (Offchain Labs’ venture arm) to bring ZK proving to Arbitrum chains. Uma Roy: “Every rollup will become a ZK rollup. We gave OP Stack that option with OP Succinct; now Arbitrum’s massive ecosystem gets it too.” What changes for users - Finality: withdrawals and settlements go from 7 days to minutes. - Capital efficiency: funds are no longer locked during week-long challenge periods. - User experience: bridges become smoother, safer, and significantly faster. - Security: execution is enforced by ZK proofs at L1, reducing dependence on sequencer honesty. Steven Goldfeder: “Using ZK proofs brings the network closer to something like Stage 2 decentralization — security enforced at L1, not just by trusting the sequencer.” What changes for the ecosystem - Flexibility: more than 40 Arbitrum chains, including projects like Robinhood and Converge, will be able to choose ZK proving. - Modular design: Succinct provers integrate without requiring a rewrite of the stack. - Governance: Arbitrum One itself is DAO-governed and will not flip overnight, but the stack now supports ZK from the ground up. - Hybrid paths: optimistic and ZK approaches can coexist, giving teams cost and latency trade-offs. What it means for Succinct - SP1 zkVM is already used by 35+ projects including Across, Avail, Celestia, Mantle, Polygon. - Succinct Prover Network, secured and powered by the PROVE token, expands beyond OP Stack chains to cover Arbitrum. - The addressable market effectively doubles. Monetizing even a fraction of Arbitrum’s L2 value could mean hundreds of millions in revenue distributed to provers, stakers, and partners. The ZK era is upon us

jaehaerys.eth

17,453 Aufrufe • vor 11 Monaten

CertiK was thrilled to be part of the 2024 Qualcomm's Product Security Summit today. We demonstrated critical vulnerabilities in Crypto POS systems, highlighting how security can be easily compromised. 🛡️ Check out our Vulnerability 1 & 2 videos to see our findings! 👇
0:45

CertiK was thrilled to be part of the 2024 Qualcomm's Product Security Summit today. We demonstrated critical vulnerabilities in Crypto POS systems, highlighting how security can be easily compromised. 🛡️ Check out our Vulnerability 1 & 2 videos to see our findings! 👇

CertiK

260,055 Aufrufe • vor 2 Jahren

#Bitcoin Rollups: Whiteboard Session. There is a lot of confusion about #ZK #Rollups on Bitcoin. So I mapped out in detail how it works (afaict) under the hood. tl;dr we can use ZKP's (the scaling kind, not the privacy kind) to create an end game scaling solution for #Bitcoin. For now, BitVM enables trust minimized version of ZK Rollups (which is still really dang good). True, fully trustless roll-ups would require a soft-fork.
42:00

#Bitcoin Rollups: Whiteboard Session. There is a lot of confusion about #ZK #Rollups on Bitcoin. So I mapped out in detail how it works (afaict) under the hood. tl;dr we can use ZKP's (the scaling kind, not the privacy kind) to create an end game scaling solution for #Bitcoin. For now, BitVM enables trust minimized version of ZK Rollups (which is still really dang good). True, fully trustless roll-ups would require a soft-fork.

David Seroy 🏔️

116,230 Aufrufe • vor 2 Jahren

Ever wondered about the security of your Web3 devices? Our newest exploration reveals a significant bootloader vulnerability in the Solana Phone, a challenge not just for this device but for the entire industry. Our commitment to enhancing security standards is unwavering. 🔐 Uncover the details in our latest video – an essential watch for anyone navigating the Web3 space. 🔍
1:00

Ever wondered about the security of your Web3 devices? Our newest exploration reveals a significant bootloader vulnerability in the Solana Phone, a challenge not just for this device but for the entire industry. Our commitment to enhancing security standards is unwavering. 🔐 Uncover the details in our latest video – an essential watch for anyone navigating the Web3 space. 🔍

CertiK

172,669 Aufrufe • vor 2 Jahren