Module structs

Structs§

ZipPlus: Zip is a Polynomial Commitment Scheme (PCS) that supports committing to multilinear polynomials.
ZipPlusCommitment: The compact commitment to a multilinear polynomial, consisting of only the Merkle roots, to be sent to the verifier.
ZipPlusHint: Full data of zip commitment to a multilinear polynomial, including encoded rows and Merkle tree, kept by the prover for the testing phase.
ZipPlusParams: Parameters for the Zip+ PCS.