ZoKrates - Scalable Privacy-Preserving Off-Chain Computations
Quadratic span programs and succinct nizks without pcps