Type Alias proof_of_sql::base::commitment::QueryCommitments

pub type QueryCommitments<C> = HashMap<TableRef, TableCommitment<C>>;

The commitments for all of the tables in a query.

Simply maps table refs to table commitments, and implements the following traits…

• MetadataAccessor
• CommitmentAccessor
• SchemaAccessor

Aliased Type

struct QueryCommitments<C> { /* private fields */ }

Trait Implementations

impl<C> CommitmentAccessor<<Vec<C> as VecCommitmentExt>::DecompressedCommitment> for QueryCommitments<C>

where Vec<C>: VecCommitmentExt,

fn get_commitment( &self, column: ColumnRef, ) -> <Vec<C> as VecCommitmentExt>::DecompressedCommitment

Return the full table column commitment

impl<C> MetadataAccessor for QueryCommitments<C>

where Vec<C>: VecCommitmentExt,

fn get_length(&self, table_ref: TableRef) -> usize

Return the data span’s length in the table (not the full table length)

fn get_offset(&self, table_ref: TableRef) -> usize

Return the data span’s offset in the table

impl<C> QueryCommitmentsExt<C> for QueryCommitments<C>

where Vec<C>: VecCommitmentExt, <Vec<C> as VecCommitmentExt>::DecompressedCommitment: Into<C>,

fn from_accessor_with_max_bounds( columns: impl IntoIterator<Item = ColumnRef>, accessor: &impl CommitmentAccessor<<Vec<C> as VecCommitmentExt>::DecompressedCommitment>, ) -> Self

Create a new QueryCommitments from a collection of columns and an accessor.

impl<C> SchemaAccessor for QueryCommitments<C>

where Vec<C>: VecCommitmentExt,

fn lookup_column( &self, table_ref: TableRef, column_id: Identifier, ) -> Option<ColumnType>

Lookup the column’s data type in the specified table

fn lookup_schema(&self, table_ref: TableRef) -> Vec<(Identifier, ColumnType)>

Lookup all the column names and their data types in the specified table