ZoKrates
zk proof library
Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain
A toolbox for zkSNARKs on Ethereum
2k stars
41 watching
364 forks
Language: Rust
last commit: about 1 year ago
Linked from 6 awesome lists
ethereumlanguagesnarkverifiable-computationzero-knowledgezksnarks
chaozh/awesome-blockchain-cn
offciercia/defi-developer-road-map
matter-labs/awesome-zero-knowledge-proofs
ventali/awesome-zk
pirapira/awesome-ethereum-virtual-machine
pest-parser/awesome-pestRelated projects:
| Repository | Description | Stars |
|---|---|---|
 luozhuzhang/zkps-circuit-snark | A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications. | 61 |
 matter-labs-archive/snarkygpu | A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications. | 23 |
 zk-ml/linear-regression-demo | Verifies the accuracy of a private machine learning model on Ethereum using a zk-SNARK proof | 214 |
 iden3/snarkjs | A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations | 1,801 |
 jstoxrocky/zksnarks_example | A practical tutorial on creating and verifying zkSNARKs in contracts | 296 |
 baro77/zkbasicscs | A concise introduction to Zero-Knowledge Proofs basics | 119 |
 zkcrypto/bellman | A crate for building and implementing zk-SNARK circuits | 1,031 |
 zk-garage/plonk | A Rust implementation of PLONK proving system with optimized performance and genericity for curve types | 295 |
 ebfull/powersoftau | A multi-party computation protocol for generating secure parameters using zk-SNARKs | 141 |
 microsoft/spartan | A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support | 707 |
 o1-labs/o1js | An evolution of SnarkyJS, providing a toolkit for building zero-knowledge-enabled applications using zk-SNARKs and zkApps in TypeScript. | 540 |
 delendum-xyz/zk-benchmarking | A benchmarking framework for comparing the performance of different zero-knowledge proof libraries in a variety of use cases and environments. | 128 |
 nalinbhardwaj/zordle | A web application built using Zero-Knowledge Proof technology to verify players' knowledge of word mappings without revealing the words themselves. | 215 |
 coder5876/libsnark-tutorial | A tutorial and example code project for creating zk-SNARKs using the libsnark software library | 191 |
 ddkang/zkml | A framework for constructing proofs of ML model execution in ZK-SNARKs | 349 |