TL;DR

• Рекурсивные доказательства открывают удивительные и новые возможности дизайна
• Представляем L3, уровень для конкретных приложений, построенный рекурсивно поверх L2.
• L3 удовлетворяет индивидуальные потребности приложений, такие как гипермасштабируемость, лучший контроль над технологическим стеком и конфиденциальность.
• StarkEx, который в настоящее время обслуживает клиентов в качестве решения L2, будет перенесен на L3.
• Автономные экземпляры StarkNet также будут доступны как L3.

Почему L3 ?

Запредельная стоимость транзакций в Ethereum заставляет его становиться расчетным слоем для L2. Мы (и другие ) считаем, что в ближайшем будущем конечные пользователи будут проводить большую часть своей деятельности на L2 из-за значительного снижения транзакционных издержек, растущей поддержки инструментов DeFi и увеличения ликвидности, которую обеспечивает L2.

L2 повышает масштабируемость за счет снижения стоимости газа за транзакцию и повышения скорости транзакций. В то же время L2 сохраняют преимущества децентрализации, универсальной логики и компонуемости.Тем не менее, некоторые приложения нуждаются в специальной адаптации, которую лучше обслуживать на новом отдельном уровне: введите L3!

L3 относится к L2 так же, как L2 относится к L1. L3 может быть реализован с использованием доказательств достоверности, если L2 способен поддерживать смарт-контракт Verifier. Когда L2 также использует доказательства достоверности, представленные в L1, как это делает StarkNet, это становится чрезвычайно элегантной рекурсивной структурой, в которой преимущество сжатия доказательств L2 умножается на преимущество сжатия доказательств L3. Другими словами, если каждый уровень достигает, например, 1000-кратного снижения затрат, L3 может достичь 1 000 000-кратного сокращения по сравнению с L1, сохраняя при этом безопасность L1.

Представляете, сделки за доли одного газа!

Основные преимущества L3:

1. Гипермасштабируемость : использование мультипликативного эффекта рекурсивного доказательства.
2. Улучшенный контроль разработчика приложения над стеком технологий:

а. Более детерминированные характеристики и стоимость,

б. Индивидуальные модели доступности данных (например, сжатие данных в цепочке на основе Validium или приложения),

в. Более быстрая функция и технологическая скорость (например, введение новых функций, еще не готовых к общедоступности).

3. Конфиденциальность : например, доказательства с нулевым разглашением применяются к транзакциям, сохраняющим конфиденциальность, на общедоступном L2.

4. Более дешевая/простая интероперабельность L2-L3 : потоки включения/выключения, используемые в настоящее время между L1 и L2, общеизвестно дороги. Напротив, из-за экономической эффективности L2 эти потоки применительно к L3 становятся не только чрезвычайно привлекательными, но и простыми в реализации. Хотя задержка при перемещении ресурсов между уровнями L2 и L3 может быть больше, чем между приложениями, развернутыми на одном уровне L2, стоимость и пропускная способность сопоставимы.

5. Более дешевая/простая совместимость L3-L3 : независимые L3 будут взаимодействовать через L2, а не L1. Ожидается, что L2 будет дешевле, чем L1. В отсутствие L3 все они будут функционировать как L2 и, как таковые, должны будут взаимодействовать через значительно более дорогой L1.

6. L3 как «канарская» сеть для L2 : новые инновации могут быть протестированы на L3 до того, как они станут доступны для широкой публики на L2 или L3 (так же, как Kusama играет роль для Polkadot).

L3s и фрактальное наслоение

Несколько L3 будут работать поверх L2. Кроме того, дополнительные слои (L4 и т. д.) могут быть построены на L3 для решений фрактального расслоения.

Пример такой экосистемы изображен на диаграмме 1. Ее L3 включают:

1. StarkNet с доступностью данных Validium, например, для общего использования приложениями, крайне чувствительными к ценам.
2. Системы StarkNet для конкретных приложений, настроенные для повышения производительности приложений, например, за счет использования определенных структур хранения или сжатия доступности данных.
3. Системы StarkEx (например, обслуживающие dYdX, Sorare, Immutable и DeversiFi) с доступностью данных Validium или Rollup, что сразу же дает StarkNet проверенные преимущества масштабируемости.
4. Экземпляры Privacy StarkNet (в этом примере также как L4), чтобы разрешить транзакции с сохранением конфиденциальности, не включая их в общедоступные сети StarkNet.

Строительные блоки решения L3

На диаграмме 2 показана классическая архитектура L2, включающая следующие компоненты:

1. Смарт-контракт, отслеживающий корень состояния L2 на L1 (например, смарт-контракт StarkNet на Ethereum).
2. Для L2, основанного на проверке действительности, смарт-контракт Verifier для проверки действительности доказательств перехода состояния.
3. Мостовые контракты на L1, управляющие вводом и выводом токенов в/из L2.
4. Контракты токенов на L2 действуют как контрагенты контрактов токенов L1 (например, ERC20, ERC721).

Диаграмма 3 изображает взаимосвязь между L3 и лежащими в его основе L2 и L1. Внедряя отслеживание состояния и смарт-контракты Verifier на L2, L3 может безопасно работать на L2.

Резюме и кредиты

L3 обещает гипермасштабируемость, лучший контроль над стеком технологий для различных нужд и конфиденциальность, сохраняя при этом гарантии безопасности, предоставляемые Ethereum (L1). Рекурсивная концепция, которую он использует, может быть расширена на дополнительные слои для решений фрактального расслоения.

StarkEx, в настоящее время работающий как L2, будет перенесен на L3. Кроме того, экземпляры StarkNet будут доступны как L3.

Спасибо Polynya и Alex Connolly (Immutable) за их комментарии и обзор этого поста. Особая благодарность Пьеру Дюперрену (Sorare) за его ценные идеи.

Гиди Кемпфер, руководитель отдела основной разработки, StarkWare