Expand description
A crate for polynomial commitment schemes.
Re-exports§
pub use error::*;
Modules§
- error
- Errors pertaining to query sets.
- kzg10
- The core [KZG10] construction.
- optional_
rng - A random number generator that bypasses some limitations of the Rust borrow checker.
- sonic_
pc - Polynomial commitment scheme based on the construction in [KZG10], modified to obtain batching and to enforce strict degree bounds by following the approach outlined in [MBKM19, “Sonic”] (more precisely, via the variant in [Gabizon19, “AuroraLight”] that avoids negative G1 powers).