☆40Apr 9, 2024Updated 2 years ago
Alternatives and similar repositories for fde
Users that are interested in fde are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 4 years ago
- ☆15May 27, 2021Updated 5 years ago
- Testudo: Spartan + Groth16☆54Feb 21, 2024Updated 2 years ago
- Researching RANDAO manipulation in Ethereum mainnet.☆11Jul 7, 2025Updated last year
- ☆12Jun 26, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A SIMD implementation of Keccak256 for aarch64, forked from Remco Bloeman's Goldilocks K12 implementation.☆20Nov 6, 2023Updated 2 years ago
- Because, frankly, doing this stuff in C sucked way too much.☆13Oct 27, 2025Updated last year
- A Cairo VM prover implemented using Winterfell☆17May 4, 2023Updated 3 years ago
- Spartan on Arkworks☆47Jun 12, 2026Updated 4 months ago
- Educational Version of Lookup Argument☆12Apr 10, 2025Updated last year
- ☆31Mar 31, 2025Updated last year
- ☆33Mar 27, 2024Updated 2 years ago
- ☆11Feb 6, 2024Updated 2 years ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Benchmarks of popular zkVMs including Jolt☆64Apr 19, 2024Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆52Sep 16, 2026Updated last month
- Repository to verify contributions to the AZTEC Ignition ceremony☆23Mar 31, 2023Updated 3 years ago
- ☆13Apr 28, 2026Updated 6 months ago
- 🔴 💬 A hack for the OP Stack enabling sequencer commitments.☆27Dec 4, 2023Updated 2 years ago
- supplement material for BlackHat2020 talk: Multiple Bugs in Multi-Party Computation: Breaking Cryptocurrency's Strongest Wallets☆12Aug 13, 2020Updated 6 years ago
- ☆14Aug 19, 2021Updated 5 years ago
- BuilderHub service for provisioning and permissioning BuilderNet instances☆16Aug 26, 2026Updated 2 months ago
- ☆13Dec 3, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆17Oct 9, 2024Updated 2 years ago
- Verify blockchain data presented at popular websites using Light Client technology☆11Nov 24, 2024Updated last year
- ☆22Jan 4, 2023Updated 3 years ago
- Optimistic Implementation of the DNSSEC Registrar☆14Nov 11, 2020Updated 5 years ago
- Andromeda revm execution service☆32Jul 25, 2024Updated 2 years ago
- A demo and tutorial for Council that implements a financial analyst agent.☆11Jun 21, 2024Updated 2 years ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45May 31, 2023Updated 3 years ago
- Some tips for new learners of ZKP☆28Dec 31, 2020Updated 5 years ago
- Ethereum CREATE2 usage example☆11Nov 12, 2018Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated 2 years ago
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13May 9, 2025Updated last year
- Clober DEX Core Solidity Contracts☆11Jun 9, 2025Updated last year
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Apr 6, 2023Updated 3 years ago
- ☆28Jan 12, 2026Updated 9 months ago
- ☆42Oct 14, 2024Updated 2 years ago
- ☆11Oct 7, 2022Updated 4 years ago