New (Zero-Knowledge) Arguments and Their Applications to Verifiable Computation