client side proving

An implementation of the 'DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More' protocol.

Circuits for parsing, locking, and extracting from various widely-used formats including JSON and HTTP.

Noir is a domain specific language for zero knowledge proofs

RLN circuits in Noir

A curated list of awesome things related to learning and programming in Noir.

Zuzalu Passport

Noir implementation of RSA-verify

A repo of example Noir projects.

barretenburg in rust (here we go)