Эфир расширение нового времени: реальное доказательство и нативный Rollup
Ethereum вступает в новую эпоху масштабирования, где технологии нулевых знаний становятся ключевым двигателем. В этой статье мы рассмотрим технические трудности в реальном доказательстве, логику участия доказателя, проблемы безопасности в процессе переключения L1, а также как нативный Rollup может стать конечной формой ZK масштабирования.
Реальное доказательство является ключевым прорывом в движении Эфира к высокой производительности. Оно означает завершение процесса генерации ZK-доказательства для блока в основной сети Ethereum за менее чем 12 секунд. Как только это будет реализовано, Ethereum сможет включить логику проверки блоков в сам протокол, значительно увеличив предельный объем Gas при сохранении проверяемости и обеспечивая масштабирование L1.
Реализация доказательства в реальном времени требует не только технологии zkVM, но и изменений на уровне протокола Ethereum. Ожидается, что в следующем году обновление Glamsterdam введет механизм "разделения проверки блоков и немедленного выполнения", предоставляя доказателям больше времени для генерации zkEVM доказательств.
Некоторая техническая команда выпустила последнюю версию SP1 Hypercube zkVM, которая может в реальном времени генерировать доказательства для 93% блоков основной сети на кластере из 200 GPU. Они уверены, что к концу этого года смогут повысить процент успеха до 99%.
Ethereum также рассматривает возможность сокращения времени блока с 12 секунд до 6 секунд, что улучшит пользовательский опыт и скорость подтверждения транзакций, но также создаст дополнительное давление на доказателей. Однако учитывая, что производительность технологии ZK может увеличиваться в 10 раз каждый год, можно надеяться, что это позволит справиться с данной проблемой.
Аппаратные требования для ZK-просветителей Ethereum
Для генерации ZK-доказательств в реальном времени требуются мощные вычислительные ресурсы. Первоначальная техническая цель, установленная Фондом Ethereum для доказателей, заключается в следующем: контроль затрат на оборудование в пределах 100 000 долларов и потребление электроэнергии менее 10 кВт.
Некоторые считают, что это требование слишком высоко, но на самом деле обязанности доказателей и валидаторов различны. Валидаторы запускают узлы и участвуют в консенсусе, в то время как задача доказателей заключается в генерации ZK-доказательств. Как только доказательство сгенерировано, сети просто нужно проверить, является ли это доказательство правильным, без необходимости повторного выполнения транзакции.
В настоящее время аппаратная конфигурация на 100 000 долларов США является лишь первоначальной целью. Ожидается, что к началу следующего года потребность в GPU можно будет снизить до около 16 видеокарт, а общая стоимость будет контролироваться в пределах от 10 000 до 30 000 долларов США.
Некоторые команды построили децентрализованную сеть из сотен доказателей на тестовой сети. Система использует конкурсный механизм доказательства, позволяя участникам с меньшими затратами и временем одерживать победу, создавая механизм, аналогичный аукциону вычислительной мощности. Это означает, что в будущем, управляемом ZK, дух майнеров Эфира будет возрожден в другой форме.
Переключение основной сети на архитектуру ZK: вызовы миграции системы
Переход основного эфира L1 на архитектуру ZK является значительным техническим вызовом, требующим реконструкции уровня протокола и учета различных потенциальных рисков. Возможные риски включают возможность внедрения "убийцы доказателей" злонамеренными атаками, что может привести к неработоспособности механизма валидации, или резкое снижение активности сети, что повлияет на устойчивость.
Весь процесс перехода может занять несколько лет. ZK виртуальная машина как ранняя технология может иметь уязвимости, но по мере зрелости экосистемы её жизнеспособность и устойчивость могут быть улучшены за счёт разнообразных систем доказательства,完善激励机制, формальной верификации и других методов.
Ethereum также планирует провести архитектурную реконструкцию слоя консенсуса, создав новую структуру под названием "Beam Chain", цель которой с самого начала дизайна - быть оптимизированной под ZK. В будущем вся работа по верификации данных в Ethereum может выполняться на процессоре обычного ноутбука.
Основная сеть "Snark-Х" : Перспективы нативного Rollup
С интеграцией zkEVM в основную сеть Ethereum начинает возникать концепция нативного Rollup. В настоящее время Rollup использует независимую систему доказательства, и между ней и основной сетью Ethereum существует определенная предпосылка доверия. Видение нативного Rollup заключается в том, чтобы валидаторы Ethereum L1 напрямую проверяли доказательства изменения состояния Rollup, реализуя истинный L2, который проверяется основной сетью и обеспечивается ее безопасностью.
Это требует добавления кода "execute precompile" в клиент L1 Эфира, позволяющего валидаторам напрямую проверять ZK-证明 состояния, сгенерированные на L2. Если это будет реализовано, в будущем как для транзакций на L1, так и для транзакций на родном Rollup, окончательное расчет и безопасность будут обеспечиваться одной и той же группой валидаторов Эфира, уровень доверия будет полностью эквивалентен.
Нативные Rollup могут быть гетерогенными, предоставляя пользователям более разнообразный и дифференцированный опыт использования приложений. Хотя это еще не было официально включено в дорожную карту Ethereum, запуск zkEVM и реконструкция архитектуры L1 сделали предустановленные интерфейсы и предкомпилированную логику предсказуемым технологическим трендом.
В отношении интеграции EVM Snark и продвижения нативного Rollup, Ethereum обладает высокой технической синергией. Этот процесс все еще требует управления сообществом, формирования предложений по улучшению Ethereum и развертывания на хардфорке. При оптимистичных ожиданиях, в конце года могут быть представлены соответствующие предложения и запущены на хардфорке после обновления Glamsterdam. Однако этот график все еще имеет высокую степень неопределенности и требует осторожного подхода.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
6 Лайков
Награда
6
5
Репост
Поделиться
комментарий
0/400
GasFeeNightmare
· 17ч назад
Наконец-то не нужно полагаться на lowb надпись, чтобы разыгрывать людей как лохов.
Посмотреть ОригиналОтветить0
MindsetExpander
· 23ч назад
Эх, сразу видно, что цзиньсинь для разыгрывания людей как лохов раздувает быка.
Посмотреть ОригиналОтветить0
MEVictim
· 23ч назад
Эти Газ сборы снова На луну...
Посмотреть ОригиналОтветить0
ImpermanentPhobia
· 23ч назад
Виталик Бутерин, побыстрее, когда ты всё закончишь?
Новая глава масштабирования Ethereum: технологический прорыв в области доказательства в реальном времени и нативного Rollup
Эфир расширение нового времени: реальное доказательство и нативный Rollup
Ethereum вступает в новую эпоху масштабирования, где технологии нулевых знаний становятся ключевым двигателем. В этой статье мы рассмотрим технические трудности в реальном доказательстве, логику участия доказателя, проблемы безопасности в процессе переключения L1, а также как нативный Rollup может стать конечной формой ZK масштабирования.
Реальные доказательства: ключевая деталь масштабирования Ethereum
Реальное доказательство является ключевым прорывом в движении Эфира к высокой производительности. Оно означает завершение процесса генерации ZK-доказательства для блока в основной сети Ethereum за менее чем 12 секунд. Как только это будет реализовано, Ethereum сможет включить логику проверки блоков в сам протокол, значительно увеличив предельный объем Gas при сохранении проверяемости и обеспечивая масштабирование L1.
Реализация доказательства в реальном времени требует не только технологии zkVM, но и изменений на уровне протокола Ethereum. Ожидается, что в следующем году обновление Glamsterdam введет механизм "разделения проверки блоков и немедленного выполнения", предоставляя доказателям больше времени для генерации zkEVM доказательств.
Некоторая техническая команда выпустила последнюю версию SP1 Hypercube zkVM, которая может в реальном времени генерировать доказательства для 93% блоков основной сети на кластере из 200 GPU. Они уверены, что к концу этого года смогут повысить процент успеха до 99%.
Ethereum также рассматривает возможность сокращения времени блока с 12 секунд до 6 секунд, что улучшит пользовательский опыт и скорость подтверждения транзакций, но также создаст дополнительное давление на доказателей. Однако учитывая, что производительность технологии ZK может увеличиваться в 10 раз каждый год, можно надеяться, что это позволит справиться с данной проблемой.
Аппаратные требования для ZK-просветителей Ethereum
Для генерации ZK-доказательств в реальном времени требуются мощные вычислительные ресурсы. Первоначальная техническая цель, установленная Фондом Ethereum для доказателей, заключается в следующем: контроль затрат на оборудование в пределах 100 000 долларов и потребление электроэнергии менее 10 кВт.
Некоторые считают, что это требование слишком высоко, но на самом деле обязанности доказателей и валидаторов различны. Валидаторы запускают узлы и участвуют в консенсусе, в то время как задача доказателей заключается в генерации ZK-доказательств. Как только доказательство сгенерировано, сети просто нужно проверить, является ли это доказательство правильным, без необходимости повторного выполнения транзакции.
В настоящее время аппаратная конфигурация на 100 000 долларов США является лишь первоначальной целью. Ожидается, что к началу следующего года потребность в GPU можно будет снизить до около 16 видеокарт, а общая стоимость будет контролироваться в пределах от 10 000 до 30 000 долларов США.
Некоторые команды построили децентрализованную сеть из сотен доказателей на тестовой сети. Система использует конкурсный механизм доказательства, позволяя участникам с меньшими затратами и временем одерживать победу, создавая механизм, аналогичный аукциону вычислительной мощности. Это означает, что в будущем, управляемом ZK, дух майнеров Эфира будет возрожден в другой форме.
Переключение основной сети на архитектуру ZK: вызовы миграции системы
Переход основного эфира L1 на архитектуру ZK является значительным техническим вызовом, требующим реконструкции уровня протокола и учета различных потенциальных рисков. Возможные риски включают возможность внедрения "убийцы доказателей" злонамеренными атаками, что может привести к неработоспособности механизма валидации, или резкое снижение активности сети, что повлияет на устойчивость.
Весь процесс перехода может занять несколько лет. ZK виртуальная машина как ранняя технология может иметь уязвимости, но по мере зрелости экосистемы её жизнеспособность и устойчивость могут быть улучшены за счёт разнообразных систем доказательства,完善激励机制, формальной верификации и других методов.
Ethereum также планирует провести архитектурную реконструкцию слоя консенсуса, создав новую структуру под названием "Beam Chain", цель которой с самого начала дизайна - быть оптимизированной под ZK. В будущем вся работа по верификации данных в Ethereum может выполняться на процессоре обычного ноутбука.
Основная сеть "Snark-Х" : Перспективы нативного Rollup
С интеграцией zkEVM в основную сеть Ethereum начинает возникать концепция нативного Rollup. В настоящее время Rollup использует независимую систему доказательства, и между ней и основной сетью Ethereum существует определенная предпосылка доверия. Видение нативного Rollup заключается в том, чтобы валидаторы Ethereum L1 напрямую проверяли доказательства изменения состояния Rollup, реализуя истинный L2, который проверяется основной сетью и обеспечивается ее безопасностью.
Это требует добавления кода "execute precompile" в клиент L1 Эфира, позволяющего валидаторам напрямую проверять ZK-证明 состояния, сгенерированные на L2. Если это будет реализовано, в будущем как для транзакций на L1, так и для транзакций на родном Rollup, окончательное расчет и безопасность будут обеспечиваться одной и той же группой валидаторов Эфира, уровень доверия будет полностью эквивалентен.
Нативные Rollup могут быть гетерогенными, предоставляя пользователям более разнообразный и дифференцированный опыт использования приложений. Хотя это еще не было официально включено в дорожную карту Ethereum, запуск zkEVM и реконструкция архитектуры L1 сделали предустановленные интерфейсы и предкомпилированную логику предсказуемым технологическим трендом.
В отношении интеграции EVM Snark и продвижения нативного Rollup, Ethereum обладает высокой технической синергией. Этот процесс все еще требует управления сообществом, формирования предложений по улучшению Ethereum и развертывания на хардфорке. При оптимистичных ожиданиях, в конце года могут быть представлены соответствующие предложения и запущены на хардфорке после обновления Glamsterdam. Однако этот график все еще имеет высокую степень неопределенности и требует осторожного подхода.
!