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.
Self sovereign identity infrastructure build on zero knowledge verified contribution for github
To associate your repository with the snarks topic, visit your repo's landing page and select "manage topics."