Вчорашнє оголошення про випробування в режимі реального часу є важливою віхою, і @VitalikButerin піднімає деякі позитивні моменти щодо подальшої роботи, яка буде потрібна. АЛЕ я думаю, що ми ближчі в усіх цих пунктах, ніж люди можуть собі уявити... 1. Найгірший випадок доведення в реальному часі можна вирішити за допомогою простих змін у графіку газу Ethereum: сьогодні ~94% блоків можна перевірити за < 12 секунд, 99% блоків можна довести за < 13 секунд. Для решти викидів має вистачити простих коригувань газового графіка Ethereum (наразі попередні компіляції bn254, bls12-381 мають занижену ціну порівняно з їхніми витратами на доказ). Крім того, EIP, що обмежує максимальне використання газу однією транзакцією, допоможе забезпечити відсутність векторів DDOS (оскільки ми доводимо субблоки транзакцій паралельно, щоб досягти нашої низької затримки). 2. Офіційна верифікація для SP1 вже триває: Зручно, що минулого тижня ми отримали 2 оголошення про офіційну верифікацію для SP1, працюючи з @NethermindEth та @VeridiseInc! У нас є чітке бачення для офіційної перевірки всіх наших основних AIR протягом наступних кількох місяців. 3. Домашні докази не потрібні з децентралізованими мережами: зараз RTP вимагає ~160 графічних процесорів, що дуже мало для будь-якого дата-центру, але може бути трохи великим для домашньої установки. Однак з майбутніми запусками децентралізованих мереж я не впевнений, що нам потрібно прагнути до доведення у себе вдома. Мережа економічно стимулюватиме те, що в Інтернеті завжди є докази, готові довести в режимі реального часу. 4. Паралельне доведення субблоків означає, що 100-кратне обмеження газу не є проблемою для затримки: я за 100-кратне обмеження газу, і це не буде для нас проблемою. Наша реалізація перевірки в реальному часі використовує підхід субблоків, коли ми беремо блок і розбиваємо його на менші підблоки по кілька транзакцій. Ці підблоки доводяться паралельно, а потім агрегуються в 1 доказ в кінці. Навіть якщо ліміт газу збільшиться в 100 разів, ми все одно зможемо провести паралельне доведення підблоків (їх просто більше), тобто це не вплине на затримку. Вірте в щось реальне. Вірте в докази в реальному часі.