Вчора Ethereum виповнилося 10 років. Сьогодні lean Ethereum представлено як бачення — і особисту місію — на наступні 10 років. Ми стоїмо на зорі нової ери. Мільйони TPS. Квантові супротивники. Як Ethereum поєднує надзвичайну продуктивність із безкомпромісною безпекою та децентралізацією? TLDR: криптографія нового покоління має центральне значення для перемоги як у нападі, так і в захисті. Дисклеймер: Це дубль™ Дрейка, спрямований на широку аудиторію. Далі буде технічне глибоке занурення в постквантові сигнатури та СНАРКИ на основі хешування. Здорове розмаїття поглядів на Protocol, EF і ширшу спільноту Ethereum очікується та вітається. Це зміцнює нас. Оборона — режим форту Ethereum особливий. 100% час безвідмовної роботи з моменту Genesis. Неперевершене різноманіття клієнтів. $130 млрд на економічну безпеку (35,7 млн ETH на стейкінг × $3,7 тис.) — можливо, незабаром $1 трлн. Ethereum готовий стати основою Інтернету цінностей, забезпечивши сотні трильйонів протягом десятиліть і навіть століть. Ethereum повинен пережити все: національні держави, квантові комп'ютери. Що б не прийшло. Назвіть це режимом форту. Якщо інтернет працює, Ethereum працює. Якщо світ онлайн, світ ончейн. Образа — режим звіра Ethereum голодний. «Шкала L1, масштабні плями» — це стратегічна терміновість у кластері протоколів EF. Очікуйте низького приросту продуктивності протягом наступних 6–12 місяців. У довгостроковій перспективі? Подумайте про гігаги L1, тераги L2. Назвіть це режимом звіра. → 1 гігага/сек на L1: 10K TPS, амбітна вертикальна шкала → 1 терага/сек на L2: 1M TPS, розгалужена горизонтальна шкала Масштаб vs децентралізація? Чому не обидва. Потрібна нам математика Місяця тепер приручена: → zkVM у реальному часі для ощадливого виконання → вибірка доступності даних (DAS) для ощадливих даних Смачна вишенька на торті: повна верифікація ланцюга в кожному браузері, гаманці, телефоні. Ощадливе оновлення Lean Ethereum пропонує сміливі оновлення на всіх трьох підрівнях L1: → консенсусу Lean є Beacon Chain 2.0: посилений для максимальної безпеки та децентралізації, а також остаточність за лічені секунди; Раніше називався «Променевий ланцюг» → lean даних — це BLOBS 2.0: постквантові блоби, плюс детальний розмір BLOB-оба для досвіду розробника, схожого на calldata. → ощадливого виконання - це EVM 2.0: мінімальний, дружній до SNARK набір інструкцій (можливо, RISC-V; вимовляється як «п'ятий ризик»), що підвищує продуктивність при збереженні сумісності з EVM та її мережевих ефектів Рівень консенсусу (CL), рівень даних (DL), рівень виконання (EL) були переосмислені з перших принципів. Разом вони розблоковують режим форту та режим звіра. Мета: достаток продуктивності в умовах обмеженості незмінної спадкоємності, максимальної твердості та освіжаючої простоти. Бережлива криптографія Криптографія на основі хешу стає ідеальною основою для ощадливого використання Ethereum. Він пропонує переконливу, уніфіковану відповідь на дві мегатенденції, що змінюють екосистему: → вибухового підйому СНАРКІВ → квантової загрози, що насувається Уявіть собі найпростішу криптографічну цеглину — хеш-функцію — яка самотужки живить L1: → CL: апгрейд агрегованих підписів BLS на основі хешу → DL: оновлення зобов'язань KZG зобов'язань DAS на основі хешу → EL: оновлення zkVM у реальному часі на основі хешування, повторне виконання EVM Криптографічна перлина в кожному з lean CL, lean DL, lean EL. Пісне ремесло Lean Ethereum – це більше, ніж план для зміцнення та масштабування Ethereum. Більше, ніж просто подвоєння витрат на безпеку, децентралізацію та передову криптографію. Це естетика. Вид мистецтва. Ремесло. Згадайте Дзіро у снах про суші. Коли ми можемо зробити все можливе, ми це робимо. Мінімалізм. Модульність. Інкапсульована складність. Офіційна верифікація. Доказова безпека. Доведена оптимальність. Це тонкі, але важливі технічні міркування. Слідкуйте за публікацією про постквантову криптографію, яка зробить їх явними. Бережлива спадщина Після 10 фантастичних років lean Ethereum – це клятва поколінь. Щоб Ethereum залишався в мережі, незважаючи ні на що. Масштабувати його без компромісів. Щоб вона була гідною тих, хто йде наступним. Це про спадщину. Ми – будівельники, ми – місіонери. Ми – Ethereum. Сподіваюся, ви приєднаєтеся до нас.

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

Перевірка :) запитань і відповідей у режимі реального часу Що це? ELI12. Відповідь: Армія ботаніків щойно розв'язала науково-фантастичну задачу: доводити кожен блок основної мережі Ethereum у режимі реального часу. Ці zk-докази експоненціально дешевші для перевірки, ніж повторне виконання транзакцій — лише кілька мілісекунд, незалежно від використаного газу. Thicc блоки, крихітні валідатори. З децентралізації максі радіють. Чи не виявилося неможливим доведення в реальному часі математики Місяця? Відповідь: Було. П'ять років тому ми були на відстані п'яти порядків. Але технології продовжували збільшуватися в 10 разів на рік, і тепер ми тут. Не згасайте експоненці. Також, на експоненціях: → не згасають, квантові комп'ютери ламають ECDSA → не згасають, халвінг порушує безпеку Bitcoin Як Ethereum L1 стає «базовим і нативним зведенням»? Відповідь: Давайте розберемося. → основані: транзакції ордерів L1 offerers. Ethereum L1 – це базовий рівень, який має тавтологічно основу. → рідний: L1 виконує транзакції за допомогою закріпленої функції переходу станів EVM. За визначенням, Ethereum L1 є рідним. Завжди буде. → зведення: зведення має дані ончейн і виконання поза мережею. За допомогою EVM-блоків основної мережі Ethereum L1 перетворюється на zk-ролап. Rollup відкриває великі ліміти газу. База вже знаходиться на рівні 35 мегагаз/сек — 20x L1 Ethereum. Base націлена на 1 гігага/сек, Ethereum L1 також може туди потрапити. Вен гігагаз L1? A: Виклик Ethproofs #3 буде присвячений гігагам L1 — налаштовуйтесь. З EIP-9698 Dankrad пропонує ~3 рази на рік газові удари, або ~10 разів кожні 2 роки. Це в 1 000 разів за 6 років. Респектабельні, але все одно цифри новачків. Мій оптимістичний погляд? Тепер, коли zkVM відповідають обмеженням продуктивності EVM, можна відстежувати покращення zkVM. Якщо ми продовжимо досягати 10x/рік, це 1 гігага/сек за 3 роки. Я працював з Данкрадом більше десяти років — реальність зазвичай знаходиться між його обережністю і моїм хопіумом. Чи не глючить zkVM? А як щодо формальної верифікації? Відповідь: Формальна верифікація – це кінцевий результат, а не перший крок. Короткострокова стратегія: різноманіття zkVM. До кінця 2 кварталу кілька zkVM потраплять на перевірку в режимі реального часу. Так само, як і клієнти CL та EL, будь-який окремий клієнт вважається глючним. Безпека походить від різноманітності. Чи може доведення з низькою затримкою масштабуватися до гігагазів? Відповідь: Так. Доведення СНАРК піддається значному розпаралеленню. Лише початкове виконання та фрагментація x86 є послідовними. EIP-7825 пропонує обмежити максимальну кількість газу, що використовується за одну транзакцію. Це дозволяє легко розрізняти межі транзакцій. Масштаби паралелізму. Затримка залишається низькою. Яке наступне вузьке місце zkVM? Міць. Достовірна жвавість 1 з n prover означає, що домашні докази повинні бути доступними для ентузіастів. Обґрунтованим цільовим показником може бути 10 кВт або менше на кластер випробувань. Як збільшити ліміт газу в 1 000 разів при бюджеті 10 кВт? → програмне забезпечення: системи захисту, схеми, алгоритми постійного з'єднання → залізо: закон Мура + SNARK ASIC → розподілене доводиння: розподіляйте навантаження, не довіряючи

🤯 Доведення в реальному часі вже тут 🤯 Блоки EVM основної мережі перевірені в слоті Ethereum менше ніж 1 с (12 секунд). Мурашки по шкірі. Стисло доводить кожен блок Ethereum L1: → 94% за <12 с → 99% за <13 с → 99,9% за <12 роки, незабаром™ Вчора RISC Zero представила кластер домашніх графічних процесорів вартістю 120 тисяч доларів — докази очікуються за 9,25 секунди. Brevis, OpenVM, Snarkify, ZisK, ZKM - це тижні після приєднання до клубу в реальному часі. Незабаром™ мій валідатор перевірить блоки EVM на Rasberry Pi Pico — платі за 5 доларів, яка споживає <1 Вт. Я відмовлюся від свого EL клієнта на користь zkEL. No 1 ТБ NVMe. До побачення, Гет, здрастуй zkReth. Перевірка без стану та оперативної пам'яті за мілісекунди на одному ядрі процесора. Завдяки доказуванню в режимі реального часу 1 гігага/сек (10 тис. TPS) є в межах досяжності, без шкоди для децентралізації валідатора. Відтепер очікуйте на регулярні стрибки ліміту газу. 10% стейкінгу вже голосують за ліміт у 60 мільйонів — ваші валідатори теж можуть. Основна мережа Snarkifying перетворює Ethereum L1 на перший базовий і нативний зведення. Стадія 2. Без помилок. Децентралізована послідовність. Ніякої Ради Безпеки. Ніякого управління. L1 буде подавати приклад. Цієї п'ятниці ми святкуємо. Приєднуйтесь до нас на дзвінок Ethproofs #2, 23 травня о 14:00 UTC. 25 спікерів, 2 години контенту. Дзвінки відкриті — DM @corcoranwill для запрошення в календарі. Ми є свідками історії. Вірте в щось реальне. Вірте в докази в реальному часі.

Розробники ETH Core не пишуть багато в Твіттері про те, наскільки важка робота, яку вони виконують, тому давайте поговоримо про це: 1. Кожен рядок коду, який вони об'єднують, може перемістити більше грошей, ніж більшість банків обробляють за квартал. Для цього немає стейджингового сервера. 2. вони обмінюють логіку консенсусу на економіку 400 мільярдів + долар без планування простоїв. Ніколи не. 3. Вони координують сотні дослідників, аудиторів і команд клієнтів у різних часових поясах, культурах і філософіях, але при цьому працюють як єдиний розум. 4. Вони роблять все це публічно, при цьому кожне рішення розбирає найгучніша арахісова галерея в Інтернеті, і все одно підтримують спільну атмосферу. 5. Вони розраховані на зловмисників, які мають дев'ятизначні стимули та безмежне терпіння. Тоді вони все одно сплять. 6. Вони забезпечують ідеальну синхронізацію шести незалежних клієнтів, тому один і той же блок живе на одній висоті для кожного вузла у світі. 7. Вони перетворюють передові дослідження на виробничий код, зберігаючи при цьому зворотну сумісність для машин, які вийшли в мережу ще до того, як у DeFi з'явилася назва. 8. Вони налагоджують проблеми, які трапляються лише раз на рік на одному вузлі архіву, тому що хтось десь покладатиметься на цей крайовий випадок. 9. Вони пишуть криптографію, яка повинна залишатися непорушною протягом десятиліть, поки сама математика розвивається у них під ногами. 10. Коли оновлення приземляється, згладжується, зовнішній світ знизує плечима. Ми знаємо, що всередині Ethereum це було маленьке диво. Кожен успішний форк доводить, що децентралізована координація може перевершити найкращі світові ієрархії, і показує, що відкриті ринки капіталу в Інтернеті зараз є стандартними. Спасибі вам, щиро. Ми зобов'язані вам у всьому.

налаштував свій валідатор на ліміт ⛽ газу 60 М → 66% удару з 36М є безпечним після Pectra → валідатори встановлюють ліміт – голосуйте своїм → інструкції в PumpTheGas[.]org 1 гігага/сек (10K TPS) на Ethereum L1? → потрібні докази zkEVM для пристроїв споживачів → Дзвінок Ethproofs #2: перевірка в реальному часі → Виклик Ethproofs #3: gigagas L1 вірити в щось

Спрощення L1

Представляємо Ethereum R1 – нейтральний зведений пакет, створений для Ethereum Без токена. Жодних приватних продажів. Ніякого культу управління. Лише цінності Ethereum, державне фінансування та контроль спільноти. 🧵 Чому R1 важливий і як ви можете приєднатися:

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

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