Crate lcpc_2d

lcpc2d is a polynomial commitment scheme based on linear codes

Macros

def_labels

Define domain separation labels for an LcEncoding trait implementation

Structs

LcColumn

A column opening and the corresponding Merkle path.

LcCommit

a commitment

LcEvalProof

An evaluation and proof of its correctness and of the low-degreeness of the commitment.

LcRoot

A Merkle root corresponding to a committed polynomial

WrappedLcEvalProof

An evaluation and proof of its correctness and of the low-degreeness of the commitment.

Enums

ProverError

Err variant for prover operations

VerifierError

Err variant for verifier operations

Traits

FieldHash

Trait for a field element that can be hashed via digest::Digest

LcEncoding

Trait for a linear encoding used by the polycommit

SizedField

Trait representing bit size information for a field

Functions

n_degree_tests

Compute number of degree tests required for lambda-bit security for a code with len-length codewords over flog2-bit field

Type Aliases

ProverResult

result of a prover operation

VerifierResult

result of a verifier operation