Interactive notebooks exploring zero-knowledge proofs and cryptographic protocols for education.

Anonymous. Uncensored. Sovereign.

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

Zero-knowledge template library

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

Anybody Problem simulates the 3-body problem in two dimensions using zk proofs written in circom.

Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)

A zero-knowledge protocol for anonymous interactions.

A Privacy Protection Scheme for Selective Disclosure Based on Zero-Knowledge Proofs in Personal Data Space Scenarios

Rust crypto library for data privacy tools

Protected Instant Verified Transactions - Core wallet.

Progressive Mina Protocol Wallet

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

Secure Healthcare, smarter care

Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.

Orochi Network monorepo of its full-node client

Golang reference version of the virtual smart chain protocol

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

A Tornado Cash style zk-mixer demo on js

A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop