Struct ProvableQueryResult 

pub struct ProvableQueryResult { /* private fields */ }

An intermediate form of a query result that can be transformed to either the finalized query result form or a query error

Implementations

impl ProvableQueryResult

pub fn num_columns(&self) -> usize

The number of columns in the result

pub fn table_length(&self) -> usize

The number of rows in the result

pub fn new<'a, S: Scalar>( table_length: u64, columns: &'a [Column<'a, S>], ) -> Self

Form intermediate query result from index rows and result columns

Panics

Will panic if table_length is somehow larger than the length of some column which should never happen.

pub fn evaluate<S: Scalar>( &self, evaluation_point: &[S], output_length: usize, column_result_fields: &[ColumnField], ) -> Result<Vec<S>, QueryError>

Given an evaluation vector, compute the evaluation of the intermediate result columns as spare multilinear extensions

Panics

This function will panic if the length of evaluation_point does not match self.num_columns. It will also panic if the data array is not properly formatted for the expected column types.

pub fn to_owned_table<S: Scalar>( &self, column_result_fields: &[ColumnField], ) -> Result<OwnedTable<S>, QueryError>

Convert the intermediate query result into a final query result

The result is essentially an OwnedTable type.

Trait Implementations

impl Clone for ProvableQueryResult

fn clone(&self) -> ProvableQueryResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProvableQueryResult

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

Formats the value using the given formatter.

impl Default for ProvableQueryResult

fn default() -> ProvableQueryResult

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ProvableQueryResult

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<S: Scalar> From<Table<'_, S>> for ProvableQueryResult

fn from(table: Table<'_, S>) -> Self

Converts to this type from the input type.

impl Serialize for ProvableQueryResult

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.