Independentemente dos SNARKs, LFKN é uma das maiores joias da ciência da computação teórica. Sumcheck e aritmética foram um enorme salto conceitual e técnico.