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

Implementations

impl DynProofPlan

pub fn new_empty() -> Self

Creates a new empty plan.

pub fn new_table(table_ref: TableRef, schema: Vec<ColumnField>) -> Self

Creates a new table plan.

pub fn new_projection( aliased_results: Vec<AliasedDynProofExpr>, input: DynProofPlan, ) -> Self

Creates a new projection plan.

pub fn new_filter( aliased_results: Vec<AliasedDynProofExpr>, input: TableExpr, filter_expr: DynProofExpr, ) -> Self

Creates a new filter plan.

pub fn new_group_by( group_by_exprs: Vec<ColumnExpr>, sum_expr: Vec<AliasedDynProofExpr>, count_alias: Ident, table: TableExpr, where_clause: DynProofExpr, ) -> Self

Creates a new group by plan.

pub fn new_slice(input: DynProofPlan, skip: usize, fetch: Option<usize>) -> Self

Creates a new slice plan.

pub fn try_new_union(inputs: Vec<DynProofPlan>) -> AnalyzeResult<Self>

Creates a new union plan.

Trait Implementations

impl Clone for DynProofPlan

fn clone(&self) -> DynProofPlan

Returns a duplicate 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<SortMergeJoinExec> for DynProofPlan

fn from(v: SortMergeJoinExec) -> 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<TableRef, IndexMap<Ident, S, BuildHasherDefault<AHasher>>, BuildHasherDefault<AHasher>>, __enum_dispatch_arg_2: Option<&OwnedTable<S>>, __enum_dispatch_arg_3: &IndexMap<TableRef, (S, usize), BuildHasherDefault<AHasher>>, __enum_dispatch_arg_4: &[LiteralValue], ) -> 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<SortMergeJoinExec> for DynProofPlan

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into( self, ) -> Result<SortMergeJoinExec, <Self as TryInto<SortMergeJoinExec>>::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