Resources and articles
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
Interested in learning the fundamental methods of blockchain auditing?
What is Program Analysis?
Isil Dillig
5 min read
How does Static Analysis Work?
Isil Dillig
4 min read
A Gentle Introduction to Program...
Isil Dillig
6 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:
What is a proof?
Alp Bassa
9 min read
Interactive Proofs
Alp Bassa
9 min read
Zero-Knowledge Proofs
Alp Bassa
9 min read
The Fiat-Shamir Transform
Alp Bassa
9 min read
Succinctness
Alp Bassa
10 min read
Intermediate Representations
Alp Bassa
13 min read
Proof systems
Alp Bassa
12 min read
Recursive SNARKs and IVC
Alp Bassa
8 min read
Halo and Accumulation
Alp Bassa
9 min read
Nova and Folding (1/2)
Alp Bassa
13 min read
Nova and Folding (2/2)
Alp Bassa
9 min read
Dissecting bug discoveries
In these blog posts, we dissect some of the critical bugs we’ve found
Circom-Pairing: A Million-Dollar ZK...
Veridise
6 min read
Breaking the Tree: Violating Invariants...
Veridise
10 min read
ZK Vulnerabilities: Sharp rocks hidden...
Veridise
6 min read
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:
Meet our team: Kostas Ferles
4 min read
Conference presentations
We’ve delivered presentations at numerous conferences over the years. Here are a few highlights:
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