Indiferent de SNARK-uri, LFKN este una dintre cele mai mari bijuterii ale informaticii teoretice. Sumcheck și aritmeticizarea au fost un salt conceptual și tehnic masiv.