zkp: a toolkit for Schnorr proofs

Henry de Valence
Mar 29 · 2 min read
define_proof! {
vrf_proof, // Name of the module for generated implementation
"VRF", // Label for the proof statement
(x), // Secret variables
(A, G, H), // Public variables unique to each proof
(B) : // Public variables common between proofs
A = (x * B), // Statements to prove
G = (x * H)
}

Using the API

[dependencies]
curve25519-dalek = "1"
zkp = "0.6"
#[macro_use]
extern crate zkp;
extern crate curve25519_dalek;

What’s next

Henry de Valence

Written by

interested in zero-knowledge, privacy, freedom, mathematics, & the number 24

Welcome to a place where words matter. On Medium, smart voices and original ideas take center stage - with no ads in sight. Watch
Follow all the topics you care about, and we’ll deliver the best stories for you to your homepage and inbox. Explore
Get unlimited access to the best stories on Medium — and support writers while you’re at it. Just $5/month. Upgrade