proof_of_sql/sql/proof/
mod.rs

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

proof_of_sql/sql/proof/
mod.rs
