A toolbox for zkSNARKs on Ethereum
-
Updated
Jun 11, 2024 - Rust
A toolbox for zkSNARKs on Ethereum
Efficient Dynamic Proof of Retrievability
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.
Αccountable and privacy preserving data processing via distributed ledgers
Proof of Latency Using a Verifiable Delay Function
Verifiable Operations on Outsourced Sets
Client agent for Wholesum network
Prototype code for Expressive Designated Verifier Anonymous Credentials
Add a description, image, and links to the verifiable-computation topic page so that developers can more easily learn about it.
To associate your repository with the verifiable-computation topic, visit your repo's landing page and select "manage topics."