Vitalik опубликовал статью с руководством по GKR: поддержка супербыстрых ZK-доказательств "пакетного слоя" протокола

2025-10-20 00:16:59

Генерация тезисов в процессе

PANews 20 октября сообщает, что Виталик Бутерин опубликовал новую статью, в которой подробно описывает, как протокол GKR (Goldreich–Kahan–Rothblum) используется для ускорения ZK-доказательств, адаптированного к структуре вычислений “пакет×многоуровое”, значительно уменьшая количество промежуточных обязательств и делая обязательства только для входных и выходных данных. В статье на примере хеша Poseidon2 подробно описывается рекурсивный процесс доказательства с использованием sumcheck в качестве ядра и предлагаются оптимизации (трюк Грюэна, линейная пакетная обработка, частичные раунды с использованием только кубического первого элемента), которые могут быть объединены с BaseFold или FRI в контексте многочленной обязательной схемы. Автор утверждает, что фактические затраты ниже традиционного STARK примерно в 100 раз теоретической величины, и ожидается, что затраты будут на уровне одного числа, а также напоминает, что необходимо предостерегать от предсказуемости рисков в электрических схемах в рамках задачи Фиата–Шамира.

Посмотреть Оригинал

На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .