State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

R1CS constraints for bits, fields, and elliptic curves

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

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.

Explore the world of zero-knowledge proofs from first principles.

A Noir's backend implementation using Gnark

Smart contracts, Cryptography and Relayer that are used at zeropool.network

Template for zkGraph.

Simulation Extractable Versions of Groth’s zk-SNARK Revisited

Tooling for writing data-oblivious programs (mpyc, pysnark, ...) using non-oblivious constructs (if/for/...)

Experiment in gassless voting using snarks

Self sovereign identity infrastructure build on zero knowledge verified contribution for github

An implementation of ZCash, private (ie shieldable) utxo-based cryptocurrency including the ability to 'colour' coins while transactions remain private

The implementation of the CsGo transpiler

Coda Protocol community chainwiki in WikiJS

Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.