Struct 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 vector commitment where the i-th vector entry 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 an opening proof of leaf i against the vector commitment string.

This struct can contain one or more queries. In cases when more than one query is stored, a batch opening proof is used in order to compress the individual opening proofs.

Internally, all opening proofs and query values are stored as a sequence of bytes. Thus, to retrieve query values and their corresponding opening proofs, parse() function should be used.

Implementations

impl Queries

pub fn new<H, E, V>( opening_proof: <V as VectorCommitment<H>>::MultiProof, query_values: Vec<Vec<E>>, ) -> Queries

where H: Hasher, E: FieldElement, V: VectorCommitment<H>,

Returns queries constructed from evaluations of a set of functions at some number of points in a domain and their corresponding batch opening proof.

For each evaluation point, the same number of values must be provided.

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<E, H, V>( self, domain_size: usize, num_queries: usize, values_per_query: usize, ) -> Result<(<V as VectorCommitment<H>>::MultiProof, Table<E>), DeserializationError>

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

Convert internally stored bytes into a set of query values and the corresponding batch opening proof.

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

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