Expand description
lcpc2d is a polynomial commitment scheme based on linear codes
Macros
Define domain separation labels for an LcEncoding trait implementation
Structs
A column opening and the corresponding Merkle path.
a commitment
An evaluation and proof of its correctness and of the low-degreeness of the commitment.
A Merkle root corresponding to a committed polynomial
An evaluation and proof of its correctness and of the low-degreeness of the commitment.
Enums
Err variant for prover operations
Err variant for verifier operations
Traits
Trait for a field element that can be hashed via digest::Digest
Trait for a linear encoding used by the polycommit
Trait representing bit size information for a field
Functions
Compute number of degree tests required for
lambda-bit security
for a code with len-length codewords over flog2-bit fieldType Definitions
result of a prover operation
result of a verifier operation