SuccinctMCSP witness-class packaging -- definitions

This layer combines canonical instance decoding, normalized raw-circuit verification, and the explicit polynomial code cap into one executable Boolean checker. The later class theorem remains parameterized by a proof that the paired checker language is in P; executability alone is not a machine time bound.

def Complexity.SuccinctMCSP.verifyRawWitness (bits witness : List Bool) : Bool

Executable checker for the complete normalized raw witness relation.

Equations

• One or more equations did not get rendered due to their size.