Crate zkp

Note

Docs will only build on nightly Rust until RFC 1990 stabilizes.

Modules

toolbox

Contains lower-level tools that allow programmable specification of proof statements.

Macros

define_proof

Creates a module with code required to produce a non-interactive zero-knowledge proof statement, to serialize it to wire format, to parse from wire format, and to verify the proof or batch-verify multiple proofs.

Structs

BatchableProof	A Schnorr proof in batchable format.
CompactProof	A Schnorr proof in compact format.
Transcript	A transcript of a public-coin argument.

Enums

ProofError

An error during proving or verification, such as a verification failure.