Struct TableTestAccessor

pub struct TableTestAccessor<'a, CP: CommitmentEvaluationProof> { /* private fields */ }

A test accessor that uses Table as the underlying table type. Note: this is intended for testing and examples. It is not optimized for performance, so should not be used for benchmarks or production use-cases.

Implementations

impl<'a, CP: CommitmentEvaluationProof> TableTestAccessor<'a, CP>

pub fn new_empty_with_setup(setup: CP::ProverPublicSetup<'a>) -> Self

Create a new empty test accessor with the given setup.

pub fn new_from_table( table_ref: TableRef, table: Table<'a, CP::Scalar>, offset: usize, setup: CP::ProverPublicSetup<'a>, ) -> Self

Create a new test accessor containing the provided table.

Trait Implementations

impl<CP: CommitmentEvaluationProof> Clone for TableTestAccessor<'_, CP>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<CP: CommitmentEvaluationProof> CommitmentAccessor<<CP as CommitmentEvaluationProof>::Commitment> for TableTestAccessor<'_, CP>

Panics

Will panic if the column.table_ref() is not found in self.tables, or if the column.column_id() is not found in the inner table for that reference,indicating that an invalid column reference was provided.

fn get_commitment(&self, column: ColumnRef) -> CP::Commitment

Return the full table column commitment

impl<'a, CP: CommitmentEvaluationProof> DataAccessor<<CP as CommitmentEvaluationProof>::Scalar> for TableTestAccessor<'a, CP>

Panics

Will panic if the column.table_ref() is not found in self.tables, or if the column.column_id() is not found in the inner table for that reference, indicating that an invalid column reference was provided.

fn get_column(&self, column: ColumnRef) -> Column<'a, CP::Scalar>

Return the data span in the table (not the full-table data)

fn get_table( &self, table_ref: TableRef, column_refs: &IndexSet<ColumnRef, BuildHasherDefault<AHasher>>, ) -> Table<'_, S>

Creates a new Table from a TableRef and ColumnRefs.

impl<CP: CommitmentEvaluationProof> Default for TableTestAccessor<'_, CP>

fn default() -> Self

Returns the “default value” for a type.

impl<CP: CommitmentEvaluationProof> MetadataAccessor for TableTestAccessor<'_, CP>

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

Panics

Will panic if the table_ref is not found in self.tables, indicating that an invalid reference was provided.

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

Panics

Will panic if the table_ref is not found in self.tables, indicating that an invalid reference was provided.

impl<CP: CommitmentEvaluationProof> SchemaAccessor for TableTestAccessor<'_, CP>

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

Panics

Will panic if the table_ref is not found in self.tables, indicating that an invalid reference was provided.

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

Lookup the column’s data type in the specified table

impl<'a, CP: CommitmentEvaluationProof> TestAccessor<<CP as CommitmentEvaluationProof>::Commitment> for TableTestAccessor<'a, CP>

fn get_column_names(&self, table_ref: TableRef) -> Vec<&str>

Panics

Will panic if the table_ref is not found in self.tables, indicating that an invalid reference was provided.

fn update_offset(&mut self, table_ref: TableRef, new_offset: usize)

Panics

Will panic if the table_ref is not found in self.tables, indicating that an invalid reference was provided.

type Table = Table<'a, <CP as CommitmentEvaluationProof>::Scalar>

The table type that the accessor will accept in the add_table method, and likely the inner table type.

fn new_empty() -> Self

Create an empty test accessor

fn add_table( &mut self, table_ref: TableRef, data: Self::Table, table_offset: usize, )

Add a new table to the current test accessor