We are building Pi Squared, a universal proof system solution to efficiently and correctly verify the execution of any program in any programming or virtual machine (VM) language.