proto-neural-zkp
Zero knowledge verification
A system to verify neural networks in zero-knowledge proofs using cryptographic techniques
Artificial intelligence and zero knowledge.
171 stars
38 watching
22 forks
Language: Rust
last commit: 5 months ago
Linked from 1 awesome list
managed-by-terraform
Related projects:
| Repository | Description | Stars |
|---|---|---|
 scipr-lab/dizk | A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic. | 237 |
 zkp-gravity/0g | A system for proving an inference pass for pre-trained neural networks on private inputs. | 40 |
 brownie/cashlib | A system for specifying and executing cryptographic operations and electronic cash protocols in a high-level language | 54 |
 zk-ml/tachikoma | Defines a standard for serializing neural network inference processes into a graph of operator computational traces. | 33 |
 veridise/picus | Automated tool for verifying uniqueness properties in zero-knowledge proof circuits | 70 |
 delendum-xyz/zk-knowledge | An online knowledge base for Zero-Knowledge Proof (ZKP) technologies and applications | 117 |
 microsoft/spartan | A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support | 707 |
 baro77/zkbasicscs | A concise introduction to Zero-Knowledge Proofs basics | 119 |
 nalinbhardwaj/zordle | A web application built using Zero-Knowledge Proof technology to verify players' knowledge of word mappings without revealing the words themselves. | 215 |
 a16z/zkdocs | A platform that enables secure and private verification of information through cryptographic commitments and zero-knowledge proofs | 309 |
| a16z/zkdrops | A system allowing users to claim tokens after providing a commitment over a public channel and later proving membership in a Merkle tree using a zero-knowledge proof. | 756 |
 privacy-scaling-explorations/chiquito | A high-level DSL for implementing zero-knowledge proof applications with structured abstractions and a focus on performance. | 189 |
 damienen/zkp-reputation-system-mvx | A system that rewards users with an NFT after completing a Zero-Knowledge Know Your Customer (KYC) process. | 1 |
 iden3/wasmsnark | A Web Assembly-based library for generating and verifying zero-knowledge proofs using zkSnark protocols | 211 |
| iden3/snarkjs | A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations | 1,801 |