Research project on constant-size and stateless blockchains.
This repository is a library of cryptographic primitives for rapid prototyping of argument systems.
THIS CODE IS NOT SECURE! DO NOT USE IT IN REAL LIFE!
This project depends on the native BigInt type, which is currently available only in Chrome.
- Scalable Zero Knowledge via Cycles of Elliptic Curves
- C∅C∅: A Framework for Building Composable Zero-Knowledge Proofs
- On the Size of Pairing-based Non-interactive Arguments
- Fast and simple constant-time hashing to the BLS12-381 elliptic curve
- Starkad and Poseidon: New Hash Functions for Zero Knowledge Proof Systems
- Scalable, transparent, and post-quantum secure computational integrity
- Transparent scalable computational integrity (Talk)
- Doubly-efficient zkSNARKs without trusted setup
- Aurora: Transparent Succinct Arguments for R1CS (Paper)
- Aurora: Transparent Succinct Arguments for R1CS (Talk)
- Ligero: Lightweight Sublinear Arguments Without a Trusted Setup
- Coda: Decentralized cryptocurrency at scale
- EDRAX: A Cryptocurrency with Stateless Transaction Validation
- Compact Multi-Signatures for Smaller Blockchains
- Snarky Signatures: Minimal Signatures of Knowledge from Simulation-Extractable SNARKs
- MiMC: Efficient Encryption and Cryptographic Hashing with Minimal Multiplicative Complexity