Quadratic span programs and succinct nizks without pcps
Fully homomorphic encryption using ideal lattices