Indipendentemente dagli SNARK, LFKN è uno dei più grandi gioielli della scienza informatica teorica. Il Sumcheck e l'aritmetizzazione sono stati un enorme salto concettuale e tecnico.