O sistema GKR (Representação Geométrica do Conhecimento) enfrenta limitações na prova de cálculos que exigem operações temporais "para trás" ou "lateralmente", ao contrário dos sistemas tradicionais de prova. Por exemplo, enquanto sistemas normais podem provar que y = sqrt(x) demonstrando que x = y^2, o GKR tem dificuldades com tais transformações sem compromissos adicionais de dados. Essa limitação também afeta sua compatibilidade com o SHA256, onde a eficiência do GKR é notavelmente inferior em comparação com outros hashes tradicionais, como o Poseidon.