Collection of mathematics routines and cryptography for the twenty-first century
☆96Feb 23, 2026Updated 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 collection of functions written in Triton VM assembly (tasm)☆12Jan 22, 2026Updated last month
- Writing tasm with Rust syntax☆16May 12, 2025Updated 9 months ago
- Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in…☆272Updated this week
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆58Aug 1, 2024Updated last year
- Compiler framework for ZK VMs☆35Aug 2, 2023Updated 2 years ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- anonymous peer-to-peer cash☆89Updated this week
- Share private EVM state attestations using STARK proofs☆73Aug 4, 2022Updated 3 years ago
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- ring-vrf ring proof v2.5☆20Feb 19, 2026Updated last week
- ☆19May 11, 2022Updated 3 years ago
- The instance generator of the Vision and Rescue block ciphers.☆17Mar 4, 2022Updated 3 years ago
- Cryptographic primitives used in Polygon Miden rollup☆132Updated this week
- Experimental folding schemes library☆261Feb 23, 2026Updated last week
- ☆221Jul 29, 2025Updated 7 months ago
- ☆11Jan 17, 2024Updated 2 years ago
- A Rust Implementation of the PLONK ZKP System and Extensions☆511Updated this week
- ☆45May 7, 2025Updated 9 months ago
- Reference implementation for the Poseidon Snark-friendly Hash algorithm.☆218Feb 2, 2026Updated last month
- A STARK-based VM focused on code reuse, performance, and modularity☆342Jul 31, 2025Updated 7 months ago
- A domain-specific language for writing AIR constraints for STARKs☆94Updated this week
- Tutorial for STARKs with supporting code in python☆235Jun 24, 2025Updated 8 months ago
- 🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs☆377Nov 19, 2024Updated last year
- Initial Rust implementation of FAEST☆14Jul 6, 2023Updated 2 years ago
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated 6 months ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- A comparison supported features and respective gas overhead for NFT marketplaces☆14Aug 30, 2022Updated 3 years ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆78Jan 27, 2025Updated last year
- ☆30Feb 1, 2023Updated 3 years ago
- Testudo: Spartan + Groth16☆53Feb 21, 2024Updated 2 years ago
- Early prototype.☆23Mar 30, 2023Updated 2 years ago
- A rust implementation of the Falcon post-quantum signature scheme☆25Feb 24, 2026Updated last week
- ☆36Aug 22, 2021Updated 4 years ago
- An active, public list of project ideas related to NFCxZK☆11Dec 6, 2023Updated 2 years ago
- compiler tooling for Stark-based zkVMs☆16Feb 6, 2023Updated 3 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Oct 29, 2024Updated last year
- ☆42Oct 19, 2021Updated 4 years ago
- Implementations of proof-carrying data☆37Jun 5, 2022Updated 3 years ago