Прогресс, достигнутый @SuccinctLabs и @RiscZero в направлении доказательства в реальном времени, впечатляет. QT-ing не для критики, а потому что я думаю, что эти вопросы действительно интересны (и мне бы хотелось увидеть, как RTP достигает Ethereum!). 1. Доказательство всех исторических блоков Ethereum за 12 секунд недостаточно, чтобы покрыть время работы провайдера в худшем случае. Это важно, потому что существуют возможные патологические ("убийцы провайдеров") блоки, где стоимость доказательства >> стоимость газа (стоимость доказательства — это мера задержки или $). Первый шаг — доказательство всех исторических блоков за 12 секунд. Но этого недостаточно. Нам нужно работать над выявлением патологических случаев, которые еще не появились в Ethereum. Не уверен, какова стоимость для SP1, но что-то вроде целого блока, полного extcodehash, может быть дорого в терминах задержки. 2. Формальная верификация также должна охватывать компилятор 😱 @argumentxyz написал хорошую статью о частоте, с которой находят ошибки компилятора (короче говоря, существует определенный класс "ошибок неправильной оптимизации", которые потенциально могут быть использованы в zkVM для создания проблем с надежностью. Эти ошибки находят довольно часто. @drakefjustin утверждал, что мы можем обойти это с помощью многих реализаций zkVM. Но это не сработает, если эти zkVM используют одну и ту же цепочку инструментов компилятора и уязвимы к одним и тем же ошибкам. 3. Доказательство на дому не нужно Я думаю, что согласен с тем, что доказательство на дому не обязательно. Мы уже полагаемся на экстра-протокольных участников, таких как строители, для создания блоков. Гарантия, которую мы хотим, заключается в том, что *кто-то* всегда доступен для генерации доказательств. Отложение RTP для сценария WW3, когда все провайдеры выходят в офлайн, кажется избыточным. Возможно, в этом сценарии Ethereum мог бы вернуться к режиму, где лимит газа уменьшается, и блоки повторно выполняются, а не проверяются с помощью ZKP. 4. Увеличение лимита газа в 100 раз может создать проблемы Параллельное доказательство определенно помогает, но время так ограничено, что нам нужно учитывать генерацию свидетелей (не параллелизуемую во многих zkVM) и рекурсию. Нагрузка от рекурсии должна масштабироваться логарифмически, но если лимит газа увеличится в 100 раз, время доказательства может превысить время блока. Бонус - я бы утверждал, что для Ethereum действительно важно сократить время блоков и время до окончательности, чтобы помочь пользователям перейти на L2, мостить из CEX и т.д. Это увеличивает требования к задержке на доказательство. Было бы не оптимально, если бы мы не смогли перейти к времени блоков в 1 секунду, потому что нижняя граница задержки RTP в худшем случае составляет 10 секунд.