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".

Implementors

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