Struct Randomness 

pub struct Randomness<F: PrimeField, P: DenseUVPolynomial<F>> {
    pub rand: Randomness<F, P>,
    pub shifted_rand: Option<Randomness<F, P>>,
}

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

Fields

rand: Randomness<F, P>

Commitment randomness for a KZG10 commitment.

shifted_rand: Option<Randomness<F, P>>

Commitment randomness for a KZG10 commitment to the shifted polynomial. This is None if the committed polynomial does not enforce a strict degree bound.

Trait Implementations

impl<'a, F: PrimeField, P: DenseUVPolynomial<F>> Add<&'a Randomness<F, P>> for Randomness<F, P>

type Output = Randomness<F, P>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'a, F: PrimeField, P: DenseUVPolynomial<F>> Add<(F, &'a Randomness<F, P>)> for Randomness<F, P>

type Output = Randomness<F, P>

The resulting type after applying the + operator.

fn add(self, other: (F, &'a Randomness<F, P>)) -> Self

Performs the + operation.

impl<'a, F: PrimeField, P: DenseUVPolynomial<F>> AddAssign<&'a Randomness<F, P>> for Randomness<F, P>

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

Performs the += operation.

impl<'a, F: PrimeField, P: DenseUVPolynomial<F>> AddAssign<(F, &'a Randomness<F, P>)> for Randomness<F, P>

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

Performs the += operation.

impl<F: PrimeField, P: DenseUVPolynomial<F>> CanonicalDeserialize for Randomness<F, P>

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<F: PrimeField, P: DenseUVPolynomial<F>> CanonicalSerialize for Randomness<F, P>

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<F: PrimeField, P: DenseUVPolynomial<F>> Clone for Randomness<F, P>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: PrimeField, P: DenseUVPolynomial<F>> Debug for Randomness<F, P>

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

Formats the value using the given formatter.

impl<F: PrimeField, P: DenseUVPolynomial<F>> Hash for Randomness<F, P>

fn hash<__HFP>(&self, __state: &mut __HFP)

where __HFP: Hasher,

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<F: PrimeField, P: DenseUVPolynomial<F>> PCCommitmentState for Randomness<F, P>

type Randomness = Randomness<F, P>

This is the type of Randomness that the rand method returns

fn empty() -> Self

Outputs empty randomness that does not hide the commitment.

fn rand<R: RngCore>( hiding_bound: usize, has_degree_bound: bool, _: Option<usize>, 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 num_vars specifies the number of variables for multivariate commitment. strict degree bound.

impl<F: PrimeField, P: DenseUVPolynomial<F>> PartialEq for Randomness<F, P>

fn eq(&self, other: &Self) -> 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<F: PrimeField, P: DenseUVPolynomial<F>> Valid for Randomness<F, P>

const TRIVIAL_CHECK: bool

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 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.

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.

impl<F: PrimeField, P: DenseUVPolynomial<F>> Eq for Randomness<F, P>