Repository navigation
verifiable-computation
- Website
- Wikipedia
A toolbox for zkSNARKs on Ethereum
A curated list of awesome projects and resources related to AVS development and EigenLayer.
Monorepo for Boundless, the universal ZK protocol.
A lattice-based non-interactive folding scheme written in Rust
Privacy-Preserving Verifiable Neural Network Inference Service
Prototype code and helpers for the Zero-Knowledge Control-Flow Attestation (ZEKRA) protocol
An encyclopedia of Zero Knowledge Proof. Also for recording my personal researches in Verifiable Computing and Zero Knowledge Proof area.
A simple and secure Verifiable Random Function (VRF) implementation for the Fuel Network.
Zero-Knowledge AI Inference with High Precision
An IoT Management System for registering IoT devices, communicating via the MQTT protocol, managing users, and more.
Αccountable and privacy preserving data processing via distributed ledgers
Proof of Latency Using a Verifiable Delay Function
Verifiable Operations on Outsourced Sets
Experimenting with lightweight verifiable encryption with Succinct SP1
Experimenting with lightweight verifiable encryption with RISC Zero
Reference implementation of the Pinccohio zk proof system
Prototype code for Expressive Designated Verifier Anonymous Credentials