Uma das poucas coisas que estavam em falta na Lambdaworks era o GKR. Implementámos quase tudo para fins de aprendizagem. Precisamos de terminar os Circle STARKs e depois faremos a biblioteca o mais rápida possível e confortável para engenheiros e investigadores a utilizarem.