Neptune-Crypto / twenty-firstLinks
Collection of mathematics routines and cryptography for the twenty-first century
☆84Updated this 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☆83Updated 2 months ago
- Elliptic curve group traits and utilities.☆96Updated 2 months ago
- Threshold ECDSA via Triples☆80Updated last year
- An advanced fork of Nova (contact:@huitseeker)☆84Updated 3 months ago
- Fiat-Shamir for the masses.☆66Updated last week
- ECFFT in Rust☆58Updated last year
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆55Updated 10 months ago
- Testudo: Spartan + Groth16☆52Updated last year
- Writing tasm with Rust syntax☆14Updated last month
- Poseidon hash function☆76Updated 2 years ago
- ☆51Updated last year
- Implementation of the Zcash Orchard Protocol☆55Updated 2 weeks ago
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆59Updated 7 months ago
- ☆112Updated last year
- An elastic proof system based on arkworks☆84Updated last year
- ☆73Updated 2 years ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆116Updated this week
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated last year
- ☆45Updated last month
- A SNARK using towers of binary fields, implemented in Rust☆116Updated this week
- Spartan on Arkworks☆42Updated 6 months ago
- Compiler framework for ZK VMs☆33Updated last year
- A Rust library for building R1CS gadgets☆91Updated 3 years ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated 2 years ago
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them☆214Updated 3 months ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆40Updated last year
- A pure-Rust implementation of Bulletproofs using Ristretto.☆61Updated 11 months ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆37Updated last week
- An observatory fork of SP1☆69Updated 4 months ago