Unabhängig von SNARKs ist LFKN eines der größten Juwelen der theoretischen Informatik. Sumcheck und Arithmetisierung waren ein massiver konzeptioneller und technischer Sprung.