Zero Knowledge for Dummies: Demystifying ZK Circuits

ZK circuits are the “magic tools” that enable ZK…

ZK Fundamentals: Proof Systems

We cover Interactive Proofs (IP), Probabilistically Checkable Proofs…

ZK Fundamentals: Succinctness

This is the fifth article from our series exploring ZK fundamentals, zero knowledge proofs and related…

ZK Fundamentals: Intermediate Representations

We cover e.g. NP characterization, Boolean Satisfiability, R1CS, Plonkish arithmatization, and Customizable Constraint System (CCS)

How to develop securely on Soroban? Storage types with unbounded data

Introducing Soroban

ZK Security Workshop recap: Winners and presentations

Meet Our Team: 10 questions for Ben Sepanski

“Meet Our Team” is a blog series where we introduce you to the people behind…

Elevating Veridise: A Fresh Look and Feel for Blockchain Security

Announcing: the Veridise visual…

Prep guide: 7 essential tips to prepare for a blockchain audit

Meet Our Team: 10 questions for Jon Stephens

“Meet Our Team” is a blog series where we introduce you to the people behind…