Crate lox_zkp 

Note

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.