One of the few things that were missing in Lambdaworks was GKR. We implemented almost everything for learning purposes. We need to finish Circle STARKs and then we will make the library as fast as possible and comfy for engineers and researchers to use it.