Автор: @yyy

Coinbase объявила, что выйдет на рынок и построит L2 на основе OP Stack — @BuildOnBase. Настроение «бычьего оптимизма» снова вспыхнуло. Пользуясь случаем, в этом твите речь пойдет о периоде испытаний оптимизма.

Как мы все знаем, вывод средств второго уровня Optimism в основную сеть Ethereum требует 7-дневного периода проверки.

Так почему именно 7 дней? 3 дня? Не 5 дней?

Прежде чем ответить на этот вопрос, давайте сначала поймем, почему требуется период испытания.

Накопительные пакеты улучшают производительность сети Ethereum, отделяя уровень исполнения от Ethereum. Это означает, что транзакции выполняются на втором уровне, но для того, чтобы унаследовать безопасность основной сети Ethereum, транзакции, происходящие на втором уровне, должны быть проверены в основной сети.

Проще говоря, сеть Ethereum должна подтвердить, что транзакция, отправленная секвенсором, действительно произошла на втором уровне, то есть достоверность транзакции.

Rollup делится на zk-Rollup и Optimistic Rollup из-за разных методов проверки действительности транзакции.

Методы проверки в основном делятся на две категории: доказательство с нулевым разглашением и доказательство мошенничества. В рамках механизма доказательства с нулевым разглашением транзакции завершаются практически мгновенно.

Для ORU, основанных на доказательстве мошенничества, окончательность транзакции зависит от продолжительности периода проверки, что объясняет, почему для вывода средств Optimism со второго уровня в основную сеть требуется 7 дней.

В рамках механизма ORU можно предположить, что все транзакции Rollup, отправленные секвенсором, являются действительными. Затем в течение периода проверки верификатор может инициировать доказательство мошенничества, если обнаружит недействительную транзакцию.

Если никто не оспаривает по истечении периода оспаривания, транзакция будет считаться действительной по умолчанию, и на данный момент транзакция будет окончательной.

Но действительно ли период испытания занимает семь дней? Давайте сначала упростим весь процесс проверки: верификатор обнаруживает недействительную транзакцию, восстанавливая корень состояния, а затем выдает доказательство мошенничества. Эта серия действий требует времени, а это значит, что период вызова не может быть равен 0.

Мы предполагаем, что описанный выше процесс вызова очень быстрый: требуется 10 блоков (около 2 минут).

Конечно, невозможно иметь такой быстрый ответ, поэтому если мы замедлим время в 10 раз, до 100 блоков (около 20 минут), это время будет намного короче, чем 50 400 блоков (7 дней).

Приведенное выше обсуждение основано на самой идеальной ситуации. Что, если кто-то совершит зло в сети? Сколько времени нужно, чтобы обнаружить злодеев?

Или, говоря иначе, насколько долго необходимо продлить период испытания, чтобы предотвратить злонамеренное поведение? Плохое поведение здесь заключается в том, чтобы предотвратить получение мошеннических доказательств валидаторами путем публикации большого количества транзакций для увеличения газа в течение определенного периода времени.

Здесь мы делаем еще одно предположение, предполагая, что риск Оптимизма составляет 2 миллиарда долларов США, и злоумышленник готов потратить 1 миллион долларов США в виде чаевых за газ (приоритетных сборов) за блок для «предварительных» транзакций, которые содержат доказательства мошенничества.

Тогда максимальное время, в течение которого сеть может быть «захвачена», составляет 2000 блоков (6,67 часа). Конечно, предыдущие примеры основаны на очень простых и грубых предположениях.

Кажется, как ни посмотри, период испытания не обязательно должен составлять целых 7 дней. Трудно понять нелинейную зависимость между продолжительностью периода оспаривания и безопасностью.

Возможно, 7 — очень значимое число для основателя Optimism, точно так же, как все догадались, что Сатоши Накамото был футбольным энтузиастом во время 4-летнего цикла сокращения биткойнов вдвое.

Итак, можно ли сократить период проверки ORU до 3-5 дней без ущерба для безопасности? Да, но он не очень оптимизирован для удобства пользователей.

А как насчет сокращения периода испытания до 1-2 дней? Кажется, имеет смысл эффективно оптимизировать взаимодействие с пользователем.

@0xMantle, ORU, созданный BitDAO, может сократить период проверки до 1–2 дней. Логика оптимизации периода вызова основана на схеме MPC.

Проще говоря, секвенсор не отправляет пакет транзакций напрямую в Ethereum, а сначала отправляет его в сеть MPC, которая совместно подписывается узлами MPC. После подтверждения того, что транзакция действительна, она отправляется в Ethereum.

Итак, основные различия заключаются в следующем:

Optimism отправляет пакет, содержащий корень состояния, в Ethereum в качестве результата выполнения;

Mantle отправляет пакеты, содержащие корни состояний, совместно подписанные узлами MPC, в качестве результатов выполнения в Ethereum.

Целью является снижение риска доверия к результатам выполнения Rollup.

Но в конечном итоге проверка MPC по-прежнему остается решением для проверки вне сети, что лучше, чем ничего, и обеспечивает дополнительный психологический комфорт для пользователей.

Если использовать неуместную метафору, схема проверки MPC похожа на децентрализованную схему zk. Безопасность первой основана на экономических предположениях, а вторая — на криптографической проверке.

Вышеизложенное представляет собой некоторые мысли и обсуждения относительно периода испытаний ORU. Они не очень логичны и их следует использовать в качестве предложений. Кстати, я все еще с нетерпением жду возможности увидеть в будущем ORU (уровни разделения времени) со значительно сокращенными периодами испытаний.