En av de få saker som saknades i Lambdaworks var GKR. Vi implementerade nästan allt i utbildningssyfte. Vi måste färdigställa Circle STARKs och sedan kommer vi att göra biblioteket så snabbt som möjligt och bekvämt för ingenjörer och forskare att använda det.