Sign up or Log in
Are.na
Owen Trueblood
SNARKy
Info

Succinct non-interactive argument of knowledge.

This channel appears in
Verifiable Computation
View
Grid
Table
Kimchi: The latest update to Mina’s proof system
Kimchi: The latest update to Mina’s pro…
An approximate introduction to how zk-SNARKs are possible
An approximate introduction to how zk-S…
Understanding Zero-knowledge proofs through simple examples
Understanding Zero-knowledge proofs thr…
Quantum Garbled Circuits
Quantum Garbled Circuits
The missing explanation of ZK-SNARKs: Part 1
The missing explanation of ZK-SNARKs: P…
1906.07221.pdf
1906.07221.pdf
pdf
229.pdf
229.pdf
pdf
o1-labs/snarky
o1-labs/snarky
Quadratic Arithmetic Programs: from Zero to Hero
Quadratic Arithmetic Programs: from Zer…
879.pdf
879.pdf
pdf
Join Are.na to follow SNARKy
Sign upExplore