☆40Apr 9, 2024Updated last year
Alternatives and similar repositories for fde
Users that are interested in fde are comparing it to the libraries listed below
Sorting:
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- A Cairo VM prover implemented using Winterfell☆17May 4, 2023Updated 2 years ago
- Spartan on Arkworks☆47Aug 19, 2025Updated 6 months ago
- specs & benchmarks for the ZPrize 3 - High Throughput Signature Verification☆10Oct 9, 2023Updated 2 years ago
- ☆13Dec 3, 2022Updated 3 years ago
- ☆11Feb 6, 2024Updated 2 years ago
- BuilderHub service for provisioning and permissioning BuilderNet instances☆16Feb 19, 2026Updated last week
- ☆13Aug 10, 2024Updated last year
- ☆14Oct 9, 2024Updated last year
- 🔴 💬 A hack for the OP Stack enabling sequencer commitments.☆28Dec 4, 2023Updated 2 years ago
- Some tips for new learners of ZKP☆28Dec 31, 2020Updated 5 years ago
- Testudo: Spartan + Groth16☆53Feb 21, 2024Updated 2 years ago
- A repository for the Leela VS the World project for On-Chain machine learning☆20Sep 26, 2024Updated last year
- A prototype implementation of zero-knowledge proofs of training introduced in eprint:2023/1345☆16Sep 12, 2023Updated 2 years ago
- ☆15Feb 14, 2024Updated 2 years ago
- ☆37Oct 14, 2024Updated last year
- ☆37Nov 7, 2023Updated 2 years ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- An Ethereum beacon data and execution trace explorer☆17Dec 1, 2025Updated 3 months ago
- ☆38Jul 30, 2025Updated 7 months ago
- Benchmarks of popular zkVMs including Jolt☆64Apr 19, 2024Updated last year
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated last year
- To bring zero knowledge privacy primitives to all web3 developers.☆13Oct 20, 2023Updated 2 years ago
- 🍭 A Solidity library for prime field arithmetic☆16Jan 31, 2024Updated 2 years ago
- A SIMD implementation of Keccak256 for aarch64, forked from Remco Bloeman's Goldilocks K12 implementation.☆21Nov 6, 2023Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆45Jun 6, 2024Updated last year
- jsonschema rpc spec of eip 4337 (account abstraction) bundler☆37Mar 4, 2025Updated 11 months ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45May 31, 2023Updated 2 years ago
- ZK Benchmarking Suite☆23Mar 15, 2024Updated last year
- Learn how to develop bitvm apps by building tic tac toe☆16Jan 25, 2025Updated last year
- ☆20Jul 10, 2025Updated 7 months ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Apr 6, 2023Updated 2 years ago
- Practical Experiments on how to add complete privacy to flashbots☆48Oct 12, 2024Updated last year
- Benchmark of multiple zk implementations.☆83Aug 3, 2023Updated 2 years ago
- Circuits used by heyanon☆21Sep 14, 2022Updated 3 years ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆19May 16, 2025Updated 9 months ago
- Honk Verifier in Solidity☆50Feb 21, 2026Updated last week
- A minimal reimplementation of Tendermint in Rust☆25Jun 9, 2025Updated 8 months ago
- ☆22Dec 19, 2024Updated last year