zkml
by ddkang
AI summary
Proof generator
A framework for constructing proofs of ML model execution in ZK-SNARKs
- stars
- 349
- forks
- 39
- watching
- 13
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Zero-knowledge proof generator
A Web Assembly-based library for generating and verifying zero-knowledge proofs using zkSnark protocols
ZK proof game
A web application built using Zero-Knowledge Proof technology to verify players' knowledge of word mappings without revealing the words themselves.
Inference engine
An engine for doing inference on deep learning models and computational graphs in a ZKML proof system
ML ZK demo
A demo project that integrates machine learning and zero-knowledge proof verification in a web application using TypeScript.
zk proof library
Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain
zk-prover
A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications.
Proof system
A Rust implementation of a secure cryptographic system for efficient zero-knowledge proofs
iden3/snarkjs1.8K
Zero-knowledge computation library
A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations
zkSNARK prover
A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications.
Proof generator
A Cairo prover built on top of miniSTARK that generates proofs for computational integrity and verification of Smart Contract programs.
Zero-Knowledge Proof System
A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support
Zk-SNARK generator
A multi-party computation protocol for generating secure parameters using zk-SNARKs
Kruskal proof library
A comprehensive library of constructive Coq proofs for Kruskal's tree theorem and related concepts.
Project generator
Automates build environments and generates project skeletons for new classes in various languages.
Zero-knowledge proof system
A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions zkml.
