Describir: Pinocchio: Nearly Practical Verifiable Computation.