Een van de weinige dingen die ontbraken in Lambdaworks was GKR. We hebben bijna alles geïmplementeerd voor leerdoeleinden. We moeten Circle STARKs afmaken en dan zullen we de bibliotheek zo snel mogelijk maken en comfortabel voor ingenieurs en onderzoekers om te gebruiken.