TTF: Скільки часу потрібно, щоб завершити угоду rollup?

原文标题:《Твіт про час зведення до фіналу (TTF)》

Написано: @larry0x

编译:Frank,Foresight News

Перш за все, що таке 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 chains:

• Для перших їм не потрібно чекати, поки (2) розрахується, тому що як тільки дані блоку будуть опубліковані в (1), вони можуть відразу ж самі перевірити валідність;
• Для останніх потрібно дочекатися процесу розрахунку;

Під час фази підтвердження розрахунків на рівні розрахунків існує два типи зведень, залежно від механізму, який вони використовують:

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

Примітка: Мені не подобається термін zkRU, тому що багато з цих систем доказів насправді не є методами з нульовим розголошенням, тому “Validity Rollup” є більш точним терміном. Однак використання “зкРУ” настільки поширене, що я його використовую.

Також є кілька важливих речей, які потрібно знати:

• На практиці дані блоку зазвичай не публікуються на рівень 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 - час, коли доказ дійсності був опублікований на розрахунковому рівні;
• Т5 - ТТФ розрахункового шару;

Крім того, є TTF для зведення:

• Для opRU: max (T1+T2, T3);
• Для zkRU: max(T1+T2,T4+T5);

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

Ось у чому проблема! Пам’ятаєте, ми говорили, що докази також можна розповсюджувати поза мережею. Для zkRU, якщо ми отримаємо доказ валідності off-chain, то ми можемо відразу сказати, що транзакція завершена, не чекаючи процесу розрахунків у мережі.

За опРУ сказати важко. Період оскарження (Т3), як правило, довший через побоювання, що рівень розрахунків може переглянути докази шахрайства. Тож це дійсно залежить від вашої толерантності до ризику. Якщо ви впевнені, що розрахунковий рівень не перевірить транзакцію, ви можете зачекати коротший проміжок часу. В іншому випадку ви будете чекати довше, але довше Т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 дешева, тому ми припускаємо, що блок публікується відразу після його генерації);
• Т2 = 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.