Publicly Auditable Secure Multi-Party Computation
Quadratic span programs and succinct nizks without pcps