Module ark_poly_commit::multilinear_pc

A multilinear polynomial commitment scheme that converts n-variate multilinear polynomial into n quotient UV polynomial. This scheme is based on hardness of the discrete logarithm in prime-order groups. Construction is detailed in [XZZPD19]xzzpd19 and [[ZGKPP18]][zgkpp18]

Modules

data_structures

data structures used by multilinear extension commitment scheme

Structs

MultilinearPC

Polynomial Commitment Scheme on multilinear extensions.