不論是 SNARKs，LFKN 是理論計算機科學中最偉大的寶石之一。Sumcheck 和算術化是一次巨大的概念和技術飛躍。