Videos
We have a YouTube channel with videos about formal verification and blockchain security:
- 🎥 rocq-of-rust - Technical Dive (2/n) - Syntax Import March 9, 2026
- 🎥 rocq-of-rust - Technical Dive (1/n) - Syntax translation March 4, 2026
- 🎥 Rust translation to Rocq on the JUMPI example February 22, 2026
- 🎥 FOSDEM 2026 - Brussels - How does formal verification finally ensure your (vibe) code is secure? February 2, 2026
- 🎥 Formal Land - Revm Verification - December 2025 December 4, 2025
- 🎥 Properties to formally verify in zkVM circuits August 29, 2025. The three main properties to formally verify in zkVM circuits
- 🎥 The need of security for zkVMs August 27, 2025. The three main components which need to be formally verified in a zkVM and why