proof_of_sql/proof_primitive/
mod.rs

1//! This module contains cryptographic proof primitives used in the proof system.
2//!
3//! It includes commitment schemes, sumcheck protocols, and inner product arguments
4//! that form the building blocks for zero-knowledge proofs.
5pub mod dory;
6/// Central location for any code that requires the use of a dynamic matrix (for now, hyrax and dynamic dory).
7pub(super) mod dynamic_matrix_utils;
8/// Module implementing the sumcheck protocol for polynomial evaluation proofs.
9pub(crate) mod sumcheck;
10
11pub mod hyperkzg;
12
13/// Module for inner product argument proofs used in commitment verification.
14pub mod inner_product;