Info-Commit: Information-Theoretic Polynomial Commitment

Understand

We introduce Info-Commit, an information-theoretic protocol for polynomial commitment and verification.

• With the help of a trusted initializer, a succinct commitment to a private polynomial $f$ is provided to the user.
• The user then queries the server to obtain evaluations of $f$ at several inputs chosen by the user.
• The server provides the evaluations along with proofs of correctness which the user can verify against the initial commitment.