L2-исследования. Часть I. Optimistic (Optimism)

С этой публикации попробую рассказать об уровне L2 уже не общие сведения и основные тенденции возможного развития, но практику применения. И начну с радужного названия — Optimistic: впрочем, прежде следует знать, что Optimistic != Optimism и вот почему…

Optimism — понятие родовое

С чего бы ни начинали: начать следует отсюда — https://ethereum.org/en/developers/docs/scaling/layer-2-rollups/. Спускаемся до нужного раздела и читаем:

Что же такое Optimistic Rollups (буквально — оптимистичные роллапы)?

OR  располагаются параллельно основной цепочке Ethereum — на уровне L2. Они могут предложить улучшения в масштабируемости, поскольку по умолчанию не выполняют никаких вычислений. Вместо этого после транзакции они предлагают новое состояние Mainnet, [то есть в своём роде] «нотариально заверяют» транзакцию.

В Optimistic rollups транзакции записываются в основную цепочку Ethereum как calldata, что ещё больше оптимизирует их за счёт снижения затрат на газ.

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

[Что касается оспаривания, то здесь позиция по OR следующая]:  OR НЕ делают вычислений к транзакции, поэтому необходим механизм, позволяющий убедиться, что транзакции являются легитимными, а не мошенническими. Здесь на помощь приходят т.н. доказательства мошенничества (fraud proofs). Если кто-то заметит мошенническую транзакцию, роллап выполнит проверку на мошенничество и запустит вычисления транзакции, используя доступные данные о состоянии. Это означает, что время ожидания подтверждения транзакции может быть больше, чем при ZK-роллапе (о них разговор — впереди), поскольку транзакция может быть оспорена.

Вот как описывается действующая система залога: «любой, кто может предпринять действия, которые придётся доказывать, чтобы защитить свои средства, должен внести залог. По сути, вы берёте немного ETH, блокируете их [на смарт-контракте] и говорите: «эй, я обещаю говорить правду… Если я не скажу правду и мошенничество будет доказано, эти деньги будут уничтожены [правильней — взяты у вас]”. И не только [нужная] часть этих денег будет урезана, но и часть из них пойдёт на оплату GAS-а, который люди потратили на доказательство мошенничества». Таким образом, стимулы [просты]: участники получают наказание за мошенничество и компенсацию за доказательство мошенничества.

Такой подход имеет свои достоинства и недостатки. Коротко о них: 

1. Плюсы: 
   1. Всё, что можете сделать на первом уровне Ethereum -можете сделать с помощью Optimistic rollups, поскольку механизм сей совместим с EVM и Solidity. 
   2. Все данные о транзакциях хранятся в цепи L1, что означает их безопасность и децентрализованность.
2.  Минусы: 
   1. Длительное время ожидания транзакции в цепи L1 из-за потенциальных проблем с мошенничеством.
   2. Оператор может влиять на порядок транзакций.

Собственно, RO на сегодня реализованы в следующих имплементациях:

1. Arbitrum — самое крупное решение с TVL доходящим до миллиардов долларов. О нём — в следующий раз;
2. Optimism — то, что изучаем сегодня;
3. Boba;
4. Fuel Network;
5. Cartesi…

Наконец, напомню таки общее видение значимости L2 от себя:

1. Каналы и роллапы как наступившее будущее и даже чуть больше;
2. Токенизация платёжных каналов/роллапов: часть I; 
3. Токенизация платёжных каналов/роллапов: часть II; 
4. Каналы и DeFi.

Теперь, зная всё это и понимая на каком-то уровне, — посмотрим на процесс изнутри. 

Optimism в картинках

Итак, прежде всего вам стоит взайти на мост: https://gateway.optimism.io/, где следует обменять ETH и/или другие активы на Эфириуме (L1) на L2-аналоги. Внимание! В ноябре 2021 года это может показаться довольно дорогим удовольствием: 

Никаких нестандартных шагов нет — вводите сумму и получаете нужное количество в новой (под) сети: 

Риск комиссий при этом — далеко не единственный: скажем, в транзакции https://etherscan.io/tx/0xaf74417a1315b41bf9af8dbe094fe340062884a5b06f81b1e1462e2e99aa32f4 было указание: “хотя произошла одна или несколько ошибок [Отменено] Исполнение контракта завершено”. В целом — об этом чуть ли не на каждой странице говорится: мол, всё ещё сыро, поэтому — будьте бдительны и осторожны. В этом смысле дорогие транзакции — спасение для неофитов:

После того, как дали апрув на депозит — нужно ждать: и тут всё зависит от загрузки основной сети Эфира:

Повторюсь, ждать можно долго:

Иногда — очень, иногда — просто долго:

ДИСКЛЕЙМЕР! Кстати, если, вдруг, не заметили разницу между слайдом №04 и №05 — лучше не начинайте практическую работу с роллапами: рано. 

Но малой надеждой служит лишь то, что TVL постоянно растёт (в среднесрочной перспективе по крайне мере):

Вторым утешением следует назвать — само завершение транзакции обмена (свопа) поскольку всё всегда может завершиться просто сжиганием топлива:

Но вдумчивый читатель может задать резонный вполне вопрос: “ради чего всё это?!”. Что ж, отвечу тоже визуалом: 

Дёшево. Масштабируемо. Относительно безопасно. Хотя и долго: неделя на вывод — это ли не перебор в моменте, когда Zilliqa, Polygon и прочие борются за тысячи и тысячи TPS? Нет, не перебор, но это уже другой ответ — другого исследования. 

Лучше пойдём дальше и посмотрим на результат — https://optimistic.etherscan.io/tx/0x265be620135ed419257ed1dd209501461bc05160e6ebc84923c7a9849954344c: 

Да, сканер находится именно на поддомене: https://optimistic.etherscan.io! 

Собственно, на фронтенде dApps-а/сайта, где делали своп — успех будет обозначен следующим образом:

Теперь — подключаем сеть к Metamask — параметры тоже все ожидаемые:

После добавления и, соответственно, переключения — находим свои ETH-шечки на втором уровне и отправляем на другой кошелёк (уже внутри роллапа): 

Обходится это (см. выше) дёшево и происходит быстро — https://optimistic.etherscan.io/tx/0x12b8aa9c1950e304d507a4f9424c28737f485c8c03a0dffbe40eda1f6918a9ec: 

Обратите внимание, что к индексу, как и обычно в таких случаях, будет приписка: “Confirmed by Sequencer”. 

Что же дальше? Можете, например, попробовать торговлю на Uniswap (впрочем, как показывают их же графики — сделать это не на Arbitrum будет не просто): 

Статистика:  https://info.uniswap.org/#/optimismpools. Что касается F.A.Q., то его найти можно здесь: ответы развёрнутые и иллюстрированные. В купе с документацией: https://community.optimism.io/docs/users/getting-started.html проекта — должно быть всё понятно. 

В целом, найти dApps-ы можно по линку: https://www.optimism.io/apps/all. Я рекомендую, проме UNI, попробовать ещё и https://www.lyra.finance/ и https://app.1inch.io/#/1/swap/ETH/DAI: вас ждёт немало сюрпризов. Приятных или нет — решать тоже вам ;). 

Хотя в целом — процесс ровно такой же, как и на уровне L1 и поэтому знаний стандартных DeFi-операций будет достаточно:

Или аналогичный пример — в другом интерфейсе:

Оптимистичные выводы

Да, если вы — новичок, возможно, всё это шокируют: комиссии, время ожидания и прочее. Но лично мне есть что и с чем сравнивать: помню 2014-2017 гг., когда каналы были лишь ярким, но концептом, 2018-2020 гг., когда всё это только-только затронуло массовый сегмент и сегодня — когда в пару кликов можно не только начать торговать в каналах, но в общем-то — сделать свой. Об этом ещё поговорим. 

А пока — рекомендую изучить доп. материал и подождать разбора других решений. 

Ссылки

1. Чуть больше о смарт-контрактах; 
2. Погружаемся в Эфир: часть I; 
3. Погружаемся в Эфир: часть II; 
4. И немного тренировки на практике.

Зачем это нужно — в другой раз поясню, а пока

До!