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;
46
47#[cfg(all(test, feature = "blitzar"))]
48mod aggregate_exec_test;
49
50mod slice_exec;
51pub(crate) use slice_exec::SliceExec;
52#[cfg(all(test, feature = "blitzar"))]
53mod slice_exec_test;
54
55mod union_exec;
56pub(crate) use union_exec::UnionExec;
57#[cfg(all(test, feature = "blitzar"))]
58mod union_exec_test;
59
60mod sort_merge_join_exec;
61pub use sort_merge_join_exec::SortMergeJoinExec;
62#[cfg(all(test, feature = "blitzar"))]
63mod sort_merge_join_exec_test;
64
65mod dyn_proof_plan;
66pub use dyn_proof_plan::DynProofPlan;
67
68#[cfg(test)]
69mod demo_mock_plan;