Коротко говоря: Независимо от технических ограничений Bitcoin L2, мы считаем, что индустрия должна уделять первостепенное внимание программируемости BTC и совместимости с активами и пользователями других сетей.
Наша миссия в ZetaChain заключается в создании универсальных приложений, охватывающих все сети - от нативных Bitcoin и Ethereum до Cosmos, Solana и других. Именно поэтому мы создали первый универсальный блокчейн для поддержки абстрактного UX для всех криптовалют - независимо от того, где находится пользователь: в Биткойне, EVM, L2 или где-то еще. В этом посте мы рассмотрим Bitcoin L2 и ответим на следующие вопросы с преимущественно технической точки зрения:
Решения второго уровня изначально были феноменом Ethereum, и за последние несколько лет их появилось сотни. Многие из этих проектов были направлены скорее на получение прибыли за счет маркетинга, чем на реальные улучшения инфраструктуры и инновации. Однако в последнее время вокруг "L2" на Биткоине начал формироваться новый нарратив. Основная идея этих решений заключается в том, что они наследуют или получают безопасность от своего базового первого уровня - в данном случае от Биткоина.
Это привлекательно, поскольку сеть Биткоина может похвастаться высокой степенью безопасности, а решения второго уровня могут помочь Биткоину увеличить пропускную способность, снизить стоимость транзакций и создать более сложные платформы смарт-контрактов. Сейчас многие проекты заявляют, подразумевают или ассоциируют себя с решениями второго уровня для Биткоина. Однако возникают вопросы относительно обоснованности этих заявлений.
Layer 2 - это блокчейн, который расширяет Layer 1 и наследует часть его безопасности. В 2016 году в техническом документе Lightning [5] была предложена платежная сеть, которая унаследовала безопасность от Биткоин сети. Хотя авторы (Poon & Dryja) не использовали термин "Layer 2", Lightning Network действительно является решением второго уровня на базе Bitcoin. Она функционирует как собственная сеть/блокчейн с дешевыми платежами, обеспеченными сетью Bitcoin и надежной теорией игр между участниками. Более современные решения второго уровня, вероятно, были популяризированы Виталиком Бутериным и экосистемой Ethereum. Существует три типичных типа решений второго уровня: каналы состояния, плазма и роллапы [6].
Lightning Network - это пример канала состояния, где два участника могут открыть канал и держать большинство транзакций между ними вне сети (вне ведома сети Bitcoin). Только открытие и закрытие канала, а также, возможно, споры, вызывают транзакции или скрипты Bitcoin. Мы пропустим здесь плазму, поскольку она сложнее каналов состояния и не имеет общего назначения.
Роллапы - наиболее интересное решение второго уровня, поскольку они могут быть достаточно универсальными, например, запускать полноценную виртуальную машину Ethereum (EVM), а также достаточно безопасными, наследуя безопасность Ethereum.
Роллапы - это отдельные блокчейны, которые объединяют и передают свои транзакции и состояния в базовый L1 (например, Ethereum). Они наследуют безопасность Ethereum L1, поскольку размещают данные (свои транзакции и обновления состояния) в контрактах на Ethereum, которые занимаются проверкой обновлений состояния (например, балансов счетов роллапов). Вам не нужно доверять роллап-нодам или RPC; вы просто смотрите на транзакции и текущее состояние, опубликованные на Ethereum, чтобы убедиться, что роллапы работают так, как ожидалось.
Контракты Ethereum утверждают переход от предсостояния к постсостоянию из-за пакетных транзакций в роллапах двумя способами: оптимистичные роллапы с доказательствами мошенничества и роллапы с нулевым знанием (zk).
В оптимистичных роллапах контракт Ethereum предполагает, что секвенсоры роллапов честны, но принимает доказательства мошенничества. В нем предусмотрены экономические штрафы и вознаграждения за ложные обновления, если кто-то может доказать, что определенные обновления состояния неверны. Эта система требует определенного времени для того, чтобы претенденты нашли ошибки и представили доказательства.
С другой стороны, zk-rollup секвенсоры представляют транзакции, обновления состояний и zk-доказательства достоверности обновлений состояний. Обновления состояния - это математические функции, причем функция может быть произвольно сложной, как, например, полная виртуальная машина Ethereum. Доказательства с нулевым знанием используются для эффективности: создание доказательства может потребовать больших вычислительных затрат, но проверка доказательства происходит гораздо быстрее и может быть выполнена смарт-контрактом по разумной цене. Как пользователь zk-роллапов, если вы видите, что пакет транзакций роллапа и обновления состояния на Ethereum приняты проверяющим контрактом, вы знаете, что роллап работает правильно и что ваша транзакция в пакете приведет к заявленному пост-состоянию.