Provide Pi_A, Pi_B, Pi_C proofs, Eth L2 Rollup state, Halting machine definition, and RSA 2048 prime factors to begin.