proof_of_sql/sql/proof/
mod.rs

1//! TODO: add docs
2
3mod final_round_builder;
4pub(crate) use final_round_builder::FinalRoundBuilder;
5#[cfg(all(test, feature = "blitzar"))]
6mod final_round_builder_test;
7
8mod composite_polynomial_builder;
9pub(crate) use composite_polynomial_builder::CompositePolynomialBuilder;
10#[cfg(test)]
11mod composite_polynomial_builder_test;
12
13mod verification_builder;
14pub(crate) use verification_builder::{VerificationBuilder, VerificationBuilderImpl};
15#[cfg(test)]
16mod verification_builder_test;
17
18mod provable_result_column;
19pub(crate) use provable_result_column::ProvableResultColumn;
20
21mod provable_query_result;
22pub use provable_query_result::ProvableQueryResult;
23
24mod sumcheck_mle_evaluations;
25pub(crate) use sumcheck_mle_evaluations::SumcheckMleEvaluations;
26#[cfg(test)]
27mod sumcheck_mle_evaluations_test;
28
29mod sumcheck_random_scalars;
30pub(crate) use sumcheck_random_scalars::SumcheckRandomScalars;
31
32mod proof_plan;
33pub use proof_plan::ProofPlan;
34pub(crate) use proof_plan::{HonestProver, ProverEvaluate, ProverHonestyMarker};
35
36mod query_proof;
37use query_proof::QueryProof;
38#[cfg(all(test, feature = "blitzar"))]
39mod query_proof_test;
40
41mod query_result;
42pub use query_result::{QueryData, QueryError, QueryResult};
43
44mod sumcheck_subpolynomial;
45pub(crate) use sumcheck_subpolynomial::{
46    SumcheckSubpolynomial, SumcheckSubpolynomialTerm, SumcheckSubpolynomialType,
47};
48
49mod verifiable_query_result;
50pub use verifiable_query_result::VerifiableQueryResult;
51#[cfg(all(test, feature = "blitzar"))]
52mod verifiable_query_result_test;
53
54#[cfg(all(test, feature = "blitzar"))]
55mod verifiable_query_result_test_utility;
56#[cfg(all(test, feature = "blitzar"))]
57pub(crate) use verifiable_query_result_test_utility::exercise_verification;
58
59mod result_element_serialization;
60pub(crate) use result_element_serialization::{
61    decode_and_convert, decode_multiple_elements, ProvableResultElement,
62};
63
64mod first_round_builder;
65pub(crate) use first_round_builder::FirstRoundBuilder;
66#[cfg(all(test, feature = "blitzar"))]
67mod first_round_builder_test;
68
69#[cfg(all(test, feature = "arrow"))]
70mod provable_query_result_test;
71
72mod make_sumcheck_state;
73
74mod sumcheck_term_optimizer;