Formal Verification of the Zcash Protocol and Documentation for the Ironwood Pool
☆22Oct 14, 2026Updated this week
Alternatives and similar repositories for ironwood
Users that are interested in ironwood are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Zcash full node, built for scale.☆97Updated this week
- ☆20Nov 3, 2025Updated 11 months ago
- Jolt-compatible zkVM prover in pure Zig with zero dependencies, zero FFI☆31Sep 11, 2026Updated last month
- Rust language proof-carrying data framework☆60Oct 14, 2026Updated last week
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power☆58Nov 3, 2025Updated 11 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Rust implementation for zcash/pasta☆85Oct 10, 2026Updated last week
- Vermilion: Verus meets Lean☆60Updated this week
- Correctness-first EVM interpreter in Bend targeting Amsterdam. Working interpreter; full conformance and proofs in progress.☆21Sep 18, 2026Updated last month
- ☆94Sep 13, 2026Updated last month
- EraVM specification.☆18Jun 18, 2026Updated 4 months ago
- CVE-2026-72844 : Example of proving "0 = 1" using a vulnerability in the Lean 4 kernel.☆26Aug 22, 2026Updated last month
- R1CS to Plonk transpiler☆11Jun 12, 2025Updated last year
- Client side zero-knowledge proving.☆147Updated this week
- ☆28Apr 7, 2026Updated 6 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Implementation of the model from "Faster sorting algorithms discovered using deep reinforcement learning" that discovered an all-new ult…☆11Aug 29, 2023Updated 3 years ago
- A EVM block proving backend in Cairo☆90Mar 30, 2026Updated 6 months ago
- CAS, Commutative Rings, Fraction Fields, Quotient Rings, Polynomial Rings, Galois Fields☆11Jun 13, 2026Updated 4 months ago
- Fiat-Shamir for the masses.☆99Oct 13, 2026Updated last week
- ngcc artifacts☆46Updated this week
- xllama.cpp — Optimized LLM Inference for NVidia Tesla V100-SXM2-32GB☆17Apr 29, 2026Updated 5 months ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆56Dec 18, 2025Updated 10 months ago
- Private Attestations for Mina wallets☆16Sep 24, 2025Updated last year
- A Rocq version of the miniF2F dataset☆25Jul 23, 2026Updated 2 months 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.
- ☆18Jul 30, 2026Updated 2 months ago
- Reduce LLM word slop. Use ASD-STE100 Simplified Technical English.☆33Jul 31, 2026Updated 2 months ago
- ☆13Oct 1, 2026Updated 2 weeks ago
- Proof-of-concept ESP32 Cashu wallet with Find My transport and a host receiver☆23Sep 30, 2026Updated 2 weeks ago
- Proof system backends for OpenVM.☆40Aug 28, 2026Updated last month
- ZKM Development Template/Framework☆29Sep 30, 2026Updated 2 weeks ago
- ExtendJ is a Java compiler implemented in reference attribute grammars using JastAdd.☆14Oct 3, 2026Updated 2 weeks ago
- Reader for ICAO 9303 electronic machine readable travel documents.☆42Feb 21, 2025Updated last year
- ☆27Apr 16, 2026Updated 6 months 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.
- Build customizable systems for precise ranking and evaluation of network endpoints.☆13May 6, 2026Updated 5 months ago
- Universal Wallet for Ethereum☆10Jan 13, 2025Updated last year
- Claude/Codex skill and local workflow layer for efficient interaction with Lean 4 and Monte-Carlo Tree Search.☆41Updated this week
- ☆23Mar 10, 2026Updated 7 months ago
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Jan 3, 2024Updated 2 years ago
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- A minimal RedDSA implementation for use in Zebra and zcashd.☆14Updated this week