slop-basefold

BaseFold polynomial encoding and commitment scheme.

Implements the BaseFold multilinear polynomial commitment scheme verifier.

Features

• Defines BaseFold proof struct.
• Implementation of logarithmic-time BaseFold verifier.
• Type aliases for BaseFold configurations used for testing and deployment of SP1.

References

• BaseFold Paper

Part of SLOP, the Succinct Library of Polynomials.