☆33Mar 27, 2024Updated last year
Alternatives and similar repositories for reckle-trees
Users that are interested in reckle-trees are comparing it to the libraries listed below
Sorting:
- ☆41Jan 7, 2024Updated 2 years ago
- Prover Manager☆25Updated this week
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 6 months ago
- Based on https://eprint.iacr.org/2022/1510☆26Oct 20, 2024Updated last year
- ☆20May 31, 2024Updated last year
- ☆11Sep 10, 2024Updated last year
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- Polymath: Groth16 Is Not The Limit☆31Feb 6, 2025Updated last year
- ☆23Jun 12, 2025Updated 8 months ago
- polynomial commitments from linear codes☆50Dec 13, 2024Updated last year
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆14Aug 13, 2025Updated 6 months ago
- ☆11Feb 6, 2024Updated 2 years ago
- ☆12Sep 11, 2024Updated last year
- ☆12Oct 4, 2023Updated 2 years ago
- building blocks for accelerating ZK proofs over binary fields☆48Jun 19, 2025Updated 8 months ago
- A proof-of-concept implementation of KiloNova☆12Oct 15, 2024Updated last year
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆40Oct 28, 2025Updated 4 months ago
- plonky2 recursion framework handling different circuits in unified way.☆16Mar 22, 2024Updated last year
- Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.☆18Oct 28, 2024Updated last year
- Verifiable FHE prototype☆27Aug 12, 2024Updated last year
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- Combined solution from Matter Labs and Yrrid based on their respective submissions for the Z-Prize category Accelerating MSM Operations o…☆16Oct 30, 2023Updated 2 years ago
- Examples of Mastermind implemented in different ZK languages and frameworks.☆16Mar 26, 2025Updated 11 months ago
- JWT verification with zero knowledge proofs☆49Dec 2, 2023Updated 2 years ago
- A curated list of awesome things related to learning Binius☆17Jan 9, 2025Updated last year
- Implementation of the ZKB++ proof system☆20May 28, 2019Updated 6 years ago
- snarkpack for arkwork☆22Jun 11, 2023Updated 2 years ago
- ☆51Mar 7, 2024Updated last year
- Extractable Witness Encryption for KZG Commitments☆32Nov 29, 2024Updated last year
- Witness encryption for KZG openings☆33Nov 6, 2024Updated last year
- ☆37Oct 14, 2024Updated last year
- A curated list of awesome things related to learning Circle STARK.☆33Aug 26, 2025Updated 6 months ago
- Vectorized AVX-512 256-bit arithmetic library☆34Sep 28, 2024Updated last year
- Rust crypto library for zero-knowledge proofs☆20Jan 14, 2026Updated last month
- Learn how to develop bitvm apps by building tic tac toe☆16Jan 25, 2025Updated last year
- Circuits for Pluto's `web-prover`☆25Apr 25, 2025Updated 10 months ago
- Reef: A zkSNARK system for proving that a committed document matches a regex☆77Nov 21, 2025Updated 3 months ago
- ☆27Sep 25, 2023Updated 2 years ago
- Implementation of incrementally verifiable ledger system☆18Mar 24, 2021Updated 4 years ago