Виталик Бутерин призвал установить жесткий лимит на стоимость доказательств для ethereum на единицу газа блока. Бутерин поздравил команду Airbender ZKsync в посте от 15 октября и обозначил три приоритета формальной верификации: соответствие математического представления выполнения спецификации ethereum, ограничение стоимости доказателя относительно газа блока и обеспечение безопасности системы доказательств. Газ отвечает за вычислительную работу и ограничивает потребление ресурсов блока, но полезный лимит доказательства должен связывать этот лимит с ресурсами генерации доказательств, включая намеренно сложные рабочие нагрузки. Фонд ethereum обозначил этап, ориентированный на безопасность, на декабрь 2025 года.
Текущий анализ вычислительной стоимости EIP-7904 рекомендует не изменять вычислительную стоимость газа и не вносить изменений в график газа Ethereum. EIP-7904 является информационным предложением, находящимся на последнем вызове с 18 октября, с дедлайном 1 ноября. Анализ EIP-7904 нацелен на 100 миллионов газа в секунду на оптимизированных нативных клиентах исполнения. EIP-7904 объясняет изменённый вывод оптимизациями, предоставленными списками доступа на уровне блока, включая параллельную работу, ускоряющую ранее проблемные операции. Однако EIP-7904 охватывает исполнение на чистом CPU и специально исключает специальное рассмотрение генерации доказательств ZK-SNARK, что накладывает иные нагрузки.
ZKsync сообщила 13 октября, что один NVIDIA RTX PRO 6000 Blackwell доказал 99% из 7200 последовательных блоков ethereum мейннета за менее чем 10 секунд каждый, включая подготовку свидетельств. ZKsync сообщила, что каждый пробный блок завершался за менее чем 12 секунд. ZKsync также описала отдельные конфигурации ETHproofs в реальном времени с использованием двух и четырех GPU. Однако гарантия максимальной стоимости должна покрывать все разрешенные рабочие нагрузки в рамках указанных допущений, включая блоки, намеренно собранные так, чтобы их доказательство было дорогостоящим. Типичный блок может быть обработан небольшой установкой, тогда как сложная разрешенная рабочая нагрузка определяет резервную мощность, необходимую оператору для своевременного создания доказательств.
Лин Ошитани из Nethermind Research обнаружила в январе, что криптографические пре-компилированные функции и несколько операций модульной арифметики или деления относительно дорогостоящи по газу. Измерения Ошитани показали, что затраты варьировались в зависимости от провайдера, а количество циклов ZK не приводило к равномерному времени доказательства для различных операций. В исследовании оценивалось предельное время доказательства путем изменения количества операций при постоянной окружающей среде выполнения. Тестирование проводилось с использованием SP1 v5.2.3 с sp1-cluster и RISC0 v3.0.4, при этом применялись reth v1.9.3 и четыре графических процессора NVIDIA GeForce RTX 4090. RISC0 использовал настройку RISC0_KECCAK_PO2=15. Измерения выполнялись на фиксированных репрезентативных или максимально возможных входных данных, проверка заголовков блоков была пропущена, а также случайно пропущен BLOCKHASH. Полное исследование затрат, зависящих от аргументов, осталось задачей на будущее.
Каркас оценки наихудшего сценария Фонда Ethereum за январь связывает требуемую пропускную способность доказательств с выбранным лимитом газа блока и сроком доказательства. Каркас требует, чтобы сложный блок укладывался в заданные аппаратные и временные ресурсы. Каркас поясняет, что оценки на уровне операций требуют проверок end-to-end, поскольку генерация доказательств имеет фиксированные накладные расходы, агрегация может быть нелинейной, и производительность зависит от конфигурации оборудования и параметров безопасности. Также важен набор клиентов исполнения и систем доказательств, которые предполагается задействовать.
Улучшение дорогостоящей схемы или пути выполнения может снизить объем работы по доказательству без изменения газовых единиц выполнения транзакций, позволяя операторам использовать меньше ресурсов для той же нагрузки. Исследование Nethermind также описало взвешенное измерение ZK-gas с лимитом на блок, которое может ограничивать операции, требующие много доказательств, до исчерпания обычного лимита газа на выполнение. Защита благодаря взвешенному измерению ZK-gas будет зависеть от точности, с которой веса учитывают сложные входные данные. Ограничение ресурсов может ограничивать объем допущенной работы, не определяя при этом платежи пользователей приложений или доходы доказывающих. Взимание платы за ресурс доказательства потребует дополнительных проектных решений. EIP-7999 остается проектом многомерного рынка комиссий, разделяющим calldata на отдельный ресурс.
Переоценка Opcode присвоит больше газа дорогостоящим операциям, позволяя помещать меньше таких операций в блок при фиксированном лимите газа. Приложения, использующие переоцененные операции, могут потреблять больше газа для того же успешного выполнения. Механизм комиссии за выполнение EIP-1559 умножает начисленный газ на эффективную цену газа. Приложение, которому начислено больше газа за то же успешное транзакцию, заплатит больше при неизменной положительной эффективной цене газа.
EIP-8025 остается проектом опционального предложения по доказательству выполнения, не предусматривающего стимулов для провайдеров доказательств и сохраняющего повторное выполнение даже при наличии доказательств. Приоритеты Ethereum Foundation за сентябрь откладывают обязательные доказательства на более поздний срок, а порядок форков находится на рассмотрении. Срок рассмотрения EIP-7904 — 1 ноября — касается анализа ЦП, в то время как независимые провайдеры доказательств нуждаются в ограничении, связанном с явными рабочими нагрузками, реализациями, настройками безопасности и аппаратными предположениями. Такое ограничение превратит лимит газа в надежный предел ресурсов для доказательств, которые оператор должен быть готов предоставить.
Стоимость доказательств для ethereum сталкивается с вызовом жесткого лимита Виталика
CryptoSlateПоделиться
Сводка
Виталик Бутерин предложил жесткий лимит на стоимость доказательств Ethereum на единицу газа блока для согласования генерации доказательств с ограничениями по газу. EIP-7904, находящийся на последнем вызове до 1 ноября, подчеркивает оптимизации списков доступа. ZKsync и Nethermind продемонстрировали различия в стоимости и эффективности с использованием GPU. Фонд Ethereum разрабатывает рамки для тестирования в худших сценариях доказательств. Активы с повышенным риском снова привлекли внимание на фоне мер CFT.
Источник:Показать оригинал
Отказ от ответственности: Информация на этой странице может быть получена от третьих лиц и не обязательно отражает взгляды или мнения KuCoin. Данный контент предоставляется исключительно в общих информационных целях, без каких-либо заверений или гарантий, а также не может быть истолкован как финансовый или инвестиционный совет. KuCoin не несет ответственности за ошибки или упущения, а также за любые результаты, полученные в результате использования этой информации.
Инвестиции в цифровые активы могут быть рискованными. Пожалуйста, тщательно оценивайте риски, связанные с продуктом, и свою устойчивость к риску, исходя из собственных финансовых обстоятельств. Для получения более подробной информации, пожалуйста, ознакомьтесь с нашими Условиями использования и Уведомлением о риске.