По информации У, основатель Ethereum Виталик Бутерин опубликовал статью, в которой представил протокол GKR, семейство протоколов, позволяющих многим системам доказательства достигать высокой скорости. GKR является核心-протоколом для реализации быстрых доказательств, таких как ZK-EVM и zk-ML, адаптированных для вычислений «многослойной низкоуровневой обработки + большого количества повторяющихся функций» (например, хеширование, нейронные сети), не требуя обязательств по промежуточным слоям, а только по входным и выходным данным, что значительно повышает эффективность. За счет уменьшения объема вычислений на каждом раунде проверки суммы (например, трюк Грюэна), пакетной обработки Poseidon2 и других оптимизаций, теоретически доказано, что затраты на хеширование Poseidon составляют всего 15x (традиционные STARKs — 100x), на практике они могут быть ниже 10x, и чем больше объем данных, тем ближе затраты к нулю.