chainwayxyz / bitvm-zk-verifierLinks
BitVM Groth16 Verifier Toolkit - WIP
☆79Updated last year
Alternatives and similar repositories for bitvm-zk-verifier
Users that are interested in bitvm-zk-verifier are comparing it to the libraries listed below
Sorting:
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆94Updated 6 months ago
- ☆58Updated this week
- ☆60Updated last month
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆160Updated 8 months ago
- Out-of-circuit zkEVM implementation☆80Updated last year
- ☆94Updated last year
- Smart contracts for onchain verification of SP1.☆115Updated 2 weeks ago
- Generates a stark from a pil☆98Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆138Updated last week
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆104Updated 2 years ago
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- OS for next iteration of the world computer☆43Updated 2 years ago
- Email verification circuit in halo2☆68Updated last year
- ☆104Updated last year
- ☆102Updated last month
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆38Updated 3 months ago
- zkEVM proof generator reference written in Javascript☆82Updated 4 months ago
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆28Updated 11 months ago
- Building blocks of a Circle STARK verifier in Bitcoin script☆153Updated 2 weeks ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 11 months ago
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆137Updated 2 months ago
- ☆97Updated 5 months ago
- Template for integrating RISC Zero and Ethereum using Foundry☆139Updated 3 months ago
- Kate commitment based PLONK recursive aggregation circuit☆41Updated last year
- Benchmark of multiple zk implementations.☆83Updated 2 years ago
- Reference implementation of the node for the Miden blockchain☆74Updated this week
- Rust Library for running the Starknet OS via the Cairo VM☆67Updated this week
- halo2 ecc circuit☆116Updated 2 years ago
- A virtual machine for Cairo written in Go☆89Updated 3 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year