Pinocchio : Nearly Practical Verifiable Computation
Quadratic span programs and succinct nizks without pcps