Una delle poche cose che mancavano in Lambdaworks era GKR. Abbiamo implementato quasi tutto per scopi di apprendimento. Dobbiamo completare Circle STARKs e poi renderemo la libreria il più veloce possibile e comoda per ingegneri e ricercatori per utilizzarla.