Кратко

  • EIP-8288 объединит квантово-устойчивые подписи и STARK-доказательства в одно доказательство на каждый блок Ethereum.
  • Бутерин говорит, что приватные транзакции, которые сегодня стоят около 10 миллионов газа для обеспечения квантовой безопасности, могут подешеветь до десятков тысяч.
  • Предложение является черновиком и развивает Frames — переработку транзакций, которую он продвигал в воскресенье.

Соучредитель Ethereum Виталик Бутерин заявил в среду, что надеется увидеть предложение, сокращающее стоимость квантово-безопасных приватных транзакций более чем на 99%, включённым в будущее обновление сети.

EIP-8288, соавтором которого он стал в июне, выведет самую тяжёлую криптографию из пути исполнения сети. Постквантовые подписи сейчас достигают 2 или 3 килобайт и стоят от 150 000 до 200 000 газа на проверку.

С STARK-доказательствами дела обстоят хуже: они превышают 128 килобайт и достигают 512 килобайт при быстрой генерации, что делает проверку стоящей миллионы газа. Хорошо спроектированная приватная транзакция сегодня стоит около 300 000 газа, написал Бутерин в твиттере, и примерно 10 миллионов, если вы хотите обеспечить её квантовую безопасность. По словам Бутерина, в рамках EIP-8288 обе будут стоить порядка низких десятков тысяч.

Это работает за счёт того, что криптография вообще не размещается в блокчейне. Вместо этого транзакция объявляет «зависимость» — короткое утверждение о том, что некоторое сообщение было подписано некоторым ключом или что некоторые данные удовлетворяют некоторому доказательству, — что стоит 96 байт. Затем узлы мемпула каждую секунду собирают эти утверждения, генерируют единое рекурсивное STARK-доказательство, подтверждающее их все сразу, и передают его дальше. Блок несёт одно доказательство, охватывающее всё, что в нём есть.

Решение о RISC-V

Рекурсивным доказательствам нужен общий язык для выражения утверждений, и ведущим кандидатом является RISC-V — открытый набор инструкций, используемый в проектировании чипов. Принятие этого предложения сделает его де-факто каноническим набором инструкций Ethereum, что Бутерин назвал «большим решением», которое следует принимать осторожно, и которое, по его мнению, необходимо.

Myriad: ETH выше 4K, когда Bitcoin поднимется выше 100K? Нажмите, чтобы сделать свой прогноз.
Myriad: ETH выше 4K, когда Bitcoin поднимется выше 100K? Нажмите, чтобы сделать свой прогноз.

Он предлагал тот же шаг в июле, в дорожной карте Lean Ethereum, которая должна перестроить почти каждый крупный компонент протокола за три или четыре года и закрепить рекурсивные STARK в качестве ядра.

Ещё один вариант использования, который он набросал, — это приватная абстракция аккаунта: сохранение логики аккаунта скрытой в блокчейне, а затем изменение владения каждой позицией и активом, привязанными к нему, в одной транзакции, без раскрытия того, какими именно.

EIP-8288, соавтором которого Бутерин выступил вместе с Томасом Коратже, зависит от Frames — переработки транзакций, которую он продвигал в воскресенье, — а она сама по себе не запланирована. Он хочет, чтобы обе вошли в I-star, обновление после Hegota, которое, как он сказал, станет последним для Ethereum перед началом эры Lean. Ни одна из них не была назначена на форк.