Loading video...

Video Failed to Load

Go Home

Why did Royco get multiple audits and formal verification? We sat down with Armen from Certora to break it down. Certora completed a comprehensive audit and formal verification engagement on Royco Dawn, further fortifying its security stack. Watch it now.

roycoprotocol's profile picture

Royco

13,459 subscribers

10,756 views • 1 month ago •via X (Twitter)

LIVE

Anya Rossi• Live Now

Private livecam show

0 Comments

No comments available

Comments from the original post will appear here

Related Videos

How do you actually formally verify the code underpinning Ethereum's future? In this episode (the finale of the lean Ethereum miniseries), Nico sits down with Alex Hicks (Alexander Hicks), lead of Protocol Snarkification at the Ethereum Foundation, to break down formal verification from first principles. They cover: – What formal verification actually is and the trust boundaries between proof assistants, SMT solvers, and kernels – The full verification stack for RISC-V ZKVMs: from SAIL specs to constraint extraction to soundness proofs – Why writing constraints directly in Lean makes proofs 10–100x more ergonomic – How AI is now proving hard theorems in hours for $200 — and what that unlocks for the whole pipeline They also explore the boundaries problem, why specs can have bugs too, and the end goal of a full Lean stack that bypasses Rust and LLVM entirely. Listen to the full episode ------------------------------------------------------------ TIMECODES: 09:16 – What is formal verification? Proof assistants vs SMT solvers 18:33 – Formal verification of code: specs, semantics, and trust boundaries 29:30 – Formally verifying the Lean Ethereum stack: RISC-V ZKVMs in focus 33:02 – Extracting ZKVM constraints into Lean and proving soundness 36:35 – Writing constraints directly in Lean: 10–100x better proof ergonomics 44:02 – Proving Polishchuk–Spielman in 8 hours for $200 with AI 51:01 – The end goal: a full Lean stack bypassing Rust and LLVM
56:07

How do you actually formally verify the code underpinning Ethereum's future? In this episode (the finale of the lean Ethereum miniseries), Nico sits down with Alex Hicks (Alexander Hicks), lead of Protocol Snarkification at the Ethereum Foundation, to break down formal verification from first principles. They cover: – What formal verification actually is and the trust boundaries between proof assistants, SMT solvers, and kernels – The full verification stack for RISC-V ZKVMs: from SAIL specs to constraint extraction to soundness proofs – Why writing constraints directly in Lean makes proofs 10–100x more ergonomic – How AI is now proving hard theorems in hours for $200 — and what that unlocks for the whole pipeline They also explore the boundaries problem, why specs can have bugs too, and the end goal of a full Lean stack that bypasses Rust and LLVM entirely. Listen to the full episode ------------------------------------------------------------ TIMECODES: 09:16 – What is formal verification? Proof assistants vs SMT solvers 18:33 – Formal verification of code: specs, semantics, and trust boundaries 29:30 – Formally verifying the Lean Ethereum stack: RISC-V ZKVMs in focus 33:02 – Extracting ZKVM constraints into Lean and proving soundness 36:35 – Writing constraints directly in Lean: 10–100x better proof ergonomics 44:02 – Proving Polishchuk–Spielman in 8 hours for $200 with AI 51:01 – The end goal: a full Lean stack bypassing Rust and LLVM

Zero Knowledge Podcast

15,143 views • 3 months ago

“There’s a lot of fraud happening — and we have to audit it... We normalized mail-in ballots, count votes days later, and block audits. We’re finding illegal aliens on voter rolls and ballots without basic verification.” — Alex Marlow
1:10

“There’s a lot of fraud happening — and we have to audit it... We normalized mail-in ballots, count votes days later, and block audits. We’re finding illegal aliens on voter rolls and ballots without basic verification.” — Alex Marlow

Laura Ingraham

64,331 views • 6 months ago

An AI model just found a soundness bug in Zcash's Orchard pool that sat hidden since 2022, meaning anyone could have minted unlimited counterfeit Zcash out of thin air. Worse, because it's a shielded pool, nobody can prove it didn't happen. While #Zcash holders were sweating, Pirate Chain users didn't lose a second of sleep. Zero panic. Pirate runs on Sapling, not Orchard, so it was never affected. Zero percent chance. This is why private by default wins. Zcash plays testnet, takes the risks, and finds the holes the hard way. Pirate watches, waits, audits the tech itself, and only ships it once it's proven safe. We sat down with a #PirateChain dev to break down what happened, why formal verification matters, and why optional privacy is no privacy at all.
46:55

An AI model just found a soundness bug in Zcash's Orchard pool that sat hidden since 2022, meaning anyone could have minted unlimited counterfeit Zcash out of thin air. Worse, because it's a shielded pool, nobody can prove it didn't happen. While #Zcash holders were sweating, Pirate Chain users didn't lose a second of sleep. Zero panic. Pirate runs on Sapling, not Orchard, so it was never affected. Zero percent chance. This is why private by default wins. Zcash plays testnet, takes the risks, and finds the holes the hard way. Pirate watches, waits, audits the tech itself, and only ships it once it's proven safe. We sat down with a #PirateChain dev to break down what happened, why formal verification matters, and why optional privacy is no privacy at all.

The Crypto Vigilante

31,909 views • 1 month ago

Build tamper-proof oracles on Sui. Nautilus, now live on Mainnet. A new way to run offchain logic inside secure enclaves — with onchain verification. If it needs real-world input + trust? Use Nautilus. Let’s break it down 🧵
1:09

Build tamper-proof oracles on Sui. Nautilus, now live on Mainnet. A new way to run offchain logic inside secure enclaves — with onchain verification. If it needs real-world input + trust? Use Nautilus. Let’s break it down 🧵

Sui

135,173 views • 1 year ago

Why did Emad step down as CEO of Stability AI? What's next for him in his mission to decentralize AI? Emad and I sat down yesterday and laid it all out. Watch now:
0:28

Why did Emad step down as CEO of Stability AI? What's next for him in his mission to decentralize AI? Emad and I sat down yesterday and laid it all out. Watch now:

Peter H. Diamandis, MD

57,172 views • 2 years ago

The rapid influx of undocumented immigrants in SA is often linked to urban decay. The informal economy and conflict with formal traders and authorities further contribute to the problem. And when we tell people this, we are called xenophobic! Zimasa Zimasa “Gcaga” Vabaza breaks it down!
3:14

The rapid influx of undocumented immigrants in SA is often linked to urban decay. The informal economy and conflict with formal traders and authorities further contribute to the problem. And when we tell people this, we are called xenophobic! Zimasa Zimasa “Gcaga” Vabaza breaks it down!

Umnikazi Wenkani

16,469 views • 5 months ago

Sonic is an EVM Layer 1 that focuses on speed, onchain incentives, and infrastructure. In today’s video, we break down Sonic’ latest developments — from its tech stack and ecosystem growth to its upcoming airdrop. Watch the full video 👉
1:00

Sonic is an EVM Layer 1 that focuses on speed, onchain incentives, and infrastructure. In today’s video, we break down Sonic’ latest developments — from its tech stack and ecosystem growth to its upcoming airdrop. Watch the full video 👉

CoinGecko

89,372 views • 10 months ago

gpt-oss-120b is one of the most-used models on Cerebras Inference. We sat down with Anastasios Nikolas Angelopoulos from Arena.ai and @SarahChieng to break down its strengths, weaknesses, and where it's outperforming. Here's what he's seeing.
2:46

gpt-oss-120b is one of the most-used models on Cerebras Inference. We sat down with Anastasios Nikolas Angelopoulos from Arena.ai and @SarahChieng to break down its strengths, weaknesses, and where it's outperforming. Here's what he's seeing.

Cerebras

13,076 views • 4 months ago

🔥 WATCH: Tim Draper says Bitcoin hitting $120K is just a warm up and the dollar is going extinct. Gareth Jenkinson and Robert Baggs sat down with Tim Draper to break it all down.
1:21

🔥 WATCH: Tim Draper says Bitcoin hitting $120K is just a warm up and the dollar is going extinct. Gareth Jenkinson and Robert Baggs sat down with Tim Draper to break it all down.

Cointelegraph

28,587 views • 1 year ago

My people, how did we get here? Kids barely 11 years old are battling diabetes and heart failure? AprokoNation, go to YouTube now to watch Dr Renner break it all down [Aproko Doctor]
1:44

My people, how did we get here? Kids barely 11 years old are battling diabetes and heart failure? AprokoNation, go to YouTube now to watch Dr Renner break it all down [Aproko Doctor]

Dr. Chinonso Egemba

144,663 views • 1 year ago

Drones are a growing threat to our national security and law enforcement. Right now, the federal government is not prepared to keep us safe. We break it down on Verdict:
0:21

Drones are a growing threat to our national security and law enforcement. Right now, the federal government is not prepared to keep us safe. We break it down on Verdict:

Ted Cruz

33,150 views • 11 months ago

An anonymous image model appeared on Arena on Aug 12, 2025 and quickly became the most-voted model in Arena's history. The codename: Nano Banana. It was later revealed to be built on Google Gemini and publicly released on Aug 26, 2025. We sat down with Lead Engineer Yue to break down why it stood out. Watch the full video on YouTube, link in thread 👇
0:59

An anonymous image model appeared on Arena on Aug 12, 2025 and quickly became the most-voted model in Arena's history. The codename: Nano Banana. It was later revealed to be built on Google Gemini and publicly released on Aug 26, 2025. We sat down with Lead Engineer Yue to break down why it stood out. Watch the full video on YouTube, link in thread 👇

Arena.ai

44,172 views • 4 months ago

Harrison Jones sat down with Posh+ after completing his move from Sunderland to discuss his new challenge, why it is an exciting challenge and what he hopes to bring to the squad. 📺Watch on Posh+ now #pufc
0:27

Harrison Jones sat down with Posh+ after completing his move from Sunderland to discuss his new challenge, why it is an exciting challenge and what he hopes to bring to the squad. 📺Watch on Posh+ now #pufc

Peterborough United

10,461 views • 28 days ago

Ever wondered why food prices keep rising? On this page, we break down food security, sustainability, affordability, and quality, from farm to table. It’s time to understand what’s happening to our food and how we can fix it. #FoodSecurity #SustainableFood #FixFoodCrisis
0:43

Ever wondered why food prices keep rising? On this page, we break down food security, sustainability, affordability, and quality, from farm to table. It’s time to understand what’s happening to our food and how we can fix it. #FoodSecurity #SustainableFood #FixFoodCrisis

Adebayo T Adeleke

184,216 views • 1 year ago

The boda boda sector needs a new dispensation. Ban all bodas for 6 months as a new strategy is designed on training, insurance & verification. If we don’t do something now, we will pay dearly. The destruction they unleash is too much & action is needed now. I break it down on why
4:22

The boda boda sector needs a new dispensation. Ban all bodas for 6 months as a new strategy is designed on training, insurance & verification. If we don’t do something now, we will pay dearly. The destruction they unleash is too much & action is needed now. I break it down on why

SokoAnalyst

32,706 views • 6 months ago

We separated money from the state. Now we need to separate thought from it too. I sat down with Erik Voorhees to explore AI privacy, self-sovereignty, and why the principles behind Bitcoin matter more now than ever. As ever, please enjoy!
1:05:20

We separated money from the state. Now we need to separate thought from it too. I sat down with Erik Voorhees to explore AI privacy, self-sovereignty, and why the principles behind Bitcoin matter more now than ever. As ever, please enjoy!

Raoul Pal

64,760 views • 28 days ago

Next time some Trump cultist-zombie tries to tell you he had nothing to do with shutting down the country, hit them with this and watch them scramble: “The president calls the shots.” “We did the right thing. We closed it down.” “I closed it down.” “Everything we did was right.” Now sit back and enjoy the comments.
1:29

Next time some Trump cultist-zombie tries to tell you he had nothing to do with shutting down the country, hit them with this and watch them scramble: “The president calls the shots.” “We did the right thing. We closed it down.” “I closed it down.” “Everything we did was right.” Now sit back and enjoy the comments.

Sir Escanor (𝘏𝘰𝘱𝘪𝘶𝘮 𝘚𝘭𝘢𝘺𝘦𝘳)

42,321 views • 1 year ago

Why bring stocks on-chain? Ashley Ebersole tx CLO and Mike McCluskey tx CEO, sat down with Wendy O to break it down: access, transparency, and 24/7 markets for assets that have stayed locked behind legacy rails for decades.
1:46

Why bring stocks on-chain? Ashley Ebersole tx CLO and Mike McCluskey tx CEO, sat down with Wendy O to break it down: access, transparency, and 24/7 markets for assets that have stayed locked behind legacy rails for decades.

tx

13,400 views • 16 days ago