E Ben-Sasson, A Chiesa, E Tromer, M Virza - Advances in Cryptology …, 2014 - Springer
Non-interactive zero-knowledge proofs of knowledge for general NP statements are a
powerful cryptographic primitive, both in theory and in practical applications. Recently, much …