Zero Knowledge for Dummies: Introduction to ZK Proofs

Do you have zero knowledge about zero knowledge…

Recursive SNARKs and Incrementally Verifiable Computation (IVC)

PART I: Recursive SNARKs and Incrementally Verifiable Computation

Intro to Nova & ZK Folding Schemes: Folding and Nova

This is part 3 of a blog series in which we…

A Gentle Introduction to ZKPs and Circom

One of our favorite things to do at Veridise is to perform security audits of…

Intro to Nova & ZK Folding Schemes: Halo and Accumulation

This is a blog series in which we explore ZK…

ZK Fundamentals: What is a proof?

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

Zero Knowledge for Dummies: Demystifying ZK Circuits

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

Medjai: Protecting Cairo code from Bugs

In this blog post, we will take you on a tour of how we developed Medjai, a new symbolic…