Unul dintre puținele lucruri care lipseau în Lambdaworks era GKR. Am implementat aproape totul în scopuri de învățare. Trebuie să terminăm Circle STARKs și apoi vom face biblioteca cât mai rapidă posibil și confortabilă pentru ingineri și cercetători.