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