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 filter_exec;
19pub(crate) use filter_exec::FilterExec;
20#[cfg(test)]
21pub(crate) use filter_exec::OstensibleFilterExec;
22#[cfg(all(test, feature = "blitzar"))]
23mod filter_exec_test;
24#[cfg(all(test, feature = "blitzar"))]
25mod 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 slice_exec;
39pub(crate) use slice_exec::SliceExec;
40#[cfg(all(test, feature = "blitzar"))]
41mod slice_exec_test;
42
43mod union_exec;
44pub(crate) use union_exec::UnionExec;
45#[cfg(all(test, feature = "blitzar"))]
46mod union_exec_test;
47
48mod sort_merge_join_exec;
49pub use sort_merge_join_exec::SortMergeJoinExec;
50#[cfg(all(test, feature = "blitzar"))]
51mod sort_merge_join_exec_test;
52
53mod dyn_proof_plan;
54pub use dyn_proof_plan::DynProofPlan;
55
56#[cfg(test)]
57mod demo_mock_plan;