Module snarkvm_algorithms::polycommit

source · [−]
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).