在Lambdaworks中缺少的幾樣東西之一就是GKR。我們幾乎實現了所有的學習目的。我們需要完成Circle STARKs，然後我們將使這個庫變得盡可能快速，並讓工程師和研究人員使用起來更加舒適。