chiquito
ZKP DSL
A high-level DSL for implementing zero-knowledge proof applications with structured abstractions and a focus on performance.
DSL for Halo2 circuits
Archived
188 stars
11 watching
39 forks
Language: Rust
last commit: 17 days ago Related projects:
| Repository | Description | Stars |
|---|---|---|
| privacy-scaling-explorations/halo2 | A fork of the PSE halo2 project with experimental privacy-scaling features and Rust implementation. | 208 |
 microsoft/spartan | A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support | 694 |
 scipr-lab/dizk | A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic. | 234 |
 0xhackedlabs/zkprover | A Rust-based implementation of a zk proof system, enabling secure and private data verification without the need for trusted intermediaries. | 1 |
 brownie/cashlib | A system for specifying and executing cryptographic operations and electronic cash transactions in a high-level language. | 54 |
 delendum-xyz/zk-knowledge | An online knowledge base for Zero-Knowledge Proof (ZKP) technologies and applications | 117 |
 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 | 946 |
 zcash/halo2 | A cryptographic system enabling anonymous transactions in cryptocurrencies | 743 |
 jacobrosenthal/dsp-discoveryf4-rust | A Rust implementation of digital signal processing using Arm Cortex-M based microcontrollers. | 31 |
 veridise/picus | Automated tool for verifying uniqueness properties in zero-knowledge proof circuits | 70 |
 succinctlabs/sp1-reth | A proof-of-concept that demonstrates how to build a performant zkEVM using SP1 in Rust | 125 |
| 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 |
 worldcoin/proto-neural-zkp | A system to verify neural networks in zero-knowledge proofs using cryptographic techniques | 169 |
 sdiehl/bulletproofs | A cryptographic project providing a protocol for short, non-interactive zero-knowledge proofs of knowledge about committed values. | 535 |