Function-Specific Schemes For Verifiable Computation