Paper Title
Verifying Delegated Computation Through Input Verifiability

Abstract