Соучредитель Ethereum Виталик Бутерин представил протокол GKR — новую семью протоколов, разработанных для значительного ускорения различных систем доказательств. GKR играет ключевую роль в обеспечении быстрых доказательств в таких системах, как ZK-EVM и zk-ML, оптимизируя вычисления, связанные с многоуровневой обработкой низкой степени и повторяющимся применением функций, таких как хеширование и нейронные сети. Протокол повышает эффективность, требуя обязательств только по входным и выходным данным, обходя промежуточные уровни. GKR достигает этого за счет оптимизаций, таких как сокращение вычислений sumcheck за раунд с использованием техник, например, трюка Грюэна и пакетной обработки Poseidon2. Теоретически это снижает накладные расходы на доказательства для хеширования Poseidon до всего 15x по сравнению с 100x при использовании традиционных STARK, а на практике может быть менее 10x. По мере увеличения объема данных накладные расходы стремятся к нулю, что является значительным прогрессом в эффективности систем доказательств.