¡Posible gran error en la implementación que acabamos de lanzar de GKR a lambdaworks! Acabo de pedir al equipo que lo revise y se asegure de que no la hemos cagado :D.
944