Struct ECVRFProof 

pub struct ECVRFProof {
    pub gamma: RistrettoPoint,
    pub c: Challenge,
    pub s: RistrettoScalar,
}

Fields

gamma: RistrettoPoint

c: Challenge

s: RistrettoScalar

Implementations

impl ECVRFProof

pub fn gamma_bytes(&self) -> [u8; 32]

Get the gamma component as compressed point bytes (32 bytes)

pub fn challenge_bytes(&self) -> [u8; 16]

Get the challenge component as bytes (16 bytes)

pub fn scalar_bytes(&self) -> [u8; 32]

Get the scalar component as bytes (32 bytes)

pub fn from_components( gamma_bytes: &[u8; 32], challenge_bytes: &[u8; 16], scalar_bytes: &[u8; 32], ) -> Result<Self, FastCryptoError>

Create an ECVRFProof from individual components

Parameters

• gamma_bytes: 32-byte compressed point representing gamma
• challenge_bytes: 16-byte challenge
• scalar_bytes: 32-byte scalar

Returns

Result containing the constructed proof or an error if the components are invalid

pub fn to_components(&self) -> ([u8; 32], [u8; 16], [u8; 32])

Extract all components as byte arrays for cross-verification

Returns

Tuple of (gamma_bytes, challenge_bytes, scalar_bytes)

Trait Implementations

impl Debug for ECVRFProof

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ECVRFProof

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ECVRFProof

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for ECVRFProof

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl VRFProof<64> for ECVRFProof

type PublicKey = ECVRFPublicKey

fn verify( &self, alpha_string: &[u8], public_key: &Self::PublicKey, ) -> Result<(), FastCryptoError>

Verify the correctness of this proof.

fn to_hash(&self) -> [u8; 64]

Compute the output of the VRF with this proof.

fn verify_output( &self, input: &[u8], public_key: &Self::PublicKey, output: &[u8; OUTPUT_SIZE], ) -> Result<(), FastCryptoError>

Verify the correctness of this proof and VRF output.

impl Eq for ECVRFProof

impl StructuralPartialEq for ECVRFProof