Alternatives and similar repositories for mina-zkml

Users that are interested in mina-zkml are comparing it to the libraries listed below

• aztec-scan / chicmoz
  Aztecscan - the Aztec block explorer, running locally against sandbox. Or our publicly deployed version with Testnet indexed.
  ☆14Updated last week
• ProjectZKM / zkm-project-template
  ZKM Development Template/Framework
  ☆30Updated 5 months ago
• yetanotherco / zkRust
  ☆42Updated last year
• lambdaclass / mina_bridge
  Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
  ☆97Updated last month
• axiom-crypto / halo2-scaffold
  Basic scaffolding for setting up and writing a Halo2 ZK circuit
  ☆112Updated last year
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆98Updated last year
• axiom-crypto / halo2-browser
  Monorepo of tools for using the halo2 proving system in-browser using WASM.
  ☆55Updated last year
• MatteoMer / any-zkvm
  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
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated last year
• erhant / circom101
  Circom arithmetic circuits and concepts explained, in depth.
  ☆31Updated 7 months ago
• eth-act / zkevm-book
  Ethereum zkEVM book
  ☆79Updated 2 months ago
• zksecurity / mina-attestations
  Private Attestations for Mina wallets
  ☆16Updated 3 months ago
• emilianobonassi / zkFHE
  Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.
  ☆86Updated 2 years ago
• matter-labs / zksync-airbender
  RISC-V prover system for ZKsync OS
  ☆116Updated last week
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆79Updated last week
• vacp2p / zk-explorations
  ☆31Updated last year
• zkemail / zkemail.nr
  ZK Email in Noir
  ☆79Updated last month
• boundless-xyz / risc0-foundry-template
  Template for integrating RISC Zero and Ethereum using Foundry
  ☆140Updated 6 months ago
• jules / supernova
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆122Updated 2 years ago
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆75Updated 10 months ago
• lambdaclass / cairo-by-example
  cairo-by-example.com
  ☆40Updated 7 months ago
• gizatechxyz / LuminAIR
  A zkML framework for ensuring the integrity of computational graphs using Circle STARK proofs
  ☆52Updated 3 months ago
• lambdaclass / starknet_stack
  Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
  ☆43Updated 2 years ago
• privacy-ethereum / halo2-solidity-verifier
  A set of tooling related to halo2 circuits verification inside Solidity contracts
  ☆66Updated last year
• arkworks-rs / sumcheck
  linear-time sumcheck protocol for multilinear polynomials and related addends
  ☆84Updated last month
• NilFoundation / zkllvm-template
  Template repository for zkLLVM-based projects
  ☆19Updated last year
• bandada-infra / bandada
  A system for managing privacy-preserving groups.
  ☆76Updated 2 weeks ago
• kurtpan666 / awesome-circlestark
  A curated list of awesome things related to learning Circle STARK.
  ☆31Updated 4 months ago
• ChaosChain / chaoschain-legacy
  The Layer 2 of Madness: A Blockchain Where Agents Make the Rules (or Don’t)
  ☆75Updated 8 months ago
• privacy-ethereum / multifolding-poc
  A PoC repo for a HyperNova impl
  ☆83Updated 2 years ago