Enum DynProofPlan

pub enum DynProofPlan<C: Commitment> {
    Projection(ProjectionExec<C>),
    GroupBy(GroupByExec<C>),
    Filter(OstensibleFilterExec<C, HonestProver>),
}

The query plan for proving a query

Variants

Projection(ProjectionExec<C>)

Provable expressions for queries of the form

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

GroupBy(GroupByExec<C>)

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<C, 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>

Trait Implementations

impl<C: Debug + Commitment> Debug for DynProofPlan<C>

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

Formats the value using the given formatter.

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

where C: Deserialize<'de> + Commitment,

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<C: PartialEq + Commitment> PartialEq for DynProofPlan<C>

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

fn count( &self, builder: &mut CountBuilder<'_>, accessor: &dyn MetadataAccessor, ) -> Result<(), ProofError>

Count terms used within the Query’s proof

fn get_length(&self, accessor: &dyn MetadataAccessor) -> usize

The length of the input table

fn get_offset(&self, accessor: &dyn MetadataAccessor) -> usize

The offset of the query, that is, how many rows to skip before starting to read the input table

fn verifier_evaluate( &self, builder: &mut VerificationBuilder<'_, C>, accessor: &dyn CommitmentAccessor<C>, result: Option<&OwnedTable<C::Scalar>>, ) -> Result<Vec<C::Scalar>, 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 is_empty(&self, accessor: &dyn MetadataAccessor) -> bool

Check if the input table is empty

impl<C> Serialize for DynProofPlan<C>

where C: Serialize + Commitment,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<C: Commitment> StructuralPartialEq for DynProofPlan<C>