STARKs: Scalable, Transparent, and post-quantum Secure Computational Integrity
https://eprint.iacr.org/2018/046