Struct sigma_fun::FiatShamir

pub struct FiatShamir<S, T> {
    pub transcript: T,
    pub sigma: S,
}

Applies the Fiat-Shamir transform to a given Sigma protocol given a Transcript.

Fields

transcript: T

The transcript

sigma: S

The sigma protocol

Implementations

impl<S: Sigma, T: Transcript<S>> FiatShamir<S, T>

pub fn new(sigma: S, transcript: T, override_name: Option<&str>) -> Self

Create a new non-interactive prover/verifier given a Sigma and a Transcript for that Sigma protocol.

pub fn prove<Rng: CryptoRng + RngCore>(
    &self,
    witness: &S::Witness,
    statement: &S::Statement,
    rng: Option<&mut Rng>
) -> CompactProof<S> where
    T: ProverTranscript<S>, 

Generates a proof given the witness, a statement and some optional additional randomness.

Optimistically, the proof should be secure without passing in rng but it is always recommended. to pass in secure system random number generator as rng.

#[must_use]pub fn verify(&self, statement: &S::Statement, proof: &CompactProof<S>) -> bool

Verifies the proof given the statement.

Trait Implementations

impl<S: Clone, T: Clone> Clone for FiatShamir<S, T>

fn clone(&self) -> FiatShamir<S, T>

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<S: Debug, T: Debug> Debug for FiatShamir<S, T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<S: Default + Sigma, T: Transcript<S> + Default> Default for FiatShamir<S, T>

fn default() -> Self

Returns the "default value" for a type.