У @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

LIVE NOW - Стратегічний стрижень Ethereum: план відновлення домінування @ethereumfndn дослідники @dankrad і @adietrichs приєднуються до @TrustlessState і @MikeIppolito_, щоб обговорити кризу ідентичності @ethereum і те, як вона змінює корабель. Вони розбивають культурні та організаційні проблеми Ethereum, поворот до зростання L1 і еволюцію ролі Ethereum Foundation під новим керівництвом. Розмова охоплює майбутнє базових і нативних зведень, вирівнювання L2 і те, чому унікальні цінності Ethereum все ще важливі в конкурентному середовищі. -------------- МІТКИ 0:00 Вступ 5:42 Головні проблеми з Ethereum 12:33 Відсутність зростання рівня 1 в Ethereum 27:49 Дилема дорожньої карти Ethereum 38:08 Прогрес масштабування рівня 1 39:08 Ціннісна пропозиція Ethereum L1 для L2 48:44 Пояснення базових і рідних ролапів 57:25 Canonical EVM у світі Rollup 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 Закриття та розкриття інформації