/awesome-zkml

Aggregator for amazing ZKML resources

MIT LicenseMIT

awesome-zkml

A place where you can find content, codebases, scientific papers, projects and applications related to ZKML. We always appreciate contributions and suggestions. If you have any changes you'd like to suggest, please feel free to open an issue or submit a pull request.

Learn ZK

Here you can find a list of very popular resources to get started with zero-knowledge cryptography (courtesy of Ingopedia made by Ingonyama):

Learn ML

Here you can find a list of very popular resources to get started with machine learning.

Content

ZKML community calls

We are organizing bi-weekly ZKML community calls. For details on when and where the next call is happening, check the pinned messages on our Telegram channel. Recorded versions of the calls are available on our YouTube channel and notes summarizing what was discussed can be found here.

Articles and podcasts

Codebases

  • zk-mnist - @hopanml @sunfishstanford @henripal (2022)
  • zk-ml/demo - @liaopeiyuan (2021)
  • circomlib-ml - @socathie (2022)
  • proto-neural-zkp - @recmo @dcbuild3r (2022)
    • zkml experiments with plonky2 at Worldcoin
  • RockyBot - @ModulusLabs (2022)
    • RockyBot is the first ever fully on-chain AI trading bot
  • ezkl by Jason Morton (2022+)
    • ezkl is a library and command-line tool for doing inference for deep learning models and other computational graphs in a zk-snark.
  • keras2circom (@socathie) (2023)
    • keras2circom is a python tool that transpiles a tf.keras model into a circom circuit.
  • Zator - Verified inference of a 512-layer neural network using recursive SNARKs.
  • Otti (2022)
    • Compiler and zkSNARK for optimization problems including LP, SDP, SGD. Includes ZK proof of the full training of a perceptron on real-world datasets.
  • Linear A - tachikoma (2022+)
  • Linear A - uchikoma (2022+)
  • zk-dtp - Zero Knowledge Decision Tree Predict is designed to address this pressing issue by offering privacy-preserving predictions using decision tree models, built on top of RISC Zero's zkVM.
  • zkp-gravity/0g - ZeroGravity - Zero Gravity is a system for proving an inference run (i.e. a classification) for a pre-trained, public Weightless NN and a private input. (2023)
  • ddkang/zkml - zkml is a framework for constructing proofs of ML model execution in ZK-SNARKs.
  • ZKaggle and ZKaggleV2 - @socathie (2023)
    • POC of a decentralized bounty platform for hosting, verifying, and paying out bounties, similar to Kaggle, but with the added benefit of privacy preservation

Papers

Projects interested in ZKML

ZKML ecosystem by SevenX ventures

  • Axiom - Axiom provides smart contracts trustless access to all on-chain data and arbitrary expressive compute over it. Like GPUs do for CPUs, Axiom augments blockchain consensus with zero-knowledge proofs
  • 0xPARC - The 0xPARC Foundation promotes application-level innovation on Ethereum and other decentralized platforms
  • Worldcoin - A Privacy-Preserving Proof-of-Personhood Protocol
  • Gizatech - Fully on-chain artificial intelligence on Starknet
  • Modulus Labs - Bringing powerful ML models on-chain
  • Risc Zero - The General Purpose Zero-Knowledge VM
  • Supranational - A product and service company developing hardware-accelerated cryptography for verifiable and confidential computing
  • Ingonyama (Hardware) - Zero Knowledge ASICs (ZPU)
  • Zama.ai (FHE ML / FHE-ZK ML) - FHE tooling for machine learning, blockchain and more. ZK-FHE is an interesting research area. FHE.org is a very interesting community with a lot of potential for collaboration.
  • zkMachineLearning - ZKML tooling for Circom
  • Aleo - Platform for building fully private and programmable Web applications.
  • PSE team @ Ethereum Foundation - Some ZKML research initiatives here
  • Ion Protocol - Lending protocol for staked & restaked assets. They partnered with Modulus to build a risk engine that analyzes validator credit risk. Read more here

Use cases

Decision tree for a use case that would use ZKML -> Intersection of {needs privacy, computational integrity} and {heuristic optimization problem solved by ml}.

  • Computational integrity
    • Modulus Labs
      • On-chain verifiable ML trading bot - RockyBot
      • Blockchains that self-improve vision (examples):
        • Enhancing the Lyra finance options protocol AMM with intelligent features
        • Creating a transparent AI-based reputation system for Astraly
        • Working on the technical breakthroughs needed for contract-level compliance tools using ML for Aztec Protocol (a zk-rollup with privacy features)
    • ML as a Service (MLaaS) transparency (link)
    • Worldcoin
      • Verifying that a user has created a valid and unique WorldID locally by running the IrisCode model on self-hosted biometric data and is calling _addMember(uint256 groupId, uint256 identityCommitment) function on the WorldID Semaphore identity group with a valid identityCommitment. -> Makes protocol more permissionless
      • Making the Orb trustless, provide proof that fraud filters are applied
      • Enable IrisCode upgradeability
    • ZK anomaly/fraud detection
      • Creates the ability for creating a ZK proof of exploitability/fraud. Anomaly detection models could be trained on smart contract data and agreed upon by DAOs as interesting metrics to be able to automate security procedures such as preventively pausing contracts in a more proactive way. There are startups already looking at using ML models for security purposes in a smart contract context, so ZK anomaly detection proofs feel like the natural next step.
    • Generic SNARK for ML inference: ability to easily prove and verify that an output is the product of a given model and input pair.
  • Privacy
    • Decentralized Kaggle: proof that model has greater than x% accuracy on some test data without revealing weights
    • Privacy-preserving inference: medical diagnostics on private patient data get fed into the model and the sensitive inference (i.e. cancer test result) gets sent to the patient. (vCNN paper, page 2/16)