Zero Knowledge Study

Studying zero-knowledge proofs and related fields

Outils pour utilisateurs

Outils du site


600. zk-STARKs and Similar Things

Understanding it

STARKs, Part I: Proofs with Polynomials (by Vitalik Buterin) Read it.

STARKs, Part II: Thank Goodness It's FRI-day (by Vitalik Buterin) Read it.

A Deep Dive into the FRI Protocol Read it.

Pinocchio: Nearly Practical Verifiable Computation Read it.

A (somewhat) easy pen and paper example of the Pinocchio protocol (Part 1) Read it.

Halo: Recursive Proof Composition without a Trusted Setup Read it.

Halo - PDF paper Read it.

Zexe: Enabling Decentralized Private Computation Read it.

Academic production

Fractal: Post-Quantum and Transparent Recursive Proofs from Holography - Chiesa et alii Read it.

Fast Reed-Solomon Interactive Oracle Proofs of Proximity (FRI) Read it.

DEEP-FRI: Sampling Outside the Box Improves Soundness Read it.

Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS

Libraries and software

genSTARK: a JavaScript zk-STARK generation framework Installed it. Tried it.

scipr-lab/zexe GitHub source Installed it. Tried it.

TO-DO - classify

Main wiki page

600._zk-starks_and_similar_things.txt · Dernière modification: 2019/09/24 15:06 par gcsfred