В @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 узлов консенсуса Создано для интернет-финансов. Верить в что-то реальное.

три новых zkVM были представлены на звонке Ethproofs #1 → Ix (Lean 4) от @argumentxyz → StarkV (RISC-V) от @StarkWareLtd → zCray (вдохновленный RISC-V) от @IrreducibleHW

СЕЙЧАС В ЭФИРЕ - Стратегический поворот Ethereum: План по восстановлению доминирования Исследователи @ethereumfndn @dankrad и @adietrichs присоединяются к @TrustlessState и @MikeIppolito_, чтобы обсудить кризис идентичности @ethereum и как он меняет курс. Они разбирают культурные и организационные вызовы Ethereum, поворот к росту L1 и эволюционирующую роль Фонда Ethereum под новым руководством. В разговоре обсуждаются будущее базовых и нативных роллапов, согласование L2 и почему уникальные ценности Ethereum все еще важны в конкурентной среде. -------------- ТАЙМ-КОДЫ 0:00 Введение 5:42 Основные проблемы Ethereum 12:33 Отсутствие роста в Ethereum Layer 1 27:49 Дилемма дорожной карты Ethereum 38:08 Прогресс масштабирования Layer 1 39:08 Ценностное предложение Ethereum L1 для L2 48:44 Объяснение базовых и нативных роллапов 57:25 Канонический EVM в мире роллапов 1:01:26 Видение Виталика по масштабированию L1 1:05:59 ZK масштабирование становится реальностью 1:08:12 Быстрые времена блоков и DeFi 1:16:59 Эволюция основной культуры Ethereum 1:22:38 Другие интересные изменения 1:26:41 Направление Ethereum теперь ощущается иначе 1:30:09 Закрытие и раскрытие информации