Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updatable SRSgithub.com/adjoint-io5 pointsacentelles7 years ago