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



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

#Cryptocurrency #Блокчейн #Ethereum #ZKProofs #ВиталикБуэрин
ETH-2.63%
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
  • Награда
  • комментарий
  • Репост
  • Поделиться
комментарий
0/400
Нет комментариев
  • Закрепить