Struct snarkvm_polycommit::kzg10::Randomness

pub struct Randomness<E: PairingEngine> {
    pub blinding_polynomial: Polynomial<E::Fr>,
}

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

Fields

blinding_polynomial: Polynomial<E::Fr>

For KZG10, the commitment randomness is a random polynomial.

Implementations

impl<E: PairingEngine> Randomness<E>

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: PairingEngine> Add<&'a Randomness<E>> for Randomness<E>

type Output = Self

The resulting type after applying the + operator.

fn add(mut self: Self, other: &'a Self) -> Self

Performs the + operation.

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

type Output = Self

The resulting type after applying the + operator.

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

Performs the + operation.

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

fn add_assign(&mut self, other: &'a Self)

Performs the += operation.

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

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

Performs the += operation.

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

fn deserialize<R: Read>(reader: &mut R) -> Result<Self, SerializationError>

Reads Self from reader.

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

Reads Self from reader without compression.

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

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

Serializes self into writer.

fn serialized_size(&self) -> usize

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

Serializes self into writer without compression.

fn uncompressed_size(&self) -> usize

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

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

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

fn default() -> Self

Returns the "default value" for a type.

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

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

fn read<R: Read>(mut reader: R) -> Result<Self>

Reads Self from reader.

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

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

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

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

fn empty() -> Self

Outputs empty randomness that does not hide the commitment.

fn rand<R: RngCore>(hiding_bound: usize, _: bool, rng: &mut R) -> Self

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: PairingEngine> PartialEq<Randomness<E>> for Randomness<E>

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

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

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

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

fn write<W: Write>(&self, mut writer: W) -> Result<()>

Serializes self into writer.