plonky2 proving over paladin
☆22Jun 19, 2024Updated last year
Alternatives and similar repositories for zero-bin
Users that are interested in zero-bin are comparing it to the libraries listed below
Sorting:
- ☆100May 2, 2025Updated 9 months ago
- Bringing divine order to remote task execution.☆30Nov 25, 2024Updated last year
- GPU-acceselerated cryptography libraries for ZKsync☆22Updated this week
- Common protocol for generating ZK proofs for blocks on different blockchains.☆10Feb 9, 2024Updated 2 years ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- High performance EraVM for zkSync.☆23Feb 20, 2026Updated last week
- Polyhedra ZK knowledge base☆25Oct 28, 2024Updated last year
- plonky2 recursion framework handling different circuits in unified way.☆16Mar 22, 2024Updated last year
- Shared peer-to-peer network of zero-knowledge provers☆16Dec 5, 2024Updated last year
- A minimalist TUI block explorer for Ethereum networks☆23May 28, 2025Updated 9 months ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Apr 27, 2025Updated 10 months ago
- An advanced fork of Nova (contact:@huitseeker)☆88Mar 3, 2025Updated 11 months ago
- ☆31May 20, 2025Updated 9 months ago
- ☆20Nov 3, 2025Updated 3 months ago
- Rust implementation of KZG point evaluation☆35Feb 16, 2026Updated last week
- Cryptography libraries for ZKsync☆42Updated this week
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Feb 19, 2023Updated 3 years ago
- A parallel proving service for ZKM.☆22Dec 18, 2025Updated 2 months ago
- Expander Compiler☆42Feb 22, 2026Updated last week
- 🪩 verify plonky3 proofs in plonky2☆19Mar 28, 2024Updated last year
- STARK book☆20Sep 25, 2024Updated last year
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆27Apr 4, 2025Updated 10 months ago
- ☆23Jun 12, 2025Updated 8 months ago
- Explorations on mobile-first GPU acceleration, currently support MSM.☆28Aug 19, 2025Updated 6 months ago
- On-chain Ethereum light client built with SP1☆80Dec 16, 2025Updated 2 months ago
- Cairo-VM STONE STARK Verifier Rust implementation☆43Feb 4, 2025Updated last year
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆41Feb 17, 2025Updated last year
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆146Feb 20, 2026Updated last week
- 🔎 Highly optimized Solidity library of statistical functions rationally approximated☆28Oct 15, 2024Updated last year
- ☆175Updated this week
- ☆23Mar 8, 2024Updated last year
- Noir support for Zed☆11May 3, 2024Updated last year
- A "Type 0" zkEVM☆12Jul 16, 2025Updated 7 months ago
- Universal zero knowledge game engine based on PLONK☆13Feb 7, 2025Updated last year
- ☆12Aug 2, 2022Updated 3 years ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆68Oct 1, 2024Updated last year
- ☆335Feb 2, 2026Updated 3 weeks ago
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆46Jun 9, 2024Updated last year
- Rust implementation of the Alpen protocol☆94Updated this week