Security proofs explained: What they guarantee (and what they don’t) | Alp Bassa

Blockchain Architecture Reviews & Audit Preparation | Ben Sepanski

Inside SP1 with Tamir Hemo: Succinct’s Approach to ZK-VM Performance & Security

How zero-knowledge apps can leak data (and how to detect it) | Kostas Ferles

Securing Ethereum: The ZK-EVM Formal Verification Project | Alexander Hicks from Ethereum Foundation

Zequal & Multimod: Advancing the science of zero-knowledge verification | Jon Stephens and Alp Bassa

What is OrCa? Oracle-guided fuzzing tool | Ben Mariano

What is Vanguard static analysis tool? | Kostas Ferles

What is [V] specification language? | Ben Mariano

Continuous Web3 Security with AuditHub | CEO Jon Stephens at Hack Seasons | TOKEN2049

LLZK: Intermediate representation for zero-knowledge languages

The Soroban Security Audit Bank: Building securely on Stellar | A chat with Tomer Weller

Rob Zhuang | Sprinter protocol | Experience with Veridise

Inside EthCC 2025: Veridise in Cannes

AuditHub explained: Streamlined blockchain security audits

Designing secure zkVM applications: A fireside chat with Rami Khalil (RISC Zero)

What is ZK Vanguard | Zero-knowledge proof security tool | ZK circuit security

What is Picus? | Zero-knowledge circuit security tool

Blockchain security audits for L1s and L2s: What you need to know | Timing, tools & common bugs

What sets Veridise apart in smart contract audits? Plus common bugs we spot

Inside Noir: Aztec’s ZK language, security and tools explained | Michael Klein and Jon Stephens

How did RISC Zero achieve continuous & provable ZK security? | Jacob Weightman & Shankara Pailoor

Veridise client testimonials | Linea, RISC Zero, o1Labs, Demox Labs | Veridise review

Jeremy Bruestle | RISC Zero | Experience working with Veridise | ZK-VM security

Formal Methods for Zero Knowledge Circuits | Isil Dillig | a16z crypto research talks

What are some typical zero-knowledge (ZK) vulnerabilities you find?

What are some typical DeFi and smart contract vulnerabilities you find?

Smart contract security audit: When and how to prepare? How does the security audit process work?

Veridise bug detection tools | For smart contracts and ZK | Vanguard, OrCa, Picus

Max Soul | Arcane Finance | Experience with Veridise

Barron Caster | Demox Labs | Experience with Veridise

Florian Kluge | o1Labs | Experience working with Veridise

Olivier Bégassat | Linea | Experience with Veridise

Zero-Knowledge Security Auditing | Alp Bassa

AuditHub introduction | Jon Stephens

Devcon 2024 week with Veridise in 90 seconds!

Groups for FFT-like algorithms in proof systems | Alp Bassa | ZK HUB

Key insights from 100 security audits | Jon Stephens | Hack Seasons Bangkok

LLZK — Unifying ZK: A Comprehensive DSL Framework for Tomorrow | Jon Stephens | ZK Accelerate

Tools For Security in the Zero-Knowledge Domain | Alp Bassa | Hack Seasons Brussels

ZK Circuits in dApps: Common Bugs to Avoid (Jon Stephens) | Leo, o1js, Circom, Solidity languages

Common Vulnerability Patterns in Aleo | Jon Stephens and Kostas Ferles (Veridise)

Unlocking Innovation With Client-Side Zero-Knowledge Proofs | Consensus 2024

Blockdev (Ethereum Foundation, PSE team): Tips for safe Circom circuits

Yi Sun (Axiom): Circuit Techniques for Scaling Data Access on Ethereum

Haichen Shen (Scroll): Lessons Learned from Securing Scroll zkEVM

Intro to NOVA and ZK Folding Schemes: Recursive SNARKs

Veridise Explains: What Are MetaMask Snaps

Demo: Discovering the Nomad Attack with SaaS

Demo: Automated Attack Synthesis for DeFi Apps

Demo: Real-Time Smart Contract Auditing Service