L'une des rares choses qui manquaient dans Lambdaworks était GKR. Nous avons implémenté presque tout à des fins d'apprentissage. Nous devons terminer les Circle STARKs et ensuite nous rendrons la bibliothèque aussi rapide que possible et confortable pour les ingénieurs et les chercheurs.