Система GKR (Геометрическое представление знаний) сталкивается с ограничениями при доказательстве вычислений, требующих "обратных" или "боковых" временных операций, в отличие от традиционных систем доказательства. Например, в то время как обычные системы могут доказать y = sqrt(x), показывая, что x = y^2, GKR испытывает трудности с такими преобразованиями без дополнительных обязательств по данным. Это ограничение также влияет на её совместимость с SHA256, где эффективность GKR заметно ниже по сравнению с другими традиционными хэшами, такими как Poseidon.