Skip to main content

Prover

ark_vrf::thin

Trait Prover 

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

Trait for types that can generate Thin VRF proofs.

Required Methods§

Source

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§