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 que la biblioteca sea lo más rápida y cómoda posible para que los ingenieros e investigadores la usen.