PLONK
PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge
https://www.youtube.com/watch?v=NqrVcDuQ8hM
memo
subgroup size == vector.len()
Any arithmetic circuit described via vectors can be transformed into a Langrange-base representation.