Актуальные темы
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Подумав о последнем заявлении @VitalikButerin о быстром выводе средств на L2, это довольно интересно. Проще говоря: он считает, что возможность быстрого вывода средств в течение часа важнее, чем достижение Этапа 2, и логика, стоящая за этим изменением приоритетов, заслуживает глубокого размышления:
1) Ожидание вывода средств в течение недели действительно стало большой проблемой в реальном использовании, это не только ухудшает пользовательский опыт, но и, что более важно, увеличивает стоимость кросс-цепочки.
Например, такие мостовые решения, как ERC-7683, основанные на намерениях, требуют от поставщиков ликвидности нести затраты на использование средств в течение недели, что напрямую увеличивает стоимость кросс-цепочки. В результате пользователи вынуждены выбирать менее надежные многофакторные решения, что как раз противоречит изначальной идее L2.
Поэтому Виталик предложил систему смешанного доказательства 2 из 3 (ZK+OP+TEE), где ZK и TEE могут обеспечить мгновенность, а TEE и OP имеют достаточную производственную проверку. Теоретически любые две системы могут гарантировать безопасность, что позволяет избежать чисто временных затрат на ожидание полной зрелости технологии ZK.
2) Кроме того, новое заявление Виталика создает впечатление, что он стал более прагматичным? Из идеалистического молодого человека, который раньше говорил о "децентрализованной священной войне" и "антицензуре", он превратился в прагматика, который прямо указывает жесткие показатели: вывод средств за 1 час, финал за 12 секунд, все становится просто и грубо.
Ранее все сосредоточились на степени децентрализации Этапа 2, теперь Виталик прямо говорит, что быстрый вывод средств важнее, что фактически переопределяет приоритеты для всей области L2. Это на самом деле прокладывает путь к конечной форме стратегии "Rollup-Centric", позволяя Ethereum L1 действительно стать единой расчетной и ликвидной платформой. Как только будет реализован быстрый вывод средств и кросс-цепочная агрегация, другим публичным цепям будет сложнее бросить вызов экосистеме Ethereum.
Причина, по которой маленький В стал таким, заключается в том, что рынок уже проголосовал ногами и сообщил ему результат: рынок не заботится о лозунгах децентрализации, больше внимания уделяется опыту и эффективности, и этот переход от "идеального драйва" к "результатам" отражает то, что вся экосистема Ethereum движется в более коммерческом и конкурентном направлении.
3) Возникает вопрос: чтобы достичь долгосрочных целей реального опыта и построения инфраструктуры, в ближайшее время экосистема Ethereum, вероятно, будет сосредоточена на зрелости технологии ZK и контроле затрат.
С текущей ситуацией, хотя технология ZK быстро прогрессирует, затраты по-прежнему являются реальным ограничением. ZK proof с затратами 500k+ gas означает, что в краткосрочной перспективе можно достичь только частоты подачи на уровне часа, чтобы достичь конечной цели в 12 секунд, необходимо полагаться на прорывы в агрегационных технологиях.
Логика здесь ясна: частая подача proof для одного Rollup слишком дорога, но если proof для N Rollup можно агрегировать в один, распределив по каждому слоту (12 секунд), это становится экономически целесообразным.
Это также ставит новые технические маршруты для конкурентной среды L2, те проекты L2, которые первыми добьются прорыва в оптимизации ZK proof, возможно, смогут найти свое место, в то время как те, кто продолжает упорно работать над оптимистичным доказательством, вероятно, потеряют направление.

7 авг., 00:29
Удивительно видеть так много крупных L2 на стадии 1.
Следующая цель, к которой мы должны стремиться, на мой взгляд, это быстрые (<1ч) времена вывода, обеспеченные системами доказательства действительности (также известными как ZK).
Я считаю это даже более важным, чем стадия 2.
Быстрые времена вывода важны, потому что ждать неделю для вывода — это просто слишком долго для людей, и даже для мостов на основе намерений (например, ERC-7683) стоимость капитала становится слишком высокой, если поставщик ликвидности должен ждать неделю. Это создает большие стимулы вместо этого использовать решения с неприемлемыми предположениями доверия (например, мультиподписи/MPC), которые подрывают всю суть наличия L2 вместо полностью независимых L1.
Если мы сможем сократить родные времена вывода до менее чем 1ч в краткосрочной перспективе и 12с в среднесрочной, то мы сможем еще больше укрепить Ethereum L1 как место по умолчанию для выпуска активов и экономический центр экосистемы Ethereum.
Для этого нам нужно отказаться от оптимистичных систем доказательства, которые по своей сути требуют ожидания несколько дней для вывода.
Исторически технологии ZK-доказательства были незрелыми и дорогими, что делало оптимистичные доказательства разумным и безопасным выбором. Но в последнее время это быстро меняется. Это отличное место для отслеживания прогресса ZK-EVM доказательств, которые быстро улучшаются. Формальная верификация ZK-доказательств также продвигается вперед.
Ранее в этом году я предложил стратегию системы доказательства 2 из 3 ZK + OP + TEE, которая балансирует между безопасностью, скоростью и зрелостью:
* 2 из 3 систем (ZK, OP) являются бездоверительными, поэтому ни один отдельный участник (включая производителя TEE или атакующего через побочный канал) не может сломать систему доказательства, нарушив предположение доверия
* 2 из 3 систем (ZK, TEE) являются мгновенными, так что вы получаете быстрые выводы в нормальном случае
* 2 из 3 систем (TEE, OP) использовались в производстве в различных контекстах в течение многих лет
Это один из подходов; возможно, люди предпочтут вместо этого сделать ZK + ZK + OP для разрешения споров или ZK + ZK + совет безопасности для разрешения споров. У меня нет сильных мнений по этому поводу, мне важно основное цель, которая заключается в том, чтобы быть быстрым (в нормальном случае) и безопасным.
С такими системами доказательства единственным оставшимся узким местом для быстрого урегулирования становится стоимость газа для подачи доказательств в цепочку. Вот почему в краткосрочной перспективе я говорю раз в час: если вы попытаетесь подать ZK-доказательство с газом 500к+ (или STARK с газом 5м) гораздо чаще, это добавляет высокую дополнительную стоимость.
В долгосрочной перспективе мы можем решить это с помощью агрегации: N доказательств от N роллапов (плюс транзакции от пользователей протокола конфиденциальности) могут быть заменены одним доказательством, которое подтверждает действительность N доказательств. Это становится экономически целесообразным подавать раз за слот, что позволяет достичь конечной цели: почти мгновенное движение активов между L2 через L1.
Давайте работать вместе, чтобы это осуществить.
13,87K
Топ
Рейтинг
Избранное