List: Zero-knowledge proof | Curated by Abhijit Roy

Mar 31, 2025
71 stories
Zero-knowledge proof
Ingonyama
ICICLE-Snark: The Fastest Groth16 Implementation in the WorldBy Emir Soytürk
Mar 18
42
Mar 18
42
Lauri Peltonen
ZK hardware architecture is weirdThe architecture under all Zero Knowledge technology is a bit odd. It doesn’t follow the rules we’re used to.
Nov 20, 2024
101
Nov 20, 2024
101
Bhaskar Krishnamachari
Understanding Zero-Knowledge Proofs: Part 6-Quadratic Arithmetic ProgramsIn the previous article (part 5) in this series on zk-SNARKs, we looked at how computations that need verification can be first encoded in…
Jul 14, 2024
10
Jul 14, 2024
10
Prof Bill Buchanan OBE FRSE
Zero Knowledge Proofs with Elliptic Curves and SchnorrWith Zero Knowledge Proofs (ZKPs), Peggy can have a signature and then use this to prove that she still knows her secret. The method we…
May 21, 2024
36
May 21, 2024
36
Yu Jiang Tham
Let’s dissect a zkSNARK! (part 2)We take a look at going from a computer program to decomposing it into the elements required for a zkSNARK proof.
Feb 15, 2023
34
1
Feb 15, 2023
34
1
Yu Jiang Tham
Building a Zero Knowledge web app with Halo 2 and Wasm (part 2)Continuing from the previous article where we built a Zero Knowledge circuit in Halo 2, we now move on to compiling it to WebAssembly and…
Apr 28, 2023
19
2
Apr 28, 2023
19
2
In
Veridise
by
Veridise
ZK Fundamentals: What is a proof?This is the first article from our series exploring ZK fundamentals, zero knowledge proofs and related notions.
Oct 27, 2023
55
1
Oct 27, 2023
55
1
In
ASecuritySite: When Bob Met Alice
by
Prof Bill Buchanan OBE FRSE
Proving Your Age, Without Giving Away Your AgeIf we were to start our computing and data architectures again, we certainly wouldn’t build them as we have. Overall, we have a legacy data…
Dec 29, 2023
114
Dec 29, 2023
114
Crypto Fairy
Under the hood of zkSNARKs — PLONK protocol: part 5Previous articles in the PLONK series served as preparations before we got our hands dirty and started implementing the protocol. Diving…
Nov 19, 2023
18
Nov 19, 2023
18
Vic Genin
Enhancing User Interaction in Zero-Knowledge Proofs with Rust and BellmanWelcome back to our ongoing exploration of zero-knowledge proofs using the Rust programming language and the Bellman library. In our…
Dec 27, 2023
6
Dec 27, 2023
6
Vic Genin
Zero-Knowledge Proofs in Rust and BellmanIn an era where data privacy is paramount, Zero-Knowledge Proofs (ZKPs) stand out as a beacon of hope. They are cryptographic protocols…
Nov 9, 2023
1
Nov 9, 2023
1
Crypto Fairy
Exploring Vulnerabilities: The zkSNARK Malleability Attack on the Groth16 ProtocolThe recent recognition of zero-knowledge proofs (ZKPs) has garnered attention from a broader audience, including many non-technical…
Dec 5, 2023
30
Dec 5, 2023
30
Yu Jiang Tham
Building a Zero Knowledge web app with Halo 2 and Wasm (part 1)In this two-part series, we’ll explore building a Zero Knowledge circuit using the Halo 2 zkSNARK proving system and subsequently how we…
Apr 26, 2023
87
Apr 26, 2023
87
Crypto Fairy
Under the hood of zkSNARKs — PLONK protocol: part 6Final article in PLONK series. Here we will implement Prover and the Verifier. In the previous article we coded trusted setup, gate and…
Nov 22, 2023
42
1
Nov 22, 2023
42
1
Crypto Fairy
Under the hood of zkSNARKs — PLONK protocol: part4This article will discuss the permutation check in PLONK, which I believe is the second most challenging aspect of the protocol. The most…
Nov 14, 2023
28
2
Nov 14, 2023
28
2
In
Coinmonks
by
Hira Siddiqui
From Zero to Hero in Zero Knowledge Proofs [Part 1]This is the first part of the series that takes you from absolute ground zero in ZKPs to a fairly advanced level. We will start from the…
Nov 13, 2023
68
Nov 13, 2023
68
Crypto Fairy
Under the hood of zkSNARKs — PLONK protocol: part3Many materials available online explain the basics of the PLONK protocol, often referencing Vitalik’s example P(x)=x3+x+5=35 from his…
Nov 11, 2023
23
2
Nov 11, 2023
23
2
In
Coinmonks
by
Crypto Fairy
Under the hood of zkSNARKs — PLONK protocol: Part 2In the previous article of the PLONK series, we covered the core of the protocol, the KZG commitment scheme, and how polynomial linear…
Nov 7, 2023
64
Nov 7, 2023
64
In
Veridise
by
Veridise
Recursive SNARKs and Incrementally Verifiable Computation (IVC)PART I: Recursive SNARKs and Incrementally Verifiable Computation
Jul 27, 2023
70
Jul 27, 2023
70
In
Veridise
by
Veridise
Intro to Nova & ZK Folding Schemes: Halo and AccumulationThis is a blog series in which we explore ZK folding schemes and NOVA. Part II: Halo and accumulation.
Aug 10, 2023
12
1
Aug 10, 2023
12
1