Neptune-Crypto / twenty-first
Collection of mathematics routines and cryptography for the twenty-first century
☆82Updated last week
Alternatives and similar repositories for twenty-first
Users that are interested in twenty-first are comparing it to the libraries listed below
Sorting:
- A domain-specific language for writing AIR constraints for STARKs☆84Updated this week
- Rust implementation for zcash/pasta☆84Updated 3 weeks ago
- An advanced fork of Nova (contact:@huitseeker)☆83Updated 2 months ago
- Aggregatable Distributed Key Generation☆46Updated 3 years ago
- Threshold ECDSA via Triples☆79Updated last year
- ☆51Updated last year
- Writing tasm with Rust syntax☆14Updated this week
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆53Updated 9 months ago
- ☆72Updated 2 years ago
- Implementation of the Zcash Orchard Protocol☆55Updated last week
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- Elliptic curve group traits and utilities.☆94Updated 3 weeks ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆56Updated last year
- Testudo: Spartan + Groth16☆52Updated last year
- ☆112Updated last year
- ECFFT in Rust☆56Updated last year
- Evaluating & benchmarking ZKP compilation strategies.☆120Updated last year
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them☆210Updated last month
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated 2 years ago
- Compiler framework for ZK VMs☆33Updated last year
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆103Updated last week
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆59Updated 6 months ago
- Poseidon hash function☆75Updated 2 years ago
- Fiat-Shamir for the masses.☆64Updated last month
- Polymath: Groth16 Is Not The Limit☆29Updated 3 months ago
- ☆40Updated 2 years ago
- ☆45Updated last week
- An elastic proof system based on arkworks☆83Updated last year
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆171Updated last month
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year