0xPolygonZero / zk_evm
☆79Updated this week
Related projects: ⓘ
- Reference implementation of the node for the Polygon Miden rollup☆52Updated this week
- Implementation of zero-knowledge proof circuits for Tendermint.☆77Updated 5 months ago
- Polynomials Identity Language☆67Updated 6 months ago
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆46Updated 3 months ago
- OS for next iteration of the world computer☆45Updated last year
- Core components of the Polygon Miden rollup☆67Updated this week
- A FRI verifier circuit for the Halo2 proof system☆72Updated last year
- plonky2 proving over paladin☆24Updated 3 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated last month
- Rust Library for running the Starknet OS via the Cairo VM☆53Updated this week
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆62Updated last month
- Circom interpreter to arithmetic circuit description☆41Updated last week
- Poseidon hash circuit☆88Updated last week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆55Updated last week
- ☆144Updated 6 months ago
- ☆85Updated last month
- ☆93Updated last month
- A community-developed re-implementation of the Starkware Stone Prover☆70Updated 7 months ago
- ☆34Updated this week
- halo2 ecc circuit☆110Updated last year
- Verifier contracts for onchain verification of SP1.☆55Updated this week
- Rescue and Poseidon hash function implementations☆42Updated last month
- Cryptographic primitives used in Polygon Miden rollup☆97Updated this week
- ☆115Updated last month
- ☆116Updated this week
- Compiler from MidenIR to Miden Assembly☆62Updated this week
- ☆22Updated 2 weeks ago
- Benchmark of multiple zk implementations.☆83Updated last year
- RISC-V interactive fraud-proof tech☆98Updated last week
- EraVM implementation☆19Updated 2 weeks ago