pub type BasicTensorPCS<U, F, FA, FE, LC, H, VCS> = TensorPCS<U, F, FA, F, FE, LC, H, VCS>;
Expand description

The basic multilinear polynomial commitment scheme from DP23.

The basic scheme follows Construction 3.7. In this case, the encoding alphabet is a subfield of the polynomial’s coefficient field.

Aliased Type§

struct BasicTensorPCS<U, F, FA, FE, LC, H, VCS> { /* private fields */ }