Student Project -- Verifiable Computation Archived