Part I: Statement, LDE & Commitment

Introducing the statement we will be proving and the concepts of Low Degree Extension (LDE) and commitment using Merkle tree.