chiquito
DSL for Halo2 circuits
AI summary
ZKP DSL
A high-level DSL for implementing zero-knowledge proof applications with structured abstractions and a focus on performance.
- stars
- 189
- forks
- 39
- watching
- 11
Similar projects
Found by comparing what the projects do, not just their names.
Rust library
A fork of the PSE halo2 project with experimental privacy-scaling features and Rust implementation.
Zero-Knowledge Proof System
A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support
Zero-knowledge proof system
A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic.
zk verifier
A Rust-based implementation of a zk proof system, enabling secure and private data verification without the need for trusted intermediaries.
Cryptographic protocol framework
A system for specifying and executing cryptographic operations and electronic cash protocols in a high-level language
ZKP repository
An online knowledge base for Zero-Knowledge Proof (ZKP) technologies and applications
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
zcash/halo2747
Transaction anonymizer
A cryptographic system enabling anonymous transactions in cryptocurrencies
DSP software
A Rust implementation of digital signal processing using Arm Cortex-M based microcontrollers.
Circuit verifier
Automated tool for verifying uniqueness properties in zero-knowledge proof circuits
zkEVM project
A proof-of-concept that demonstrates how to build a performant zkEVM using SP1 in Rust
ZK benchmarker
A benchmarking framework for comparing the performance of different zero-knowledge proof libraries in a variety of use cases and environments.
Zero knowledge verification
A system to verify neural networks in zero-knowledge proofs using cryptographic techniques
Zero-knowledge proof library
A cryptographic project providing a protocol for short, non-interactive zero-knowledge proofs of knowledge about committed values.
