PLONK: Permutations over LAgrange-bases for Oecumenical Noninteractive arguments of Knowledge
https://eprint.iacr.org/2019/953