El sistema GKR (Representación Geométrica del Conocimiento) enfrenta limitaciones para demostrar cálculos que requieren operaciones de tiempo "hacia atrás" o "laterales", a diferencia de los sistemas tradicionales de prueba. Por ejemplo, mientras que los sistemas normales pueden probar que y = sqrt(x) demostrando que x = y^2, GKR tiene dificultades con tales transformaciones sin compromisos adicionales de datos. Esta limitación también afecta su compatibilidad con SHA256, donde la eficiencia de GKR es notablemente inferior en comparación con otros hashes tradicionales, como Poseidon.