⚡️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

Bulletproofs++ implementation on Go

ZPiE: Zero-knowledge Proofs in Embedded systems

Bulletproofs++ implementation on Rust

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

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

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

Library built from scratch to implement zk-protocols

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

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

Efficient Dynamic Proof of Retrievability

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