Zero Knowledge Study

Studying zero-knowledge proofs and related fields

Outils pour utilisateurs

Outils du site


600._zk-starks_and_similar_things

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.

Zexe: Enabling Decentralized Private Computation Read it.

Academic production

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

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

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

https://docs.ethhub.io/ethereum-roadmap/layer-2-scaling/zk-starks/

Main wiki page

600._zk-starks_and_similar_things.txt · Dernière modification: 2019/07/18 05:22 par gcsfred