Enum DynProofPlan

pub enum DynProofPlan {
    Empty(EmptyExec),
    Table(TableExec),
    Projection(ProjectionExec),
    GroupBy(GroupByExec),
    Filter(OstensibleFilterExec<HonestProver>),
    Slice(SliceExec),
    Union(UnionExec),
    SortMergeJoin(SortMergeJoinExec),
}

The query plan for proving a query

Variants

Empty(EmptyExec)

Source ProofPlan for (sub)queries without table source such as SELECT "No table here" as msg;

Table(TableExec)

Source ProofPlan for (sub)queries with table source such as SELECT col from tab;

Projection(ProjectionExec)

Provable expressions for queries of the form

    SELECT <result_expr1>, ..., <result_exprN> FROM <table>

GroupBy(GroupByExec)

Provable expressions for queries of the form

    SELECT <group_by_expr1>, ..., <group_by_exprM>,
        SUM(<sum_expr1>.0) as <sum_expr1>.1, ..., SUM(<sum_exprN>.0) as <sum_exprN>.1,
        COUNT(*) as count_alias
    FROM <table>
    WHERE <where_clause>
    GROUP BY <group_by_expr1>, ..., <group_by_exprM>

Filter(OstensibleFilterExec<HonestProver>)

Provable expressions for queries of the form, where the result is sent in a dense form

    SELECT <result_expr1>, ..., <result_exprN> FROM <table> WHERE <where_clause>

Slice(SliceExec)

ProofPlan for queries of the form

    <ProofPlan> LIMIT <fetch> [OFFSET <skip>]

Union(UnionExec)

ProofPlan for queries of the form

    <ProofPlan>
    UNION ALL
    <ProofPlan>
    ...
    UNION ALL
    <ProofPlan>

SortMergeJoin(SortMergeJoinExec)

ProofPlan for queries of the form

    <ProofPlan> INNER JOIN <ProofPlan>
    ON col1 = col2

Trait Implementations

impl Clone for DynProofPlan

fn clone(&self) -> DynProofPlan

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for DynProofPlan

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DynProofPlan

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<EmptyExec> for DynProofPlan

fn from(v: EmptyExec) -> DynProofPlan

Converts to this type from the input type.

impl From<TableExec> for DynProofPlan

fn from(v: TableExec) -> DynProofPlan

Converts to this type from the input type.

impl PartialEq for DynProofPlan

fn eq(&self, other: &DynProofPlan) -> 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 ProofPlan for DynProofPlan

fn verifier_evaluate<S: Scalar>( &self, __enum_dispatch_arg_0: &mut impl VerificationBuilder<S>, __enum_dispatch_arg_1: &IndexMap<ColumnRef, S, BuildHasherDefault<AHasher>>, __enum_dispatch_arg_2: Option<&OwnedTable<S>>, __enum_dispatch_arg_3: &IndexMap<TableRef, S, BuildHasherDefault<AHasher>>, ) -> Result<TableEvaluation<S>, ProofError>

Form components needed to verify and proof store into VerificationBuilder

fn get_column_result_fields(&self) -> Vec<ColumnField>

Return all the result column fields

fn get_column_references( &self, ) -> IndexSet<ColumnRef, BuildHasherDefault<AHasher>>

Return all the columns referenced in the Query

fn get_table_references( &self, ) -> IndexSet<TableRef, BuildHasherDefault<AHasher>>

Return all the tables referenced in the Query

impl Serialize for DynProofPlan

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TryInto<EmptyExec> for DynProofPlan

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<EmptyExec, <Self as TryInto<EmptyExec>>::Error>

Performs the conversion.

impl TryInto<TableExec> for DynProofPlan

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<TableExec, <Self as TryInto<TableExec>>::Error>

Performs the conversion.

impl StructuralPartialEq for DynProofPlan