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
A simple and secure Verifiable Random Function (VRF) implementation for the Fuel Network.
An encyclopedia of Zero Knowledge Proof. Also for recording my personal researches in Verifiable Computing and Zero Knowledge Proof area.
#计算机科学#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
#安全#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