正在加载视频...

视频加载失败

加载此视频时出现问题。这可能是由于临时网络问题，或视频可能不可用。

What is Formal Verification and how can it be used for auditing? Let's learn in under a minute in our new Byte Sized Blockchain episode 👇

CertiK

558,054 subscribers

11,713 次观看 • 3 年前 •via X (Twitter)

Anya Rossi• Live Now

Private livecam show

2 条评论

CertiK 的头像

CertiK3 年前

For a longer discussion on the topic, check out our Ask the Expert 👇

John Russo 的头像

John Russo3 年前

Amazing episode!

相关视频

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.

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,376 次观看 • 2 年前

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 👇

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 次观看 • 2 年前

🚨 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! 🔐

🚨 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

647,778 次观看 • 2 年前

You can now learn: - Assembly - Huff - Formal Verification - High-Level Wallet/Web3 DevOps On Cyfrin Updraft, in an outstanding new 13 hours of content. 🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉 Let's give you a taste of what you'll learn in these two new courses:

You can now learn: - Assembly - Huff - Formal Verification - High-Level Wallet/Web3 DevOps On Cyfrin Updraft, in an outstanding new 13 hours of content. 🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉 Let's give you a taste of what you'll learn in these two new courses:

Patrick Collins

63,328 次观看 • 2 年前

The Hedera network is powered by the hashgraph consensus algorithm. But what is it, and why does it matter? 🔎 ⏱️ Learn how hashgraph is different from blockchain and built for trust at scale in 60 seconds. 👇

The Hedera network is powered by the hashgraph consensus algorithm. But what is it, and why does it matter? 🔎 ⏱️ Learn how hashgraph is different from blockchain and built for trust at scale in 60 seconds. 👇

Hedera

44,384 次观看 • 1 年前

NEW: Auto-submit to IndexNow in Site Audit 🔥 Learn about what IndexNow is, and how it works 👇

NEW: Auto-submit to IndexNow in Site Audit 🔥 Learn about what IndexNow is, and how it works 👇

Ahrefs

382,904 次观看 • 1 年前

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.

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,932 次观看 • 2 年前

🔐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👇

🔐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 次观看 • 2 年前

🎙️ #0GLabs Podcast: Episode 11 Join us for an in-depth conversation with Yi, CEO and co-founder of Codatta, to learn how Codatta is transforming the intersection of AI, data sourcing, blockchain, and Web3. Full episode 👇

🎙️ #0GLabs Podcast: Episode 11 Join us for an in-depth conversation with Yi, CEO and co-founder of Codatta, to learn how Codatta is transforming the intersection of AI, data sourcing, blockchain, and Web3. Full episode 👇

0G Labs

52,638 次观看 • 1 年前

What is a "Pig Butchering" scam, and how can you avoid it? Learn all about it here 👇

What is a "Pig Butchering" scam, and how can you avoid it? Learn all about it here 👇

OKX

76,590 次观看 • 2 年前

A new chapter, unveiled at TOKEN2049. Here’s a look back at the moment we introduced our new brand and what it represents. The Trust Layer for Digital Value.

CertiK

10,509 次观看 • 6 天前

A new chapter for CertiK. Our new identity reflects an evolution years in the making, and a broader mission for the future of digital value. The Trust Layer for Digital Value. Visit our website to discover our new identity.

A new chapter for CertiK. Our new identity reflects an evolution years in the making, and a broader mission for the future of digital value. The Trust Layer for Digital Value. Visit our website to discover our new identity.

CertiK

116,299 次观看 • 6 天前

For the first time, parallelization and formal verification will be brought to Ethereum. Introducing: ⚡️M2, the first ZK Move-EVM L2 on Ethereum⚡️ Let's get into what this means🧵👇

For the first time, parallelization and formal verification will be brought to Ethereum. Introducing: ⚡️M2, the first ZK Move-EVM L2 on Ethereum⚡️ Let's get into what this means🧵👇

Movement

175,511 次观看 • 2 年前

🔐 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:

🔐 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,971 次观看 • 2 年前

5 ways our Budget delivers for you, explained in under a minute. 👇

5 ways our Budget delivers for you, explained in under a minute. 👇

John Swinney

17,271 次观看 • 9 个月前

is your player object the same as your character object? learn why you should be separating them, and how to implement it in your #gamemaker projects. in fact, this technique can be used for any #gamedev project

is your player object the same as your character object? learn why you should be separating them, and how to implement it in your #gamemaker projects. in fact, this technique can be used for any #gamedev project

~gentoo~

24,152 次观看 • 2 年前

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 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 次观看 • 2 年前