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