Module non_interactive 

Non-interactive version of the proof

Re-exports

pub use crate::Error;

pub use crate::InvalidProof;

pub use super::Aux;

pub use super::Challenge;

pub use super::Data;

pub use super::NiProof;

pub use super::PrivateData;

pub use super::SecurityParams;

Functions

challenge

Deterministically compute challenge based on prior known values in protocol

prove

Compute proof for the given data, producing random commitment and deriving determenistic challenge.

verify

Verify the proof, deriving challenge independently from same data

Derive Macros

Error