Struct OwnedTableTestAccessor 

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

A test accessor that uses OwnedTable 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> OwnedTableTestAccessor<'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, owned_table: OwnedTable<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 OwnedTableTestAccessor<'_, CP>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

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

Panics

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

fn get_commitment( &self, table_ref: &TableRef, column_id: &Ident, ) -> CP::Commitment

Return the full table column commitment

impl<CP: CommitmentEvaluationProof> DataAccessor<<CP as CommitmentEvaluationProof>::Scalar> for OwnedTableTestAccessor<'_, CP>

Panics

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

fn get_column( &self, table_ref: &TableRef, column_id: &Ident, ) -> Column<'_, CP::Scalar>

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

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

Creates a new Table from a TableRef and Idents.

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

fn default() -> Self

Returns the “default value” for a type.

impl<CP: CommitmentEvaluationProof> MetadataAccessor for OwnedTableTestAccessor<'_, 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 OwnedTableTestAccessor<'_, 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<CP: CommitmentEvaluationProof> TestAccessor<<CP as CommitmentEvaluationProof>::Commitment> for OwnedTableTestAccessor<'_, 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 = OwnedTable<<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