Struct winter_air::proof::Commitments

pub struct Commitments(_);

Commitments made by the prover during commit phase of the protocol.

These commitments include:

• Commitment to the extended execution trace, which may include commitments to one or more execution trace segments.
• Commitment to the evaluations of constraint composition polynomial over LDE domain.
• Commitments to the evaluations of polynomials at all FRI layers.

Internally, the commitments are stored as a sequence of bytes. Thus, to retrieve the commitments, parse() function should be used.

Implementations

impl Commitments

pub fn new<H: Hasher>(
    trace_roots: Vec<H::Digest>,
    constraint_root: H::Digest,
    fri_roots: Vec<H::Digest>
) -> Self

Returns a new Commitments struct initialized with the provided commitments.

pub fn add<H: Hasher>(&mut self, commitment: &H::Digest)

Adds the specified commitment to the list of commitments.

pub fn parse<H: Hasher>(
    self,
    num_trace_segments: usize,
    num_fri_layers: usize
) -> Result<(Vec<H::Digest>, H::Digest, Vec<H::Digest>), DeserializationError>

Parses the serialized commitments into distinct parts.

The parts are (in the order in which they appear in the tuple):

1. Extended execution trace commitments.
2. Constraint composition polynomial evaluation commitment.
3. FRI layer commitments.

Errors

Returns an error if the bytes stored in self could not be parsed into the requested number of commitments, or if there are any unconsumed bytes remaining after the parsing completes.

Trait Implementations

impl Clone for Commitments

fn clone(&self) -> Commitments

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Commitments

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

Formats the value using the given formatter.

impl Default for Commitments

fn default() -> Commitments

Returns the “default value” for a type.

impl Deserializable for Commitments

fn read_from<R: ByteReader>(
    source: &mut R
) -> Result<Self, DeserializationError>

Reads commitments from the specified source and returns the result.

Errors

Returns an error of a valid Commitments struct could not be read from the specified source.

fn read_batch_from<R>(
    source: &mut R,
    num_elements: usize
) -> Result<Vec<Self, Global>, DeserializationError>where
    R: ByteReader,

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into a vector with the specified number of Self elements, and returns the result.

impl PartialEq<Commitments> for Commitments

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

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

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

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

impl Serializable for Commitments

fn write_into<W: ByteWriter>(&self, target: &mut W)

Serializes self and writes the resulting bytes into the target.

fn to_bytes(&self) -> Vec<u8, Global>

Serializes self into a vector of bytes.

fn write_batch_into<W>(source: &[Self], target: &mut W)where
    W: ByteWriter,

Serializes all elements of the source and writes these bytes into the target.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl Eq for Commitments

impl StructuralEq for Commitments

impl StructuralPartialEq for Commitments