Ben-Sasson, Eli and Bentov, Iddo and Horesh, Yinon and Riabzev, Michael (2018) Scalable, transparent, and post-quantum secure computational integrity. Cryptology ePrint Archive.