☆19Sep 12, 2026Updated last month
Alternatives and similar repositories for leanVM-b
Users that are interested in leanVM-b are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- C implementation of Lean consensus for post-quantum Ethereum.☆15Oct 8, 2026Updated 2 weeks ago
- ☆12Jun 5, 2025Updated last year
- Plonky3 native support for p3-uni-stark and p3-batch-stark recursion... and more☆28Oct 17, 2026Updated last week
- ☆15Aug 6, 2026Updated 2 months ago
- ☆27Updated this week
- 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.
- Minimalist, performant and auditable verifiable RISC-V vm written in Rust☆32Updated this week
- Formally verified Ethereum primitives, written in Lean.☆23Updated this week
- ☆69Apr 1, 2026Updated 6 months ago
- Minimal zkVM for Ethereum.☆175Updated this week
- ☆95Updated this week
- ☆12Sep 8, 2025Updated last year
- Verified arithmetic circuit simplifier: Lean 4 proof + Rust FFI☆15Apr 6, 2026Updated 6 months ago
- RISC-V prover system☆55May 1, 2026Updated 5 months ago
- ☆58Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A universal soundness calculator across hash-based zkEVMs and security regimes☆56Sep 21, 2026Updated last month
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆45Sep 11, 2025Updated last year
- A verifiable supercomputer☆79Jun 26, 2025Updated last year
- a utility to quickly spin up a localnet of lean (multi-client) nodes☆15Jul 21, 2026Updated 3 months ago
- zk-autoresearch — autonomous LLM agent optimizing a production ZK prover via benchmark feedback loop. First known application of Karpathy…☆27Sep 15, 2026Updated last month
- Compiles WebAssembly into a ZK friendly IR with infinite-registers and write-once memory.☆29Jun 16, 2026Updated 4 months ago
- Lean Ethereum protocol specifications and test vector generation framework.☆144Sep 2, 2026Updated last month
- ☆16Jun 25, 2026Updated 3 months ago
- Rust implementation of the current leanSig proposal.☆49Apr 29, 2026Updated 5 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- WebGPU MSM implementation☆15Oct 28, 2025Updated 11 months ago
- Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.☆11Jun 5, 2024Updated 2 years ago
- ☆17Oct 21, 2025Updated last year
- ☆31Oct 12, 2026Updated last week
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆56Dec 18, 2025Updated 10 months ago
- Beat a formally verified Yul → EVM compiler on total gas — while its machine-checked correctness theorem still proves.☆35Updated this week
- ☆14Dec 26, 2024Updated last year
- ☆17Mar 18, 2023Updated 3 years ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆20May 16, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆48Dec 10, 2025Updated 10 months ago
- Vectorized AVX-512 256-bit arithmetic library☆34Sep 28, 2024Updated 2 years ago
- Solidity implementation of the Renegade darkpool☆13Mar 26, 2026Updated 6 months ago
- ☆32Oct 27, 2025Updated 11 months ago
- The Valida execution engine, prover, and verifier☆32Oct 6, 2025Updated last year
- Formal Verification of the Zcash Protocol and Documentation for the Ironwood Pool☆22Updated this week
- Make your zero-knowledge circuits safe with formal verification. 🍀☆35Aug 24, 2026Updated 2 months ago