Skip to main content

Crate poly_commitment

Crate poly_commitment 

Source

Re-exports§

pub use commitment::PolyComm;

Modules§

combine 🔒
Batch elliptic curve algorithms based on the batch-affine principle.
commitment
This module implements Dlog-based polynomial commitment schema. The following functionality is implemented
error
hash_map_cache
ipa
IPA polynomial commitment scheme.
kzg
KZG polynomial commitment scheme (KZG10).
lagrange_basis
pbt_srs
Property-based tests for the SRS trait.
precomputed_srs
Pre-generated SRS (Structured Reference String) for proofs.
utils

Traits§

OpenProof
SRS

Type Aliases§

PolynomialsToCombine 🔒
An alias to represent a polynomial (in either coefficient or evaluation form), with a set of scalar field elements that represent the exponent of its blinder.