chainwayxyz / bitvm-zk-verifier
BitVM Groth16 Verifier Toolkit - WIP
☆74Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for bitvm-zk-verifier
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆102Updated last year
- ☆94Updated 3 months ago
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆72Updated this week
- ☆49Updated last week
- Generates a stark from a pil☆95Updated 3 months ago
- A FRI verifier circuit for the Halo2 proof system☆73Updated last year
- halo2 ecc circuit☆114Updated last year
- Out-of-circuit zkEVM implementation☆81Updated 3 months ago
- ☆191Updated last week
- Citrea's BitVM Based Trust-Minimized Two-Way Peg Program☆56Updated this week
- Email verification circuit in halo2☆63Updated 4 months ago
- A performant, type-1 zkEVM written in Rust & SP1.☆125Updated last month
- Rust Library for running the Starknet OS via the Cairo VM☆57Updated this week
- ☆85Updated 3 months ago
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆97Updated this week
- Benchmark of multiple zk implementations.☆82Updated last year
- Building blocks of a Circle STARK verifier in Bitcoin script☆126Updated this week
- Circom interpreter to arithmetic circuit description☆50Updated 2 months ago
- ☆60Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆96Updated 2 months ago
- Polynomials Identity Language☆67Updated 8 months ago
- Technical documentation of the zkEVM☆88Updated 5 months ago
- Core components of the Polygon Miden rollup☆73Updated this week
- A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.☆136Updated this week
- ☆85Updated this week
- A virtual machine for Cairo written in Go☆82Updated last week
- The schelling point for ZK applications.☆134Updated 6 months ago
- ☆19Updated 3 months ago
- Benchmarks of popular zkVMs including Jolt☆57Updated 7 months ago