chainwayxyz / bitvm-zk-verifier

Related projects ⓘ

Alternatives and complementary repositories for bitvm-zk-verifier

• chainwayxyz / clementine
  Citrea's BitVM Based Trust-Minimized Two-Way Peg Program
  ☆56Updated this week
• VictorColomb / stark-snark-recursive-proofs
  STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
  ☆102Updated last year
• Bitcoin-Wildlife-Sanctuary / bitcoin-circle-stark
  Building blocks of a Circle STARK verifier in Bitcoin script
  ☆124Updated this week
• chainwayxyz / citrea
  Citrea, Bitcoin's First ZK Rollup 🍊🍋
  ☆125Updated this week
• andrewmilson / sandstorm
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆158Updated 8 months ago
• 0xPolygonMiden / miden-base
  Core components of the Polygon Miden rollup
  ☆70Updated this week
• risc0 / demos
  ☆49Updated last month
• EspressoSystems / hyperplonk
  ☆184Updated this week
• lambdaclass / mina_bridge
  Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
  ☆85Updated 2 weeks ago
• privacy-scaling-explorations / snark-verifier
  ☆145Updated 8 months ago
• celer-network / zk-benchmark
  Benchmark of multiple zk implementations.
  ☆81Updated last year
• succinctlabs / sp1-project-template
  Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
  ☆70Updated this week
• 0xPolygonHermez / pil-stark
  Generates a stark from a pil
  ☆95Updated 3 months ago
• EspressoSystems / HotShot
  ☆122Updated this week
• keep-starknet-strange / snos
  Rust Library for running the Starknet OS via the Cairo VM
  ☆56Updated this week
• succinctlabs / sp1-reth
  A performant, type-1 zkEVM written in Rust & SP1.
  ☆125Updated 3 weeks ago
• 0xPolygonMiden / crypto
  Cryptographic primitives used in Polygon Miden rollup
  ☆101Updated this week
• NethermindEth / cairo-vm-go
  A virtual machine for Cairo written in Go
  ☆82Updated this week
• chainwayxyz / bitcoin-da
  Bitcoin DA Adapter for Sovereign SDK
  ☆45Updated 7 months ago
• ChainSafe / Spectre
  ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol
  ☆58Updated last month
• 0xPolygonMiden / miden-node
  Reference implementation of the node for the Polygon Miden rollup
  ☆53Updated this week
• matter-labs / era-zk_evm
  Out-of-circuit zkEVM implementation
  ☆81Updated 2 months ago
• TaceoLabs / co-snarks
  Tooling for creating collaborative SNARKs for Circom circuits.
  ☆94Updated this week
• keep-starknet-strange / garaga
  State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
  ☆200Updated this week
• maxgillett / giza
  A Cairo VM prover implemented using Winterfell
  ☆156Updated 2 years ago
• 0xPolygonZero / zk_evm
  ☆84Updated this week
• axiom-crypto / axiom-eth
  ☆93Updated 2 months ago
• privacy-scaling-explorations / halo2-solidity-verifier
  A set of tooling related to halo2 circuits verification inside Solidity contracts
  ☆63Updated last month
• succinctlabs / op-succinct
  OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.
  ☆91Updated this week