Struct Proof 

pub struct Proof(pub [u8; 80]);

pi_string = Gamma || c || s.

Tuple Fields

0: [u8; 80]

Implementations

impl Proof

pub fn verify( &self, public_key: &PublicKey, alpha: &[u8], ) -> Result<Output, Error>

RFC 9381 §5.3, ECVRF_verify with validate_key = TRUE. Returns beta_string on success.

Syscall budget: 2 two-term multiscalar multiplications (U = s·B - c·Y, V = s·H - c·Gamma), 6 additions (8·H', 8·Gamma), plus one validation per try-and-increment attempt. Y and Gamma are not validated separately: the multiscalar multiplications decompress them and fail on a bad encoding, so an explicit check would only add a syscall each. The small-order check on Y is a table lookup.

Trait Implementations

impl Clone for Proof

fn clone(&self) -> Proof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Proof

impl Debug for Proof

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

Formats the value using the given formatter.

impl Eq for Proof

impl PartialEq for Proof

fn eq(&self, other: &Proof) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Proof