Стало известно, что основатель Ethereum Виталик Бутерин опубликовал статью, в которой представил протокол GKR, семейство протоколов, позволяющее многим системам доказательства достигать высокой скорости. GKR является основным протоколом для реализации быстрых доказательств, таких как ZK-EVM и zk-ML, адаптирующим вычисления с "многослойной низкой степени обработки + большим количеством повторяющихся функций" (таких как хеш, нейронные сети), без необходимости делать обязательства на промежуточные слои, достаточно лишь обязательства на входные и выходные данные, что значительно повышает эффективность. Сокращая