Введение
Соучредитель Ethereum Виталик Бутерин заявил в среду, что надеется увидеть предложение о снижении стоимости квантово-устойчивых приватных транзакций более чем на 99%, включенное в будущие обновления сети.
EIP-8288 и его влияние
EIP-8288, который он соавторствовал в июне, переместит самую тяжелую криптографию из пути выполнения сети. Подписи постквантового уровня в настоящее время занимают 2 или 3 килобайта и стоят от 150 000 до 200 000 газа для проверки. Доказательства STARK еще хуже, превышая 128 килобайтов и достигая 512 килобайтов при быстром создании, что ставит проверку в миллионы газа.
Стоимость приватных транзакций
Хорошо спроектированная приватная транзакция сегодня стоит около 300 000 газа, а примерно 10 миллионов, если вы хотите, чтобы она была квантово-устойчивой. По словам Бутерина, согласно EIP-8288, обе они окажутся в пределах низких десятков тысяч.
Технология и механизмы
Это достигается тем, что криптография вообще не помещается в цепочку. Транзакция вместо этого объявляет «зависимость» — короткое утверждение о том, что какое-то сообщение было подписано каким-то ключом, или какие-то данные удовлетворяют какому-то доказательству — стоимостью 96 байт. Узлы мемпула затем собирают эти утверждения каждую секунду, генерируют одно рекурсивное доказательство STARK, охватывающее все сразу, и передают его дальше. Блок содержит одно доказательство, охватывающее все в нем.
Рекурсивные доказательства и RISC-V
Рекурсивные доказательства нуждаются в общем языке для выражения утверждений, и ведущим кандидатом является RISC-V, открытый набор команд, используемый в проектировании чипов. Принятие предложения сделает его де-факто каноническим набором команд Ethereum, что Бутерин назвал «большим решением», которое следует принимать осторожно, и одним из тех, что, по его мнению, необходимо.
Будущее Ethereum
Он предложил тот же шаг в июле в дорожной карте Lean Ethereum, которая должна была перестроить почти каждый основной компонент протокола за три или четыре года и закрепить рекурсивные STARK в ядре. Еще одно применение, которое он набросал, — это абстракция приватного аккаунта: скрытие логики аккаунта в цепочке, а затем изменение собственности на каждую позицию и актив, прикрепленный к нему, в одной транзакции, не раскрывая, какие именно.
Заключение
EIP-8288, который Бутерин соавторствовал с Томасом Коражтером, зависит от Frames, переработки транзакций, которую он продвигал в воскресенье — которая сама по себе не запланирована. Он хочет оба в I-star, обновлении после Hegota, которое, как он сказал, будет последним обновлением Ethereum перед началом эпохи Lean. Ни одно из них не было назначено на форк.
