Hệ thống GKR (Biểu diễn Kiến thức Hình học) gặp hạn chế trong việc chứng minh các phép tính yêu cầu các thao tác thời gian "ngược" hoặc "ngang", không giống như các hệ thống chứng minh truyền thống. Ví dụ, trong khi các hệ thống thông thường có thể chứng minh y = căn bậc hai của x bằng cách chứng minh x = y^2, GKR gặp khó khăn với các phép biến đổi như vậy nếu không có cam kết dữ liệu bổ sung. Hạn chế này cũng ảnh hưởng đến khả năng tương thích của nó với SHA256, nơi hiệu quả của GKR thấp hơn đáng kể so với các hàm băm truyền thống khác, chẳng hạn như Poseidon.