lambdaclass / mina_bridge
Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
☆91Updated last month
Alternatives and similar repositories for mina_bridge
Users that are interested in mina_bridge are comparing it to the libraries listed below
Sorting:
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆159Updated 4 months ago
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆103Updated last year
- ☆150Updated last year
- Smart contracts for onchain verification of SP1.☆89Updated last week
- ☆58Updated 6 months ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆108Updated last year
- A repo of example Noir projects.☆51Updated 2 months ago
- A Cairo VM prover implemented using Winterfell☆158Updated 2 years ago
- Succinct's Production-Grade Proving Engine for the OP Stack☆159Updated this week
- Circom interpreter to arithmetic circuit description☆54Updated 8 months ago
- ZK Email in Noir☆68Updated 2 weeks ago
- ☆94Updated 8 months ago
- ☆29Updated 3 weeks ago
- halo2 ecc circuit☆116Updated 2 years ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆143Updated this week
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆137Updated 4 months ago
- EigenLayer Rust Developer Tooling☆88Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆112Updated this week
- cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wr…☆57Updated last year
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆164Updated this week
- Rust Library for running the Starknet OS via the Cairo VM☆62Updated 2 weeks ago
- The schelling point for ZK applications.☆138Updated last year
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆51Updated last month
- ☆65Updated 9 months ago
- All of Aztec's workshops, resources, tutorials, ideas, and useful tools☆59Updated last week
- ☆99Updated 9 months ago
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 8 months ago
- A modular zk-Rollup for zero knowledge smart contracts, zkApps, on the Mina blockchain.☆30Updated 2 years ago
- ☆141Updated 2 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 9 months ago