# 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](https://eprint.iacr.org/2023/1705)

---

Part of [SLOP](https://github.com/succinctlabs/sp1/tree/dev/slop), the Succinct Library of Polynomials.
