Перевірка :) запитань і відповідей у режимі реального часу Що це? 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 → розподілене доводиння: розподіляйте навантаження, не довіряючи