Neptune-Crypto / twenty-firstLinks
Collection of mathematics routines and cryptography for the twenty-first century
☆84Updated 2 weeks ago
Alternatives and similar repositories for twenty-first
Users that are interested in twenty-first are comparing it to the libraries listed below
Sorting:
- Rust implementation for zcash/pasta☆83Updated 2 months ago
- A domain-specific language for writing AIR constraints for STARKs☆86Updated this week
- Implementation of the Zcash Orchard Protocol☆55Updated last month
- Poseidon hash function☆76Updated 2 years ago
- Fiat-Shamir for the masses.☆68Updated 3 weeks ago
- An advanced fork of Nova (contact:@huitseeker)☆85Updated 4 months ago
- Composable proof transcripts for public-coin arguments of knowledge☆49Updated 10 months ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆56Updated 2 years ago
- ☆42Updated 3 years ago
- ☆73Updated 2 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated last year
- Writing tasm with Rust syntax☆14Updated 2 months ago
- Elliptic curve group traits and utilities.☆96Updated 2 months ago
- Threshold ECDSA via Triples☆80Updated last year
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆93Updated 2 years ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆74Updated 5 months ago
- ☆45Updated 2 months ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆37Updated this week
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆40Updated last year
- ECFFT in Rust☆58Updated last year
- Spartan on Arkworks☆42Updated 7 months ago
- ☆30Updated 3 months ago
- An observatory fork of SP1☆71Updated 5 months ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆37Updated 2 years ago
- Spartan: High-speed zkSNARKs without trusted setup☆108Updated this week
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆56Updated 11 months ago
- Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"☆49Updated 3 years ago
- ☆61Updated 2 months ago
- ☆112Updated last year
- Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme☆77Updated 3 weeks ago