GKR（幾何学的知識表現）システムは、従来の証明システムとは異なり、「逆方向」や「横方向」の時間操作を必要とする計算の証明に制限があります。例えば、通常のシステムは y = (x) を x = y^2 と示すことで証明できますが、GKRは追加のデータコミットメントなしにはこのような変換に苦労します。この制限はSHA256との互換性にも影響を及ぼし、GKRの効率はPoseidonなどの他の従来のハッシュと比べて著しく低くなっています。