Homepage
Open in app
Sign in
Get started
Tagged in
Zksnark
Veridise
Our mission in to harden blockchain security with formal methods. We write about blockchain security, zero-knowledge proofs, and our bug discoveries.
More information
Followers
42
Elsewhere
More, on Medium
Zksnark
Veridise
in
Veridise
Aug 10, 2023
Intro to Nova & ZK Folding Schemes: Halo and Accumulation
This is a blog series in which we explore ZK…
Read more…
12
1 response
Veridise
in
Veridise
Jul 27, 2023
Recursive SNARKs and Incrementally Verifiable Computation (IVC)
PART I: Recursive SNARKs and Incrementally Verifiable Computation
Read more…
69