Module polycommit

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).