Video yükleniyor...

Video Yüklenemedi

Ana Sayfaya Dön

🚨 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 görüntüleme • 2 yıl önce •via X (Twitter)

Bilim & Teknoloji
LIVE

Anya Rossi• Live Now

Private livecam show

10 Yorum

Kiiroi Hige (💙,🧡) profil fotoğrafı
Kiiroi Hige (💙,🧡)2 yıl önce

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

CertiK Skynet Rating profil fotoğrafı
CertiK Skynet Rating2 yıl önce

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

Bernardo profil fotoğrafı
Bernardo2 yıl önce

Bullish on ZK, it is important to be safe!

CertiK profil fotoğrafı
CertiK2 yıl önce

Indeed! What's your favorite aspect of ZKs?

Cryptoxxx profil fotoğrafı
Cryptoxxx2 yıl önce

Can't wait for part 2 !!

Jonathan Smith profil fotoğrafı
Jonathan Smith2 yıl önce

Is there a part 2??

CertiK profil fotoğrafı
CertiK2 yıl önce

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

Ken 𓊈𒆜🐙𒆜𓊉 & (Ø,G) ! profil fotoğrafı
Ken 𓊈𒆜🐙𒆜𓊉 & (Ø,G) !2 yıl önce

Wow

HungPham Anomage Reddio 🦙🔥 profil fotoğrafı
HungPham Anomage Reddio 🦙🔥2 yıl önce

Nice information @CertiK

Shanghai Park.(✸,✸) profil fotoğrafı
Shanghai Park.(✸,✸)2 yıl önce

Lfg

Benzer Videolar

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,031 görüntüleme • 2 yıl önce

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 görüntüleme • 1 yıl önce

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 görüntüleme • 11 ay önce

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,930 görüntüleme • 1 yıl önce

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 görüntüleme • 1 yıl önce

🚨 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 görüntüleme • 1 ay önce

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,255 görüntüleme • 2 yıl önce

🚨 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 görüntüleme • 11 ay önce

🔐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 görüntüleme • 2 yıl önce

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,306 görüntüleme • 10 ay önce

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 görüntüleme • 1 yıl önce

🔐 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 görüntüleme • 1 yıl önce

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,582 görüntüleme • 2 yıl önce

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 görüntüleme • 3 yıl önce

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 görüntüleme • 2 yıl önce

#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 🏔️

117,685 görüntüleme • 2 yıl önce

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 görüntüleme • 2 yıl önce