Blockchain security resources
These informational articles and other blockchain security resources are provided as part of Veridise's effort to make the world safe for digital innovation. We’ve written about various topics:
Software analysis methods
Zero-Knowledge fundamentals
Dissecting major bug discoveries
Introducing our team members
And delivered talks in various conferences
Podcast introduction on blockchain and ZK security audits
New to blockchain and ZK auditing practices? Listen to the episode on Zero Knowledge FM podcast. Our CTO & Co-founder, Jon Stephens, joined Anna Rose to discuss various topics.
They discuss what led Jon to work on system security, the available tools for testing blockchain and ZK systems, the process of performing formal verification, and how ethical disclosures can be incentivized.
Introductory articles on auditing methods
These blockchain security resources may help you learn the fundamental methods of blockchain auditing.
5 min read
Articles on Zero Knowledge security
Veridise has developed industry-leading expertise in auditing Zero Knowledge Proof circuits, covering both the blockchain implementation level (Layers 1/2) and ZK-dapps. Learn more about all things zero-knowledge from our blog posts below:
Meet the team!
We like to ask 10 questions from our team members. Find out about their auditing insights, book recommendations and if they enjoy pineapple on pizza:
Security conference presentations
We’ve delivered presentations at numerous conferences over the years. Here are a few highlights:
Formal Methods for Zero Knowledge...
54 min | a16z Crypto Research Talks 2024
Uncovering Hidden Security Risks...
20 min | Modular & L2 Day Denver 2025
Cyclic Groups from Geometry
29 min | ZK12 Summit Lisbon 2024
Hardening Security with Formal Methods
22 min | EthCC 2022
ZK10: Automated detection of ZKP...
15 min | DevConnect Istanbul 2023
Taxonomy of ZK bugs
22 min | ETH Denver 2023
What do ZK Developers get Wrong?
29 min | L2Con at EthCC, Brussels 2024
Security in the ZK domain
19 min | ZK Accelerate (Ingonyama) 2024
Practical Security Analysis of Zero-Knowledge Proof Circuits
22 min | Carnegie Mellon, Secure Blockchain Summit 2024
Common Vulnerability Patterns in Aleo
29 min | Aleo House at ETH Denver 2024
ZK Circuits in dApps: Common Bugs to...
22 min | Aleo House at ETH Denver 2024
Client-Side ZKP innovation (panel)
29 min | Consensus 2024
