Multilinear Proofs, Part I: Cubes & Roots

Introduction This series of posts aims to be a comprehensive collection of facts, protocols, and theorems related to the information-theoretic foundations of multilinear proof systems. By &ldquo;multilinear proof system&rdquo; we refer to a system with multilinear polynomials as the underlying &ldquo;arithmetization&rdquo; of the proof system: where satisfiability of the computation, a (RAM)…