lambdaclass / mina_bridgeLinks
Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
☆94Updated 6 months ago
Alternatives and similar repositories for mina_bridge
Users that are interested in mina_bridge are comparing it to the libraries listed below
Sorting:
- DSL for Halo2 circuits☆188Updated 11 months ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆160Updated 8 months ago
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆104Updated 2 years ago
- ☆154Updated last year
- Circom interpreter to arithmetic circuit description☆55Updated last year
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆138Updated 4 months ago
- RISC-V prover system for ZKsync OS☆92Updated this week
- ☆58Updated this week
- ☆94Updated last year
- A Cairo VM prover implemented using Winterfell☆157Updated 3 years ago
- BitVM Groth16 Verifier Toolkit - WIP☆79Updated last year
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆79Updated last week
- Introduction to various ZK languages☆87Updated last month
- ZK Email in Noir☆74Updated this week
- A repo of example Noir projects.☆67Updated last month
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆138Updated this week
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆109Updated last year
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆100Updated last week
- A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle☆115Updated 8 months ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆78Updated 11 months ago
- Template for integrating RISC Zero and Ethereum using Foundry☆139Updated 3 months ago
- EigenLayer Rust Developer Tooling☆91Updated last month
- ☆104Updated last year
- ☆70Updated last year
- ☆60Updated last month
- ☆29Updated 2 months ago
- Succinct's Production-Grade Proving Engine for the OP Stack☆190Updated this week
- Smart contracts for onchain verification of SP1.☆115Updated 2 weeks ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆55Updated 5 months ago