SNARKに関係なく、LFKNは理論コンピュータサイエンスの最大の宝石の1つです。サムチェックと算術化は、概念的にも技術的にも大きな飛躍でした。