Jon Stephens

Jon Stephens co-founded Veridise, which audits smart contracts and zero-knowledge systems. Stephens has developed formal verification tools for smart contract security.

8 talks by Jon Stephens

• Live State Fuzzing: Testing Live Deployments Proactively
• ZK10: Pushing the limits in the automated detection of vulnerabilities in ZKP circuits
• DeFi Security Summit 2023: Day 2, 16 July
• Formal Verification Panel
• Episode 284 - Using Formal Verification on ZK Systems with Jon Stephens
• Ensuring Security : Formal Verification in Account abstraction
• Taxonomy of ZK bugs in Blockchain by Jon Stephens
• Are Your Zero-Knowledge Proofs Correct? by Jon Stephens | Devcon Bogotá