Struct winter_prover::proof::Queries

pub struct Queries { /* private fields */ }

Decommitments to evaluations of a set of functions at multiple points.

Given a set of functions evaluated over a domain D, a commitment is assumed to be a Merkle tree where a leaf at position i contains evaluations of all functions at x_i. Thus, a query (i.e. a single decommitment) for position i includes evaluations of all functions at x_i, accompanied by a Merkle authentication path from the leaf i to the tree root.

This struct can contain one or more queries. In cases when more than one query is stored, Merkle authentication paths are compressed to remove redundant nodes.

Internally, all Merkle paths and query values are stored as a sequence of bytes. Thus, to retrieve query values and the corresponding Merkle authentication paths, parse() function should be used.

Implementations

impl Queries

pub fn new<H, E>( merkle_proof: BatchMerkleProof<H>, query_values: Vec<Vec<E>> ) -> Queries

where H: Hasher, E: FieldElement,

Returns queries constructed from evaluations of a set of functions at some number of points in a domain and their corresponding Merkle authentication paths.

For each evaluation point, the same number of values must be provided, and a hash of these values must be equal to a leaf node in the corresponding Merkle authentication path.

Panics

Panics if:

• No queries were provided (query_values is an empty vector).
• Any of the queries does not contain any evaluations.
• Not all queries contain the same number of evaluations.

pub fn parse<H, E>( self, domain_size: usize, num_queries: usize, values_per_query: usize ) -> Result<(BatchMerkleProof<H>, Table<E>), DeserializationError>

where E: FieldElement, H: ElementHasher<BaseField = <E as FieldElement>::BaseField>,

Convert internally stored bytes into a set of query values and the corresponding Merkle authentication paths.

Panics

Panics if:

• domain_size is not a power of two.
• num_queries is zero.
• values_per_query is zero.

Trait Implementations

impl Clone for Queries

fn clone(&self) -> Queries

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Queries

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

Formats the value using the given formatter.

impl Deserializable for Queries

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

where R: ByteReader,

Reads a query struct from the specified source and returns the result

Errors

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

fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

Attempts to deserialize the provided bytes into Self and returns the result.

impl PartialEq for Queries

fn eq(&self, other: &Queries) -> 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 Queries

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

where W: ByteWriter,

Serializes self and writes the resulting bytes into the target.

fn get_size_hint(&self) -> usize

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

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

Serializes self into a vector of bytes.

impl Eq for Queries

impl StructuralPartialEq for Queries