Lambdaworks に欠けていた数少ないものの 1 つは GKR でした。学習目的でほとんどすべてを実装しました。Circle STARKを完成させてから、エンジニアや研究者が使用できるライブラリをできるだけ速く快適にする必要があります。