15 грудня 2022

Деталі оновлення Mumbai: роллапи у мейннеті та бейкінг блоків за 15 секунд!

Наступне оновлення — Mumbai — стане найпомітнішим покращенням Tezos після переходу на алгоритм консенсусу Emmy* в оновленні Granada.

По-перше, роллапи, про які ми часто писали, з’являться в мейннеті. По-друге, validation pipelining project дозволить зменшити час створення блоку з 30 до 15 секунд!

Pipelining — зменшення часу створення блоку

Ноди Tezos послідовно перевіряють валідність операцій (швидко), застосовують їх (повільно) і лише потім починають розповсюджувати у мережі (швидко). Pipelining оптимізує процес: нода спочатку перевіряє всі операції, потім розповсюджує блок і лише тоді їх застосовує.

У минулому оновленні Kathmandu розробники активували Pipelining для manager operations: транзакцій, делегування, деплою смарт-контрактів, розкриття публічних ключів та інших. У поточному оновленні Lima розробники включили до Pipelining всі можливі операції.

В Mumbai Pipelining почнуть застосовувати для створення блоків. Це означає, що бейкер почне розповсюджувати новий блок мережі відразу після того, як перевірить валідність його вмісту. Лише потім він розпочне ресурсозатратне застосування операцій.

Використання Pipelining на практиці дало core-розробникам впевненість у тому, що з ним Tezos зможе працювати швидше та без загрози для безпеки. В результаті вони прийняли рішення зменшити час створення блоку з 30 секунд до 15.

У результаті транзакції фіналізуватимуться швидше, хоча протоколу доведеться скоригувати тривалість епох, розмір винагород за бейкінг та деякі інші змінні.

Активація Smart Optimistic Rollups

Ролапи — L2-рішення для масштабування децентралізованих додатків. Ролапи отримують транзакції від користувачів, виконують їх в офчейні та регулярно публікують в L1-мережі результати виконання всіх накопичених операцій. Завдяки «відірваності» від L1, роллапи досягають вищої пропускної спроможності з транзакційними комісіями нижче, ніж в основній мережі.

У трьох останніх оновленнях протоколу core-розробники розвивали реалізацію ролапа в тестнетах: спочатку TORUs тільки для транзакцій, потім SCORUs для виконання смарт-контрактів, потім Kernel-Based Optimistic Rollups з можливістю запустити L2 з будь-якою віртуальною машиною.

Smart Rollups — саме Kernel-Based Optimistic Rollups. За допомогою їх можна запустити L2-ноду з EVM, WASM або іншою віртуальною машиною, в якій користувачі будуть працювати з програмами, написаними будь-якою мовою.

Smart Rollups допоможуть Tezos досягти пропускної спроможності понад мільйон транзакцій за секунду і дати розробникам основу для реалізації швидких додатків. Наприклад, ігор із записом кожної дії або децентралізованих бірж деривативів із книгами ордерів.

Smart Rollups — оптимістичні, тобто мережа автоматично вважає стан роллапа в L1 валідним, якщо хтось не доведе факту обману. Тому в Smart Rollups буде система рефутації (refutation) для покарання нечесних операторів нод. Користувачі зможуть вивести кошти з ролапів тільки після закінчення спірного періоду.

Ролапи на Tezos відрізняються від інших реалізацій тим, що вони вбудовані у протокол. Це спрощує та здешевлює їхнє розгортання, а також дозволяє реалізувати корисні інструменти для роботи з ними на зразок global inbox.

Epoxy — ZK-ролапи на Tezos

Оптимістичні роллапи потребують спірного періоду та зовнішніх перевірок. Їхні транзакції довго досягають фінальності на L1.

ZK-ролапа використовують інший механізм: при оновленні стану на L1 вони публікують криптографічні докази валідності змін. В результаті операції в ZK-ролапі одразу вважаються валідними на L1.

Крім того, ZK-ролапи можна використовувати для роботи з даними, які не варто записувати на L1. Всі деталі операцій зберігатимуться на машинах роллап-операторів, а на блокчейні Tezos будуть лише криптографічні докази з нульовим розголошенням.

Реалізація ZK-ролапа від Nomadic Labs називається Epoxy. Підписуйтесь на їхній блог, щоб першими дізнатися деталі. А також підписуйтесь на нас — ми теж про них розповімо, коли ZK rollups з’являться на Mondaynet.

Підписуйтесь на соціальні мережі Tezos Ukraine, щоб нічого не пропустити: