Das GKR-System (Geometric Knowledge Representation) stößt bei der Verifikation von Berechnungen, die "rückwärts" oder "seitwärts" gerichtete Zeitoperationen erfordern, an seine Grenzen, im Gegensatz zu traditionellen Verifikationssystemen. Beispielsweise können normale Systeme y = sqrt(x) beweisen, indem sie zeigen, dass x = y^2 gilt, während GKR ohne zusätzliche Datenverpflichtungen Schwierigkeiten mit solchen Transformationen hat. Diese Einschränkung wirkt sich auch auf die Kompatibilität mit SHA256 aus, wobei die Effizienz von GKR im Vergleich zu anderen traditionellen Hashes wie Poseidon deutlich geringer ist.