Виталик опубликовал обучающую статью по GKR: протокол "batch × layer", поддерживающий сверхбыстрые ZK-доказательства

ChainCatcher сообщает, что Vitalik Buterin опубликовал новую статью, в которой подробно объясняет, как протокол GKR (Goldreich–Kahan–Rothblum) используется для ускорения ZK-доказательств, адаптируется к структуре вычислений "batch × multi-layer", что значительно сокращает количество промежуточных коммитментов, ограничиваясь только коммитментами к входу и выходу.

В статье на примере хеша Poseidon2 подробно рассматривается рекурсивный процесс доказательства с использованием sumcheck в качестве ядра, а также приводятся оптимизации (трюк Gruen, линейная пакетная обработка, кубирование только первого элемента в некоторых раундах). В сценариях с полиномиальными коммитментами можно использовать BaseFold или FRI. Автор отмечает, что фактические издержки примерно в 100 раз ниже теоретических значений традиционного STARK, а затраты на уровне одной цифры вполне достижимы. Также он предупреждает, что при использовании Fiat–Shamir необходимо учитывать риск предсказуемости внутри схемы.