Una de las pocas cosas que faltaban en Lambdaworks era GKR. Implementamos casi todo con fines de aprendizaje. Necesitamos terminar Circle STARKs y luego haremos la biblioteca lo más rápida posible y cómoda para que los ingenieros y investigadores la utilicen.