Skip to main content

proof_of_sql/sql/proof_plans/
mod.rs

1//! This module proves provable execution plans.
2mod empty_exec;
3pub use empty_exec::EmptyExec;
4
5mod table_exec;
6pub use table_exec::TableExec;
7#[cfg(all(test, feature = "blitzar"))]
8mod table_exec_test;
9
10mod projection_exec;
11pub(crate) use projection_exec::ProjectionExec;
12#[cfg(all(test, feature = "blitzar"))]
13mod projection_exec_test;
14
15#[cfg(test)]
16pub(crate) mod test_utility;
17
18mod legacy_filter_exec;
19pub(crate) use legacy_filter_exec::LegacyFilterExec;
20#[cfg(test)]
21pub(crate) use legacy_filter_exec::OstensibleLegacyFilterExec;
22#[cfg(all(test, feature = "blitzar"))]
23mod legacy_filter_exec_test;
24#[cfg(all(test, feature = "blitzar"))]
25mod legacy_filter_exec_test_dishonest_prover;
26
27mod fold_util;
28pub(crate) use fold_util::{fold_columns, fold_vals};
29#[cfg(test)]
30mod fold_util_test;
31
32mod group_by_exec;
33pub(crate) use group_by_exec::GroupByExec;
34
35#[cfg(all(test, feature = "blitzar"))]
36mod group_by_exec_test;
37
38mod filter_exec;
39pub(crate) use filter_exec::FilterExec;
40
41#[cfg(all(test, feature = "blitzar"))]
42mod filter_exec_test;
43
44mod aggregate_exec;
45pub(crate) use aggregate_exec::AggregateExec;
46pub use aggregate_exec::AggregateExecError;
47
48#[cfg(all(test, feature = "blitzar"))]
49mod aggregate_exec_test;
50
51mod slice_exec;
52pub(crate) use slice_exec::SliceExec;
53#[cfg(all(test, feature = "blitzar"))]
54mod slice_exec_test;
55
56mod union_exec;
57pub(crate) use union_exec::UnionExec;
58#[cfg(all(test, feature = "blitzar"))]
59mod union_exec_test;
60
61mod sort_merge_join_exec;
62pub use sort_merge_join_exec::SortMergeJoinExec;
63#[cfg(all(test, feature = "blitzar"))]
64mod sort_merge_join_exec_test;
65
66mod dyn_proof_plan;
67pub use dyn_proof_plan::DynProofPlan;
68
69#[cfg(test)]
70mod demo_mock_plan;