Zerocash: Decentralized Anonymous Payments from Bitcoin
Quadratic span programs and succinct nizks without pcps