Indépendamment des SNARKs, LFKN est l'un des plus grands joyaux de l'informatique théorique. Le Sumcheck et l'arithmétisation ont constitué un immense bond conceptuel et technique.