Uma das poucas coisas que faltavam no Lambdaworks era o GKR. Implementamos quase tudo para fins de aprendizado. Precisamos terminar os STARKs do Círculo e, em seguida, tornaremos a biblioteca o mais rápido possível e confortável para engenheiros e pesquisadores usá-la.