proof_of_sql/sql/proof/
mod.rs

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

proof_of_sql/sql/proof/
mod.rs
