Oavsett SNARKs är LFKN en av de största pärlorna inom teoretisk datavetenskap. Sumcheck och aritmetisering var ett enormt konceptuellt och tekniskt språng.