Struct Input 

pub struct Input<S: Suite>(pub AffinePoint<S>);

VRF input point generic over the cipher suite.

Elliptic curve point representing the VRF input.

Tuple Fields

0: AffinePoint<S>

Implementations

impl<S: Suite> Input<S>

pub fn new(data: &[u8]) -> Option<Self>

Construct from Suite::data_to_point.

Maps arbitrary data to a curve point via hash-to-curve.

impl<S: Suite> Input<S>

pub fn from_affine(value: AffinePoint<S>) -> Result<Self, Error>

Construct from an affine point with validation.

Returns Error::InvalidData if the point is not in the prime-order subgroup or is the group identity.

Note: this only validates subgroup membership, not that the point was produced by hash-to-curve. The caller is still responsible for ensuring the point is not in a known discrete-log relation with the suite generator (required for Thin-VRF soundness).

pub fn from_affine_unchecked(value: AffinePoint<S>) -> Self

Construct from an affine point without validation.

Safety

The caller must ensure that value is in the prime-order subgroup, is not the group identity, and was produced by a hash-to-curve procedure (or is otherwise not in a known discrete-log relation with the suite generator). The latter is required for the soundness of schemes like Thin-VRF where the input and generator are delinearized into a single check.

Trait Implementations

impl<S: Suite> CanonicalDeserialize for Input<S>

fn deserialize_with_mode<R: Read>( reader: R, compress: Compress, validate: Validate, ) -> Result<Self, SerializationError>

The general deserialize method that takes in customization flags.

fn deserialize_compressed<R>(reader: R) -> Result<Self, SerializationError>

where R: Read,

Reads Self from reader using the compressed form if applicable. Performs validation if applicable.

fn deserialize_compressed_unchecked<R>( reader: R, ) -> Result<Self, SerializationError>

where R: Read,

Reads Self from reader using the compressed form if applicable, without validating the deserialized value.

fn deserialize_uncompressed<R>(reader: R) -> Result<Self, SerializationError>

where R: Read,

Reads Self from reader using the uncompressed form. Performs validation if applicable.

fn deserialize_uncompressed_unchecked<R>( reader: R, ) -> Result<Self, SerializationError>

where R: Read,

Reads Self from reader using the uncompressed form, without validating the deserialized value.

impl<S: Suite> CanonicalSerialize for Input<S>

fn serialize_with_mode<W: Write>( &self, writer: W, compress: Compress, ) -> Result<(), SerializationError>

The general serialize method that takes in customization flags.

fn serialized_size(&self, compress: Compress) -> usize

Returns the size in bytes of the serialized version of self with the given compression mode.

fn serialize_compressed<W>(&self, writer: W) -> Result<(), SerializationError>

where W: Write,

Serializes self into writer using the compressed form if applicable.

fn compressed_size(&self) -> usize

Returns the size in bytes of the compressed serialized version of self.

fn serialize_uncompressed<W>(&self, writer: W) -> Result<(), SerializationError>

where W: Write,

Serializes self into writer using the uncompressed form.

fn uncompressed_size(&self) -> usize

Returns the size in bytes of the uncompressed serialized version of self.

impl<S: Clone + Suite> Clone for Input<S>

fn clone(&self) -> Input<S>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<S: Copy + Suite> Copy for Input<S>

impl<S: Debug + Suite> Debug for Input<S>

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

Formats the value using the given formatter.

impl<S: Eq + Suite> Eq for Input<S>

impl<S: PartialEq + Suite> PartialEq for Input<S>

fn eq(&self, other: &Input<S>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<S: PartialEq + Suite> StructuralPartialEq for Input<S>

impl<S: Suite> Valid for Input<S>

fn check(&self) -> Result<(), SerializationError>

Checks whether self is valid. If self is valid, returns Ok(()). Otherwise, returns an error describing the failure. This method is called by deserialize_with_mode if validate is Validate::Yes.

const TRIVIAL_CHECK: bool = false

Whether the check method is trivial (i.e. always returns Ok(())). If this is true, the batch_check method will skip all checks and return Ok(()). This should be set to true for types where check is trivial, e.g. integers, field elements, etc. This is false by default. This is primarily an optimization to skip unnecessary checks in batch_check.

fn batch_check<'a>( batch: impl Iterator<Item = &'a Self> + Send, ) -> Result<(), SerializationError>

where Self: 'a,

Checks whether all items in batch are valid. If all items are valid, returns Ok(()). Otherwise, returns an error describing the first failure.