☆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
- Spartan on Arkworks☆47Aug 19, 2025Updated 7 months ago
- A Cairo VM prover implemented using Winterfell☆17May 4, 2023Updated 2 years ago
- specs & benchmarks for the ZPrize 3 - High Throughput Signature Verification☆10Oct 9, 2023Updated 2 years ago
- BuilderHub service for provisioning and permissioning BuilderNet instances☆16Mar 12, 2026Updated last week
- Benchmarks of popular zkVMs including Jolt☆64Apr 19, 2024Updated last year
- ☆31Mar 31, 2025Updated 11 months ago
- ☆11Feb 6, 2024Updated 2 years ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- ☆14Oct 9, 2024Updated last year
- ☆13Dec 3, 2022Updated 3 years ago
- 🔴 💬 A hack for the OP Stack enabling sequencer commitments.☆27Dec 4, 2023Updated 2 years ago
- This repository aims to provide a curated list of research papers focusing on Blockchain-based data sharing☆13Nov 25, 2023Updated 2 years ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45May 31, 2023Updated 2 years ago
- Testudo: Spartan + Groth16☆53Feb 21, 2024Updated 2 years ago
- ☆40Oct 14, 2024Updated last year
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13May 9, 2025Updated 10 months ago
- Some tips for new learners of ZKP☆28Dec 31, 2020Updated 5 years ago
- ☆22Jan 4, 2023Updated 3 years ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Apr 6, 2023Updated 2 years ago
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated last year
- Proof of concept implementation of sumcheck over fields of small characteristics.☆20May 16, 2025Updated 10 months ago
- Enabling credibly pseudonymous posting @ heyanon.xyz☆31Nov 23, 2022Updated 3 years ago
- A prototype implementation of zero-knowledge proofs of training introduced in eprint:2023/1345☆18Sep 12, 2023Updated 2 years ago
- High-performance Multi-scalar Multiplication for Pasta curves☆24Sep 6, 2025Updated 6 months ago
- ☆13Aug 10, 2024Updated last year
- ☆11Oct 7, 2022Updated 3 years ago
- ☆20Jul 10, 2025Updated 8 months ago
- ☆37Nov 7, 2023Updated 2 years ago
- ☆39Jul 30, 2025Updated 7 months ago
- A repository for the Leela VS the World project for On-Chain machine learning☆20Sep 26, 2024Updated last year
- Verify blockchain data presented at popular websites using Light Client technology☆11Nov 24, 2024Updated last year
- z-mix will offer a generic way to create Zero-Knowledge proofs, proving statements about multiple cryptographic building blocks, containi…☆14Nov 8, 2018Updated 7 years ago
- ☆21Jan 28, 2024Updated 2 years ago
- Benchmark of multiple zk implementations.☆83Aug 3, 2023Updated 2 years ago
- polynomial commitments from linear codes☆50Dec 13, 2024Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆53Aug 6, 2022Updated 3 years ago
- 基于VGG19的水果识别,水果种类:香蕉、榴莲、山竹、梨、柿子。验证集精度95.51%,测试集精度92.00%☆11Jul 1, 2022Updated 3 years ago
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆17Sep 10, 2024Updated last year