State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
R1CS constraints for bits, fields, and elliptic curves
prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.
CS 198-077 Blockchain for Developers DeCal Spring 2020: Taught at UC Berkeley during the Spring 2020 semester by the Blockchain at Berkeley Education Department.
My personal notebook for various zk-related topics
Zinc+ is a performance-oriented SNARK framework designed to handle computations across multiple mathematical domains without the "witness inflation" overhead typical of traditional arithmetization.
Explore the world of zero-knowledge proofs from first principles.
CS 198-077 Blockchain for Developers DeCal Spring 2021: Taught at UC Berkeley during the Spring 2021 semester by the Blockchain at Berkeley Education Department.
A Noir's backend implementation using Gnark
Template for zkGraph.
Basic building blocks for ZK systems
Simulation Extractable Versions of Groth’s zk-SNARK Revisited
Tooling for writing data-oblivious programs (mpyc, pysnark, ...) using non-oblivious constructs (if/for/...)
Interactive unofficial companion for learning Proofs, Arguments, and Zero-Knowledge: chapter maps, glossary, toy labs, quizzes, and progress tracking.
notes & explorations of various zero knowledge protocols
To associate your repository with the snarks topic, visit your repo's landing page and select "manage topics."