Niezależnie od SNARK-ów, LFKN jest jednym z największych skarbów teoretycznej informatyki. Sumcheck i arytmetyzacja były ogromnym skokiem koncepcyjnym i technicznym.