chris-chris / mina-zkmlLinks
☆19Updated 9 months ago
Alternatives and similar repositories for mina-zkml
Users that are interested in mina-zkml are comparing it to the libraries listed below
Sorting:
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆55Updated 8 months ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆112Updated last year
- Private Attestations for Mina wallets☆16Updated 3 months ago
- Curated list of ZKML models and use cases made with Giza☆51Updated last year
- ZKM Development Template/Framework☆30Updated 5 months ago
- Aztecscan - the Aztec block explorer, running locally against sandbox. Or our publicly deployed version with Testnet indexed.☆14Updated last week
- Create MPC apps with TypeScript.☆55Updated 5 months ago
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- A zkML framework for ensuring the integrity of computational graphs using Circle STARK proofs☆52Updated 3 months ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆97Updated last month
- Ethereum zkEVM book☆79Updated 3 months ago
- 👽 Small exercises to get you used to ZK fundamentals!☆43Updated 10 months ago
- Starter kit for privacy enabled application chains☆44Updated last month
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆133Updated last year
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆111Updated 6 months ago
- Rust implementation of the Agglayer.☆118Updated this week
- Benchmark of multiple zk implementations.☆83Updated 2 years ago
- cairo-by-example.com☆40Updated 7 months ago
- Email verification circuit in halo2☆68Updated last year
- ☆42Updated last year
- Template for integrating RISC Zero and Ethereum using Foundry☆140Updated 6 months ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆43Updated 2 years ago
- ☆45Updated 2 years ago
- Basic Noir private proof of membership☆90Updated 9 months ago
- A EVM block proving backend in Cairo☆88Updated last week
- A testing & development environment for Circom.☆117Updated 4 months ago
- Circom arithmetic circuits and concepts explained, in depth.☆31Updated 7 months ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆78Updated last year
- Sindri Zero-Knowledge Proof CLI☆18Updated 2 months ago
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆86Updated 2 years ago