proof_of_sql/proof_primitive/
mod.rs

1//! TODO: add docs
2pub mod dory;
3/// Central location for any code that requires the use of a dynamic matrix (for now, hyrax and dynamic dory).
4pub(super) mod dynamic_matrix_utils;
5/// TODO: add docs
6pub(crate) mod sumcheck;
7
8/// An implementation of hyper-kzg PCS. This is a wrapper around nova's hyper-kzg implementation.
9#[cfg(feature = "hyperkzg")]
10pub mod hyperkzg;