Объявление о реальном времени доказательства вчера стало огромной вехой, и @VitalikButerin поднимает несколько хороших вопросов о дальнейшей работе, которая будет необходима. НО я думаю, что мы ближе ко всем этим пунктам, чем люди могут осознавать... 1. В худшем случае реальное время доказательства можно решить простыми изменениями в газовом расписании Ethereum: Сегодня ~94% блоков можно доказать за < 12 секунд, 99% блоков можно доказать за < 13 секунд. Для оставшихся выбросов простые корректировки в газовом расписании Ethereum должны быть достаточными (в настоящее время предкомпиляции bn254, bls12-381 недооценены относительно их затрат на доказательство). Также EIP, ограничивающий максимальное использование газа одной транзакцией, поможет гарантировать, что не будет векторов DDOS (поскольку мы доказываем подсекции транзакций параллельно, чтобы достичь низкой задержки). 2. Формальная верификация для SP1 уже в процессе: Удобно, что на прошлой неделе у нас было 2 объявления о формальной верификации для SP1, работа с @NethermindEth и @VeridiseInc! У нас есть четкое представление о формальной верификации всех наших основных AIR в течение следующих нескольких месяцев. 3. Доказательство на дому не требуется с децентрализованными сетями доказателей: В настоящее время RTP требует ~160 GPU, что очень мало для любого дата-центра, но может быть немного много для домашней установки. Однако с предстоящими запусками децентрализованных сетей доказателей, я не уверен, что нам нужно стремиться к доказательству на дому. Сеть экономически стимулирует наличие всегда онлайн-доказателей, готовых к реальному времени. 4. Параллельное доказательство подсекций означает, что увеличение лимита газа в 100 раз не будет проблемой для задержки: Я полностью за увеличение лимита газа в 100 раз, и это не будет проблемой для нас. Наша реализация реального времени доказательства использует подход с подсекциями, где мы берем блок и разбиваем его на меньшие подсекции из нескольких транзакций. Эти подсекции доказываются параллельно, а затем агрегируются в 1 доказательство в конце. Даже если лимит газа увеличится в 100 раз, мы все равно можем параллелизовать доказательство подсекций (просто их станет больше), что означает, что задержка не будет затронута. Верить в нечто реальное. Верить в реальное время доказательства.