TTF: Сколько времени нужно, чтобы сделка по роллапу была завершена?

原文标题:《Твит о времени свертки до завершения (TTF)》

Автор: @larry0x

编译:Фрэнк,Форсайт Новости

Прежде всего, что такое TTF и почему он важен?

Окончательность — это состояние, в котором транзакция никогда не может быть отменена, восстановлена или изменена, т. е. считается, что она решила соответствующую проблему транзакции.

TTF (time to finality) — это время, за которое торговый сигнал достигает своего конечного состояния с начала трансляции, а ниже приведены TTF нескольких выбранных цепочек:

! [TTF: Сколько времени нужно, чтобы сделка по роллапу была завершена?] (https://cdn-img.panewslab.com//panews/2022/11/15/images/1479927338818e02a46e6f57d2b767fd.)

TTF является важным параметром, имеющим множество применений:

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

Во-вторых, роллапы

Жизненный цикл блока роллапа состоит из 2 этапов:

(1) его данные публикуются на уровне доступности данных (DA);

(2) доказать свою действенность на уровне расчетов;

Стоит отметить, что TTF отличается для полных и легких узлов цепочек Rollup:

• В первом случае им не нужно ждать расчета (2), потому что, как только данные блока опубликованы в (1), они могут сразу же проверить валидность самостоятельно;
• В последнем случае им нужно дождаться процесса урегулирования;

На этапе подтверждения расчетов существует два типа сверток, в зависимости от используемого механизма:

• Валидные роллапы (также известные как роллапы с нулевым разглашением, zkRU). После того, как секвенсор генерирует блок, проверяющий (обычно тот же человек, что и секвенсор) представляет доказательство валидности, которое доказывает, что блок действителен с помощью некой криптографической магии.
• Оптимистичные роллапы(opRUs)。 Секвенсор генерирует блок, но не доказывает, что он действителен. Если он действительно недействителен, любой (доказывающий) может оспорить его, представив доказательство мошенничества, что приведет к отклонению блока. Если никто не докажет, что блокировка недействительна в течение периода времени, называемого периодом спора, блокировка считается действительной.

Примечание: Мне не нравится термин zkRU, потому что многие из этих систем доказательств на самом деле не являются методами нулевого разглашения, поэтому “Валидность Роллап” является более точным термином. Тем не менее, использование “zkRU” настолько распространено, что я использую его.

Есть также несколько важных вещей, которые нужно знать:

• На практике данные блока обычно не публикуются на уровне DA сразу после генерации блока. Секвенсор обычно немного ждет, а затем публикует несколько блоков массово (вероятно, чтобы сэкономить на плате за газ);
• Доказательства валидности также часто задерживаются, как правило, из-за того, что создание этих доказательств требует больших вычислительных ресурсов и времени;
• Доказательство действительности и мошенничество распространяются не только в блокчейне. Например, если кто-то присылает мне доказательство валидности вне сети, я могу быть уверен, что блок действителен, не дожидаясь (2) процесса урегулирования в сети.

Наконец, мы готовы обсудить, сколько времени нужно, чтобы сделка по роллапу достигла финального результата.

Для полных узлов процесс прост: как только блок (1) опубликован и завершен на уровне DA, он дорабатывается.

Если мы укажем:

• T1: Как часто блоки публикуются на уровне DA (например, если секвенсор публикует пакет на слое DA каждые 10 минут, то T1 = 10 минут)
• T2: TTF уровня DA

Тогда TTF роллапа = T1 + T2.

Для легких узлов они должны дождаться завершения (1) и (2). Для opRU время (2) является периодом оспаривания, а для zkRU — после того, как проверяющий сгенерирует и опубликует доказательство валидности.

Если мы укажем:

• T3: Для opRU — период вызова;
• T4: Для zkRU — время, когда доказательство валидности было опубликовано на расчетном уровне;
• T5: TTF расчетного слоя;

Кроме того, есть TTF для Rollup:

• Для опРУ: макс (Т1+Т2, Т3);
• Для zkRU: max(T1+T2,T4+T5);

«Максимум» в этих уравнениях означает, что нам нужно дождаться завершения DA и процесса расчета, в зависимости от того, что дольше (почти всегда урегулировано).

Вот в чем проблема! Помните, мы говорили, что доказательства также могут распространяться вне блокчейна. Для zkRU, если мы получаем доказательство валидности вне сети, то мы можем сразу сказать, что транзакция завершена, не дожидаясь процесса ончейн-расчетов.

За opRU сложно сказать. Период оспаривания (T3), как правило, является более длительным из-за опасений, что уровень урегулирования может рассмотреть доказательства мошенничества. Так что это действительно зависит от вашей толерантности к риску. Если вы уверены, что уровень расчетов не проверит транзакцию, вы можете подождать более короткий период времени. В противном случае вы будете ждать дольше, но вам не придется ждать дольше Т3.

Подведем итоги:

! [TTF: Сколько времени нужно, чтобы сделка по роллапу была завершена?] (https://cdn-img.panewslab.com//panews/2022/11/15/images/dc879d6785275eb291bbc2cae4b7bc1d.)

Вот два реальных примера: Arbitrum и zkSync. Они используют Ethereum для DA и расчетов, поэтому T2 = T5 = 13 минут.

• Секвенсор Arbitrum публикует данные примерно каждые T1 = 6 минут, а период вызова Arbitrum составляет T3 = 1 неделя;
• секвенсор zkSync публикует данные примерно каждые T1 = 3 минуты, доказывая, что они публикуются не регулярно, а в среднем раз T4 = 1 час;

Мы также можем рассмотреть гипотетический zkRU, использующий Celestia для DA, что, на мой взгляд, ближе к конечному результату:

• T1 = 0 (Celestia дешевая, поэтому будем считать, что блок публикуется, как только он сгенерирован);
• T2 = 12 секунд;
• T4 = время генерации доказательства, в зависимости от системы доказательства;

! [TTF: Сколько времени нужно, чтобы сделка по роллапу была завершена?] (https://cdn-img.panewslab.com//panews/2022/11/15/images/edba98503458c791b1db04f99e9d7a91.)

Наконец, краткое обсуждение того, что все это значит

Как вы знаете, я фанат Cosmos, а IBC использует клиент легкого узла для проверки пакетов, поэтому вам нужно дождаться TTF, как показано в столбце «Для легких узлов» на изображении выше.

Для opRU это может занять до 1 недели (если вы не слишком уверены в устойчивости Ethereum к цензуре), что слишком долго для практических целей. Вот почему для opRU мы должны использовать мосты с полными узлами, такие как Axelar и Wormhole, которые состоят из множества операторов, работающих на полных узлах.

Недостатком является то, что мы должны доверять этому набору операторов, который может быть не так экономически безопасен, как цепочка отправителей, поэтому я настроен по-медвежьи по отношению к opRU.

Для нормальных zkRU нам просто нужно дождаться доработки DA (16 минут на Ethereum) + время генерации доказательства, нам не нужно ждать, пока будут выпущены доказательства на Ethereum — это главное преимущество перед opRU!

Это также один из способов, с помощью которого, на мой взгляд, Celestia может улучшить кроссчейн опыт Rollup. На Ethereum мы ждем всего 12 секунд + время генерации доказательства, а не 16 минут. Клиенты легких узлов могут использовать QGB для проверки доказательств от валидатора Celestia (который, как я предполагаю, теперь переименован в Blobstream), или, возможно, выборку DA.