GKR(기하학적 지식 표현) 시스템은 전통적인 증명 시스템과 달리 "역방향" 또는 "측면" 시간 연산이 필요한 계산을 증명하는 데 한계가 있습니다. 예를 들어, 일반 시스템은 x = y^2를 증명함으로써 y = sqrt(x)를 증명할 수 있지만, GKR은 추가 데이터 약속 없이 이러한 변환을 수행하는 데 어려움을 겪습니다. 이러한 한계는 SHA256과의 호환성에도 영향을 미치며, GKR의 효율성은 Poseidon과 같은 다른 전통적인 해시보다 현저히 낮습니다.