Efficient verifiable computation over quotient polynomial rings