Expand description
Prelude
Re-exports§
pub use crate::errors::PCSError;
pub use crate::multilinear_kzg::MultilinearKzgBatchProof;
pub use crate::multilinear_kzg::MultilinearKzgPCS;
pub use crate::multilinear_kzg::MultilinearKzgProof;
pub use crate::multilinear_kzg::MLE;
pub use crate::univariate_kzg::UnivariateKzgBatchProof;
pub use crate::univariate_kzg::UnivariateKzgPCS;
pub use crate::univariate_kzg::UnivariateKzgProof;
pub use crate::PolynomialCommitmentScheme;
pub use crate::StructuredReferenceString;
Structs§
- A commitment is an Affine point.
- Prover Config
- Universal Parameter
- Verifier Config
UnivariateProverParam
is used to generate a proofUniversalParams
are the universal parameters for the KZG10 scheme.UnivariateVerifierParam
is used to check evaluation proofs for a given commitment.
Functions§
- Return the number of variables that one need for an MLE to batch the list of MLEs
- merge a set of polynomials. Returns an error if the polynomials do not share a same number of nvs.