Struct snarkvm_wasm::kzg10::Randomness

pub struct Randomness<E> where
    E: PairingEngine,  {
    pub blinding_polynomial: DensePolynomial<<E as PairingEngine>::Fr>,
}

Randomness hides the polynomial inside a commitment. It is output by KZG10::commit.

Fields

blinding_polynomial: DensePolynomial<<E as PairingEngine>::Fr>

For KZG10, the commitment randomness is a random polynomial.

Implementations

impl<E> Randomness<E> where
    E: PairingEngine, 

pub fn is_hiding(&self) -> bool

Does self provide any hiding properties to the corresponding commitment? self.is_hiding() == true only if the underlying polynomial is non-zero.

pub fn calculate_hiding_polynomial_degree(hiding_bound: usize) -> usize

What is the degree of the hiding polynomial for a given hiding bound?

Trait Implementations

impl<'a, E> Add<&'a Randomness<E>> for Randomness<E> where
    E: PairingEngine, 

type Output = Randomness<E>

The resulting type after applying the + operator.

pub fn add(self, other: &'a Randomness<E>) -> Randomness<E>

Performs the + operation.

impl<'a, E> Add<(<E as PairingEngine>::Fr, &'a Randomness<E>)> for Randomness<E> where
    E: PairingEngine, 

type Output = Randomness<E>

The resulting type after applying the + operator.

pub fn add(
    self,
    other: (<E as PairingEngine>::Fr, &'a Randomness<E>)
) -> Randomness<E>

Performs the + operation.

impl<'a, E> AddAssign<&'a Randomness<E>> for Randomness<E> where
    E: PairingEngine, 

pub fn add_assign(&mut self, other: &'a Randomness<E>)

Performs the += operation.

impl<'a, E> AddAssign<(<E as PairingEngine>::Fr, &'a Randomness<E>)> for Randomness<E> where
    E: PairingEngine, 

pub fn add_assign(&mut self, (<E as PairingEngine>::Fr, &'a Randomness<E>))

Performs the += operation.

impl<E> CanonicalDeserialize for Randomness<E> where
    E: PairingEngine, 

pub fn deserialize<R>(
    reader: &mut R
) -> Result<Randomness<E>, SerializationError> where
    R: Read, 

Reads Self from reader.

pub fn deserialize_uncompressed<R>(
    reader: &mut R
) -> Result<Randomness<E>, SerializationError> where
    R: Read, 

Reads Self from reader without compression.

impl<E> CanonicalSerialize for Randomness<E> where
    E: PairingEngine, 

pub fn serialize<W>(&self, writer: &mut W) -> Result<(), SerializationError> where
    W: Write, 

Serializes self into writer.

pub fn serialized_size(&self) -> usize

pub fn serialize_uncompressed<W>(
    &self,
    writer: &mut W
) -> Result<(), SerializationError> where
    W: Write, 

Serializes self into writer without compression.

pub fn uncompressed_size(&self) -> usize

impl<E> Clone for Randomness<E> where
    E: PairingEngine, 

pub fn clone(&self) -> Randomness<E>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<E> Debug for Randomness<E> where
    E: PairingEngine, 

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

Formats the value using the given formatter.

impl<E> Default for Randomness<E> where
    E: PairingEngine, 

pub fn default() -> Randomness<E>

Returns the “default value” for a type.

impl<E> FromBytes for Randomness<E> where
    E: PairingEngine, 

pub fn read<R>(reader: R) -> Result<Randomness<E>, Error> where
    R: Read, 

Reads Self from reader.

impl<E> Hash for Randomness<E> where
    E: PairingEngine, 

pub fn hash<__HE>(&self, __state: &mut __HE) where
    __HE: Hasher, 

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl<E> PCRandomness for Randomness<E> where
    E: PairingEngine, 

pub fn empty() -> Randomness<E>

Outputs empty randomness that does not hide the commitment.

pub fn rand<R>(hiding_bound: usize, bool, rng: &mut R) -> Randomness<E> where
    R: RngCore, 

Samples randomness for commitments; num_queries specifies the number of queries that the commitment will be opened at. has_degree_bound indicates that the corresponding commitment has an enforced strict degree bound.

impl<E> PartialEq<Randomness<E>> for Randomness<E> where
    E: PairingEngine, 

pub fn eq(&self, other: &Randomness<E>) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use]

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

This method tests for !=.

impl<E> ToBytes for Randomness<E> where
    E: PairingEngine, 

pub fn write<W>(&self, writer: W) -> Result<(), Error> where
    W: Write, 

Serializes self into writer.

impl<E> Eq for Randomness<E> where
    E: PairingEngine,