Вчера Ethereum исполнилось 10 лет. Сегодня представлен Lean Ethereum как видение — и личная миссия — на следующие 10 лет. Мы стоим на пороге новой эры. Миллионы TPS. Квантовые противники. Как Ethereum сочетает экстремальную производительность с непреклонной безопасностью и децентрализацией? TLDR: криптография следующего поколения является центральной для победы как в атаке, так и в защите. Отказ от ответственности: Это взгляд Drake™ на широкую аудиторию. Техническое углубление в хэшированные постквантовые подписи и SNARKs последует. Ожидается и приветствуется здоровое разнообразие мнений среди Протокола, EF и более широкой сообщества Ethereum. Это укрепляет нас. defense—fort mode Ethereum особенный. 100% времени работы с момента создания. Непревзойденное разнообразие клиентов. $130B в экономической безопасности (35.7M ETH в стейкинге × $3.7K) — возможно, скоро $1T. Ethereum готов стать основой интернета ценности, обеспечивая сотни триллионов на протяжении десятилетий, даже столетий. Ethereum должен выжить при любых обстоятельствах: государства, квантовые компьютеры. Что бы ни случилось. Назовите это fort mode. Если интернет работает, Ethereum работает. Если мир онлайн, мир в цепочке. offense—beast mode Ethereum голоден. "Масштабируйте L1, масштабируйте блобы" — это стратегическая срочность внутри кластера Протокола EF. Ожидайте легких приростов производительности в течение следующих 6–12 месяцев. Долгосрочно? Думайте о гигагах L1, тергах L2. Назовите это beast mode. → 1 гигага/сек на L1: 10K TPS, амбициозный вертикальный масштаб → 1 тергага/сек на L2: 1M TPS, обширный горизонтальный масштаб Масштаб против децентрализации? Почему бы не оба. Лунная математика, которая нам нужна, теперь укрощена: → zkVM в реальном времени для легкого выполнения → выборка доступности данных (DAS) для легких данных Вкусная вишенка на торте: полная проверка цепочки через каждый браузер, кошелек, телефон. lean upgrades Lean Ethereum предлагает смелые обновления по всем трем подсистемам L1: → lean consensus — это beacon chain 2.0: укрепленный для максимальной безопасности и децентрализации, плюс финализация за секунды; ранее назывался "beam chain" → lean data — это blobs 2.0: постквантовые блобы, плюс гранулярный размер блобов для опыта разработчика, похожего на calldata → lean execution — это EVM 2.0: минимальный, дружелюбный к SNARK набор инструкций (возможно, RISC-V; произносится "риск файв"), увеличивающий производительность при сохранении совместимости EVM и его сетевых эффектов Слой консенсуса (CL), слой данных (DL), слой выполнения (EL) были переосмыслены с нуля. Вместе они открывают fort mode и beast mode. Цель: изобилие производительности при условии непреклонной непрерывности, максимальной жесткости и освежающей простоты. lean cryptography Хэшированная криптография становится идеальной основой для Lean Ethereum. Она предлагает убедительный, единый ответ на две мегатренды, формирующие экосистему: → взрывной рост SNARKs → надвигающаяся квантовая угроза Представьте себе самый легкий криптографический кирпич — хэш-функцию — которая в одиночку питает L1: → CL: хэшированные агрегированные подписи обновляют BLS подписи → DL: хэшированные DAS обязательства обновляют KZG обязательства → EL: хэшированные zkVM в реальном времени обновляют повторное выполнение EVM Криптографическая драгоценность в каждом из lean CL, lean DL, lean EL. lean craft Lean Ethereum — это больше, чем план по укреплению и масштабированию Ethereum. Это больше, чем просто удвоение безопасности, децентрализации и передовой криптографии. Это эстетика. Искусство. Мастерство. Думайте о Джиро в "Снах о суши". Когда мы можем пройти дополнительный путь, мы это делаем. Минимализм. Модульность. Инкапсулированная сложность. Формальная проверка. Доказуемая безопасность. Доказуемая оптимальность. Это тонкие, но важные технические соображения. Оставайтесь с нами для поста о постквантовой криптографии, который сделает их явными. lean legacy После 10 фантастических лет, lean Ethereum — это поколенческий обет. Держать Ethereum онлайн, несмотря ни на что. Масштабировать его без компромиссов. Сделать его достойным тех, кто придет после. Это о наследии. Мы строители, мы миссионеры. Мы Ethereum. Надеюсь, вы присоединитесь к нам.

В @ziskvm мы теперь подтверждаем блоки Ethereum в реальном времени — с открытым исходным кодом и работающие на все более эффективной инфраструктуре. Это ранний, но значимый этап. Присоединяйтесь ко мне сегодня в 13:00 на EthCC, Redford Stage, чтобы узнать больше. #EthCC #ZK #Ethereum #zkVM @eth_proofs

вопросы и ответы по доказательству в реальном времени :) Что это? ELI12. A: Армия гиков только что решила научно-фантастическую проблему: доказательство каждого блока основной сети Ethereum в реальном времени. Эти zk-доказательства экспоненциально дешевле для проверки, чем повторное выполнение транзакций — всего несколько миллисекунд, независимо от использованного газа. Толстые блоки, крошечные валидаторы. Максималисты децентрализации радуются. Разве доказательство в реальном времени не было невозможной лунной математикой? A: Было. Пять лет назад мы были на пять порядков величины дальше. Но технологии продолжали расти в 10 раз в год, и теперь мы здесь. Не игнорируйте экспоненты. Также о экспонентах: → не игнорируйте квантовые компьютеры, взламывающие ECDSA → не игнорируйте халвинги, разрушающие безопасность Биткойна Как Ethereum L1 становится "основным и нативным роллапом"? A: Давайте разберем. → основной: L1 предлагает порядок транзакций. Ethereum L1 — это базовый уровень — он по определению основной. → нативный: L1 выполняет транзакции через встроенную функцию перехода состояния EVM. По определению Ethereum L1 является нативным. Всегда будет. → роллап: Роллап имеет данные на цепочке и выполнение вне цепочки. С помощью сноркинга блоков основной сети EVM Ethereum L1 превращается в zk-роллап. Роллапы разблокируют большие лимиты газа. База уже на уровне 35 мегагаз/сек — в 20 раз больше, чем Ethereum L1. База стремится к 1 гигагаз/сек, Ethereum L1 тоже может туда добраться. Когда гигагаз L1? A: Ethproofs вызов #3 будет посвящен гигагазу L1 — обязательно подключайтесь. С EIP-9698 Данкрад предлагает ~3x/год увеличения газа, или ~10x каждые 2 года. Это 1,000x за 6 лет. Уважительно — но все еще новичковые цифры. Мой оптимистичный взгляд? Теперь, когда zkVMs соответствуют производительности EVM, лимиты газа могут следовать за улучшениями zkVM. Если мы продолжим достигать 10x/год, это 1 гигагаз/сек через 3 года. Я работал с Данкрадом более десяти лет — реальность обычно находится между его осторожностью и моим оптимизмом. Разве zkVM не багги? Что насчет формальной верификации? A: Формальная верификация — это конечная цель, а не первый шаг. Краткосрочная стратегия: разнообразие zkVM. К концу второго квартала несколько zkVM достигнут доказательства в реальном времени. Как и клиенты CL и EL, любой отдельный клиент считается багги. Безопасность обеспечивается разнообразием. Может ли доказательство с низкой задержкой масштабироваться до гигагаза? A: Да. Доказательство SNARK массово параллелизуемо. Только начальное выполнение x86 и разбиение на части последовательны. EIP-7825 предлагает ограничить максимальное количество газа, используемого на транзакцию. Это позволяет легко разбивать на части на границах транзакций. Параллелизм масштабируется. Задержка остается низкой. Какой следующий узкий момент для zkVM? Мощность. Достоверная живучесть 1-из-n доказателя означает, что домашнее доказательство должно быть доступно энтузиастам. Разумной целью может быть 10 кВт или меньше на кластер доказательства. Как мы увеличим лимит газа в 1,000 раз на бюджете в 10 кВт? → программное обеспечение: системы доказательств, схемы, алгоритмы продолжают расти → оборудование: закон Мура + SNARK ASICs → распределенное доказательство: распределите нагрузку, без доверия

🤯 Реальное доказательство в реальном времени уже здесь 🤯 Блоки Mainnet EVM доказаны менее чем за 1 слот Ethereum (12 секунд). Мурашки по коже. Succinct доказывает каждый блок Ethereum L1: → 94% менее чем за 12 секунд → 99% менее чем за 13 секунд → 99.9% менее чем за 12 секунд, скоро™ Вчера RISC Zero представила кластер домашних GPU стоимостью $120K — ожидается, что доказательства будут занимать 9.25 секунд. Brevis, OpenVM, Snarkify, ZisK, ZKM присоединятся к клубу реального времени через несколько недель. Скоро™ мой валидатор будет проверять блоки EVM на Raspberry Pi Pico — плате за $5, которая потребляет менее 1 Вт. Я откажусь от своего EL-клиента в пользу zkEL. Никакого 1 ТБ NVMe. Прощай, Geth, здравствуй, zkReth. Проверка без состояния и без RAM за миллисекунды на одном ядре процессора. С доказательством в реальном времени 1 гигагаз/сек (10K TPS) становится достижимым без ущерба для децентрализации валидаторов. С этого момента ожидайте регулярного увеличения лимита газа. 10% стейка уже голосуют за лимит в 60M — ваши валидаторы тоже могут. Snarkifying mainnet превращает Ethereum L1 в первый основанный и нативный rollup. Этап 2. Без ошибок. Децентрализованная последовательность. Без совета безопасности. Без управления. L1 будет лидировать по примеру. В эту пятницу мы празднуем. Присоединяйтесь к звонку Ethproofs #2, 23 мая в 14:00 UTC. 25 спикеров, 2 часа контента. Звонки открыты — напишите в DM @corcoranwill, чтобы получить приглашение в календарь. Мы становимся свидетелями истории. Верьте в что-то реальное. Верьте в доказательства в реальном времени.

Основные разработчики Ethereum не часто пишут в Твиттере о том, насколько сложна их работа, поэтому давайте поговорим об этом: 1. Каждая строка кода, которую они объединяют, может перемещать больше денег, чем большинство банков обрабатывают за квартал. Для этого нет тестового сервера. 2. Они меняют логику консенсуса для экономики стоимостью более 400 миллиардов долларов без планирования простоя. Никогда. 3. Они координируют сотни исследователей, аудиторов и клиентских команд через часовые пояса, культуры и философии, но все равно работают как единый разум. 4. Они делают все это публично, с каждым решением, подвергаемым анализу самой громкой аудитории в интернете, и все же сохраняют атмосферу сотрудничества. 5. Они проектируют для атакующих, у которых есть девятизначные стимулы и бесконечное терпение. И все равно спят. 6. Они поддерживают шесть независимых клиентов в идеальной синхронизации, чтобы один и тот же блок находился на одной высоте для каждого узла в мире. 7. Они превращают передовые исследования в производственный код, сохраняя обратную совместимость для машин, которые были подключены до того, как DeFi даже получил название. 8. Они отлаживают проблемы, которые происходят только раз в год на одном архивном узле, потому что кто-то где-то будет полагаться на этот крайний случай. 9. Они пишут криптографию, которая должна оставаться несломленной десятилетиями, пока сама математика развивается под их ногами. 10. Когда обновление проходит гладко, внешний мир пожимает плечами. Внутри Ethereum мы знаем, что это было небольшое чудо. Каждый успешный форк доказывает, что децентрализованная координация может превзойти лучшие иерархии мира и показывает, что открытые интернет-капитальные рынки теперь являются стандартом. Спасибо вам, действительно. Мы вам всем обязаны.

настроил свой валидатор на лимит газа 60M ⛽ → увеличение на 66% от 36M безопасно после Pectra → валидаторы устанавливают лимит — голосуйте своим → инструкции на PumpTheGas[.]org когда 1 гигагаз/сек (10K TPS) на Ethereum L1? → нужны доказательства zkEVM для потребительских устройств → звонок Ethproofs #2: доказательства в реальном времени → звонок Ethproofs #3: гигагаз L1 верьте во что-то

Упрощение L1

Представляем Ethereum R1 — нейтральный роллап, созданный для Ethereum Без жетона. Никаких частных продаж. Никакого культа управления. Только ценности Ethereum, государственное финансирование и контроль сообщества. 🧵 Почему R1 важен и как вы можете присоединиться:

1 гигагаз/сек (10K TPS) на Ethereum L1 с zkVMs без компромиссов: → потребительское оборудование (zkVMs) → домашний интернет (DAS) → устойчивость к цензуре (FOCIL) → 100% доступность (разнообразие клиентов) → 8K узлов консенсуса Создано для интернет-финансов. Верить в что-то реальное.

three new zkVMs unveiled on Ethproofs call #1 → Ix (Lean 4) by @argumentxyz → StarkV (RISC-V) by @StarkWareLtd → zCray (RISC-V inspired) by @IrreducibleHW