lambdaclass / mina_bridge
Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
☆86Updated last month
Related projects ⓘ
Alternatives and complementary repositories for mina_bridge
- A modular zk-Rollup for zero knowledge smart contracts, zkApps, on the Mina blockchain.☆31Updated last year
- halo2 ecc circuit☆114Updated last year
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆158Updated 8 months ago
- ☆147Updated 8 months ago
- All of Aztec's workshops, resources, tutorials, ideas, and useful tools☆46Updated this week
- Tooling for creating collaborative SNARKs for Circom circuits.☆100Updated this week
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆102Updated last year
- Circom interpreter to arithmetic circuit description☆50Updated 2 months ago
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆97Updated this week
- ☆94Updated 3 months ago
- cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wr…☆56Updated 6 months ago
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆95Updated this week
- A Cairo VM prover implemented using Winterfell☆156Updated 2 years ago
- ☆124Updated this week
- Email verification circuit in halo2☆63Updated 4 months ago
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆79Updated 2 weeks ago
- Monorepo for Summa Proof of Solvency Protocol☆96Updated 2 months ago
- Rust Library for running the Starknet OS via the Cairo VM☆57Updated this week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 3 months ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆79Updated 7 months ago
- Poseidon hash function implemented in Solidity☆40Updated 3 months ago
- A performant, type-1 zkEVM written in Rust & SP1.☆125Updated last month
- A testing & development environment for Circom.☆100Updated 3 weeks ago
- barretenburg in rust (here we go)☆97Updated 10 months ago
- Benchmark of multiple zk implementations.☆82Updated last year
- Polynomials Identity Language☆67Updated 8 months ago
- ☆86Updated last week
- Generates a stark from a pil☆95Updated 3 months ago
- ZK Email in Noir☆49Updated last week