Trait Prover 

pub trait Prover<S: TinySuite> {
    // Required method
    fn prove(
        &self,
        ios: impl AsRef<[VrfIo<S>]>,
        ad: impl AsRef<[u8]>,
    ) -> Proof<S>;
}

Trait for types that can generate Tiny VRF proofs.

Required Methods

fn prove(&self, ios: impl AsRef<[VrfIo<S>]>, ad: impl AsRef<[u8]>) -> Proof<S>

Generate a proof for the given VRF I/O pairs and additional data.

Multiple I/O pairs are delinearized into a single merged pair before proving.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<S: TinySuite> Prover<S> for Secret<S>