Alternatives and similar repositories for mina_bridge

Users that are interested in mina_bridge are comparing it to the libraries listed below

• andrewmilson / sandstorm
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆160Updated 6 months ago
• privacy-scaling-explorations / snark-verifier
  ☆155Updated last year
• plume-sig / zk-nullifier-sig
  Implementation of ERC 7524 - PLUME for ECDSA Nullifiers
  ☆139Updated 2 months ago
• privacy-scaling-explorations / chiquito
  DSL for Halo2 circuits
  ☆187Updated 9 months ago
• VictorColomb / stark-snark-recursive-proofs
  STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
  ☆104Updated last year
• matter-labs / zksync-airbender
  RISC-V prover system for ZKsync OS
  ☆80Updated this week
• microbecode / zk-languages
  Introduction to various ZK languages
  ☆78Updated last month
• axiom-crypto / halo2-scaffold
  Basic scaffolding for setting up and writing a Halo2 ZK circuit
  ☆109Updated last year
• lambdaclass / STARK101-rs
  STARK 101 Workshop in Rust 🐺🦀
  ☆137Updated 2 years ago
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆98Updated 11 months ago
• iden3 / rapidsnark
  rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.
  ☆78Updated 3 weeks ago
• zkemail / zkemail.nr
  ZK Email in Noir
  ☆74Updated 3 weeks ago
• aragonzkresearch / noir-trie-proofs
  ☆69Updated last year
• maxgillett / giza
  A Cairo VM prover implemented using Winterfell
  ☆158Updated 2 years ago
• personaelabs / spartan-ecdsa
  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
  ☆210Updated last year
• axiom-crypto / axiom-eth
  ☆94Updated 11 months ago
• noir-lang / noir-examples
  A repo of example Noir projects.
  ☆61Updated last week
• risc0 / risc0-ethereum
  Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
  ☆188Updated this week
• 0xPolygonHermez / zisk
  ☆110Updated last week
• 0xPolygon / zkevm-techdocs
  Technical documentation of the zkEVM
  ☆90Updated last year
• Layr-Labs / eigensdk-rs
  EigenLayer Rust Developer Tooling
  ☆90Updated last month
• zkemail / zk-regex
  A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…
  ☆95Updated last week
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆108Updated last month
• risc0 / demos
  ☆60Updated 8 months ago
• succinctlabs / op-succinct
  Succinct's Production-Grade Proving Engine for the OP Stack
  ☆182Updated this week
• arnaucube / awesome-circom
  A curated list of repos related to Circom
  ☆99Updated 2 years ago
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆132Updated this week
• geometryxyz / mental-poker
  A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle
  ☆114Updated 6 months ago
• privacy-scaling-explorations / multifolding-poc
  A PoC repo for a HyperNova impl
  ☆83Updated last year
• TaceoLabs / co-snarks
  Tooling for creating collaborative SNARKs for Circom and Noir circuits.
  ☆160Updated this week