⚡️Curated list of resources for the development and applications of blockchain.

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

The proof systems used by Mina

Arithmatic circuits convertible to R1CS based on Bulletproofs

Bulletproofs and Bulletproofs+ Rust implementation for Aggregated Range Proofs over multiple elliptic curves

Zerocaf: A library built for EC operations in Zero Knowledge.

Argument systems for inner pairing products

Monero hardware wallet protocol implementation for Trezor, agent

ZPiE: Zero-knowledge Proofs in Embedded systems

A pure Java implementation of Bulletproofs using Ristretto. Bulletproofs: short non-interactive zero-knowledge proofs that require no trusted setup

Monero wallet Trezor integration documentation

Efficient zero-knowledge arguments in the discrete log setting, revisited

Verkle trees with inner product argument (IPA) based polynomial commitment [Prototype]

Bulletproofs++ implementation on Go

Bulletproofs Gadgets. Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

Cryptographic primitives created for the Dusk Network ecosystem but widely applicable everywhere else

Bulletproofs++ implementation on Rust

Efficient Dynamic Proof of Retrievability

This project includes building and testing techniques for validating NEO nodes and Smart Contracts

Zero-knowledge P&L Prover