Neptune-Crypto / twenty-first
Collection of mathematics routines and cryptography for the twenty-first century
☆78Updated this week
Alternatives and similar repositories for twenty-first:
Users that are interested in twenty-first are comparing it to the libraries listed below
- A domain-specific language for writing AIR constraints for STARKs☆78Updated this week
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆53Updated 6 months ago
- Writing tasm with Rust syntax☆14Updated last week
- Rust implementation for zcash/pasta☆82Updated last year
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆56Updated last year
- Poseidon hash function☆74Updated last year
- Threshold ECDSA via Triples☆78Updated 10 months ago
- Elliptic curve group traits and utilities.☆95Updated last year
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆57Updated 3 months ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated last year
- Implementation of the Zcash Orchard Protocol☆55Updated this week
- ☆72Updated last year
- Evaluating & benchmarking ZKP compilation strategies.☆120Updated last year
- Testudo: Spartan + Groth16☆51Updated 11 months ago
- anonymous peer-to-peer cash☆37Updated this week
- ☆112Updated last year
- Aggregatable Distributed Key Generation☆46Updated 2 years ago
- Spartan on Arkworks☆40Updated 2 months ago
- ECFFT in Rust☆56Updated last year
- ☆39Updated 2 years ago
- An elastic proof system based on arkworks☆80Updated last year
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- Fiat-Shamir for the masses.☆52Updated last week
- A pure-Rust implementation of Bulletproofs using Ristretto.☆59Updated 6 months ago
- An advanced fork of Nova (contact:@huitseeker)☆80Updated this week
- ☆120Updated 3 months ago
- ☆49Updated last year
- Zero Knowledge Virtual Machine from scratch implementing Pinocchio☆38Updated last year
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆131Updated 2 months ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆80Updated this week