SNARKeista riippumatta LFKN on yksi teoreettisen tietojenkäsittelytieteen suurimmista helmistä. Sumcheck ja aritmetisointi olivat valtava käsitteellinen ja tekninen harppaus.