zkml
Proof generator
A framework for constructing proofs of ML model execution in ZK-SNARKs
349 stars
13 watching
39 forks
Language: Rust
last commit: 8 months ago
Linked from 1 awesome list
worldcoin/awesome-zkmlRelated projects:
| Repository | Description | Stars |
|---|---|---|
 iden3/wasmsnark | A Web Assembly-based library for generating and verifying zero-knowledge proofs using zkSnark protocols | 211 |
 nalinbhardwaj/zordle | A web application built using Zero-Knowledge Proof technology to verify players' knowledge of word mappings without revealing the words themselves. | 215 |
 zkonduit/ezkl | An engine for doing inference on deep learning models and computational graphs in a ZKML proof system | 970 |
 0xzkml/zk-mnist | A demo project that integrates machine learning and zero-knowledge proof verification in a web application using TypeScript. | 121 |
 zokrates/zokrates | Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain | 1,836 |
 luozhuzhang/zkps-circuit-snark | A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications. | 61 |
 dusk-network/plonk | A Rust implementation of a secure cryptographic system for efficient zero-knowledge proofs | 554 |
| iden3/snarkjs | A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations | 1,801 |
 matter-labs-archive/snarkygpu | A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications. | 23 |
 andrewmilson/sandstorm | A Cairo prover built on top of miniSTARK that generates proofs for computational integrity and verification of Smart Contract programs. | 158 |
 microsoft/spartan | A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support | 707 |
 ebfull/powersoftau | A multi-party computation protocol for generating secure parameters using zk-SNARKs | 141 |
 dmxlarchey/coq-kruskal | A comprehensive library of constructive Coq proofs for Kruskal's tree theorem and related concepts. | 0 |
 zeromq/zproject | Automates build environments and generates project skeletons for new classes in various languages. | 148 |
 scipr-lab/dizk | A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic. | 237 |