Незалежно від СНАРК, LFKN є однією з найбільших перлин теоретичної інформатики. Сумчек і арифметизація стали величезним концептуальним і технічним стрибком.