​

Polynomial Commitment Scheme

This section presents the implementation of the polynomial commitment scheme in S-two, which is built on top of the FRI protocol described previously. Polynomial commitments are a core cryptographic primitive that enable a prover to commit to a polynomial and later reveal evaluations at specific points.

• Overview: Describes the polynomial commitment scheme of S-two.
• PCS Prover: Details the implementation of the prover for the polynomial commitment scheme, including commitment and opening protocol.
• PCS Verifier: Describes the verifier implementation for checking commitments and evaluation proofs.