Module linear_codes

Scheme based on the Ligero construction in [Ligero]ligero.

Structs

BrakedownPCParams

The public parameters for Brakedown PCS.

LigeroPCParams

The public parameters for Ligero PCS.

LinCodePCProof

The Proof type for linear code PCS, which amounts to an array of individual proofs

LinearCodePCS

Any linear-code-based commitment scheme.

MultilinearBrakedown

The multilinear Brakedown polynomial commitment scheme based on [Brakedown]. The scheme defaults to the naive batching strategy.

MultilinearLigero

The multilinear Ligero polynomial commitment scheme based on [Ligero]ligero. The scheme defaults to the naive batching strategy.

UnivariateLigero

The univariate Ligero polynomial commitment scheme based on [Ligero]ligero. The scheme defaults to the naive batching strategy.

Traits

LinCodeParametersInfo

For linear code PC schemes, the universal paramters, committer key and verifier key are all the same. This trait abstracts the common information contained in these.

LinearEncode

A trait for linear codes.