Бета-версия основной сети выглядит хорошо здесь. - Конкуренция среди провайдеров безумно высока - Доказательство фактически бесплатно на Boundless - Все провайдеры являются третьими сторонами (Команда Boundless не занимается доказательством, децентрализовано до предела) Boundless - это легитимно.

у меня возникла идея написать это, пока я смотрел разговор Jigsaw на SBC (), который основан на подходе coSNARK к приватным смарт-контрактам.

Как построить частные смарт-контракты через : - zkSNARK: Состояние - это обязательства, один доказатель вычисляет на открытом тексте и публикует zkSNARK, нет глобального расшифрования или контроля доступа. - coSNARK: Состояние - это обязательства, вычисления происходят вне сети через MPC, поэтому ни один сервер не видит полный свидетель, все еще нет глобального расшифрования или контроля доступа. - TEE: Состояние - это шифротекст снаружи и открытый текст внутри анклава, вычисления и политика контроля расшифрования выполняются внутри удаленно аттестованного анклава, полагаясь на целостность оборудования/аттестации. - FHE: Состояние - это шифротекст под общим ключом FHE, любой может гомоморфно оценивать с проверкой в цепочке, расшифрование контролируется политикой порогового комитета (риск сговора). - iO: Состояние - это шифротекст, а вычисления - гомоморфные, публичный обфусцированный декриптор обеспечивает политику расшифрования без активного держателя ключа (нет риска сговора).

Удивительно видеть так много крупных 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. Давайте работать вместе, чтобы это осуществить.

заберите девчонок @chippedsocial 💕

Децентрализованное секвенирование — это решение для устойчивости к цензуре и минимизации доверия. Это не обязательно подразумевает лучшее время безотказной работы. Роллапсы могут сохранять чрезвычайно высокое время безотказной работы, потому что у них есть централизированная инфраструктура. Децентрализованное секвенирование (среди недоверенных сторон) несет постоянный риск сбоя секвенсора. Хотя сеть может быстрее восстанавливаться после этих сбоев (<33 минуты по сравнению с @base вчера), вероятность возникновения сбоев выше. Существует множество преимуществ децентрализованного секвенирования, но это не панацея от всех наших проблем.

если вы строите с EigenCloud, вы все еще на ранней стадии 🫡

Краб Rust перед Depot: ☠️ После подключения к Depot Cache + более быстрые бегуны: 🦀💨 Полное руководство в 🧵

В 2023 году Arbitrum был цепочкой FIFO и не имел приоритетного порядка газа. С его централизованным секвенсером Arbitrum был неотличим от централизованной биржи.

Как я почти разрушил Arbitrum - и как это радикализировало меня 🧵