Однією з небагатьох речей, яких не вистачало в Lambdaworks, був GKR. Майже все ми реалізували для навчальних цілей. Нам потрібно закінчити Circle STARKs, і тоді ми зробимо бібліотеку максимально швидкою та зручною для використання інженерами та дослідниками.