Independientemente de los SNARK, LFKN es una de las mayores joyas de la informática teórica. El control de suma y la aritmética fueron un salto conceptual y técnico masivo.