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 10 months ago
- Bringing divine order to remote task execution.☆30Nov 25, 2024Updated last year
- Common protocol for generating ZK proofs for blocks on different blockchains.☆10Feb 9, 2024Updated 2 years ago
- Smart Contract Auditing, Assembly, Security, and DeFi Ultimate Course☆11Feb 23, 2024Updated 2 years ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Feb 19, 2023Updated 3 years ago
- Proving historical Ethereum transactions using the Plonky2 zkEVM☆14Jul 26, 2024Updated last year
- A minimalist TUI block explorer for Ethereum networks☆23May 28, 2025Updated 9 months ago
- ☆31May 20, 2025Updated 10 months ago
- An advanced fork of Nova (contact:@huitseeker)☆89Mar 3, 2025Updated last year
- Rust implementation of KZG point evaluation☆35Feb 16, 2026Updated last month
- High performance EraVM for zkSync.☆23Mar 13, 2026Updated last week
- Expander Compiler☆42Mar 12, 2026Updated last week
- plonky2 recursion framework handling different circuits in unified way.☆16Mar 22, 2024Updated last year
- Polyhedra ZK knowledge base☆25Oct 28, 2024Updated last year
- ☆18Updated this week
- ☆20Nov 3, 2025Updated 4 months ago
- ☆339Mar 2, 2026Updated 2 weeks ago
- 🪩 verify plonky3 proofs in plonky2☆19Mar 28, 2024Updated last year
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆68Oct 1, 2024Updated last year
- GPU-acceselerated cryptography libraries for ZKsync☆22Mar 13, 2026Updated last week
- ☆14Oct 15, 2024Updated 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
- ☆176Updated this week
- ☆23Mar 8, 2024Updated 2 years ago
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆27Apr 4, 2025Updated 11 months ago
- Shared peer-to-peer network of zero-knowledge provers☆16Dec 5, 2024Updated last year
- Modern & lightweight implementation of bitcoin standards without rust-bitcoin/miniscript dependencies☆17Jul 20, 2025Updated 8 months ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Apr 27, 2025Updated 10 months ago
- ☆115Aug 15, 2024Updated last year
- ☆17Oct 24, 2024Updated last year
- STARK book☆20Sep 25, 2024Updated last year
- Technical documentation of the zkEVM☆91Jun 7, 2024Updated last year
- Noir support for Zed☆11May 3, 2024Updated last year
- A collection of awesome Miden links, resources and shiny things.☆18Jun 12, 2025Updated 9 months ago
- 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 month
- Client library that facilitates interaction with the Miden blockchain☆65Updated this week
- Universal zero knowledge game engine based on PLONK☆13Feb 7, 2025Updated last year
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Sep 30, 2024Updated last year