Как работают L2 решения. Разновидности и сравнение Zero Knowledge (ZK) и Optimistic Rollup-ов
На сегодняшний день L2 решения бывают двух типов: оптимистические роллапы (Optimistic Rollup) и ZK роллапы (ZK Rollups).
Оптимистические роллапы сначала объединяют несколько транзакций, а затем проверяются наблюдателями. Примеры оптимистических роллапов включают Arbitrum, Base (построенный на базе Optimism), Mod Network, Boba Network, Zora Network и другие.
Виталик Бутерин, основатель Ethereum, считает, что ZK роллапы более прогрессивны и являются будущим масштабируемости Ethereum. В отличие от оптимистических роллапов, где сначала доверяют, а затем проверяют, в ZK роллапах сначала проверяют, а затем доверяют. Доказательства с нулевым разглашением (ZK Proofs) обеспечивают проверку достоверности транзакций без необходимости раскрытия информации.
Принцип работы STARKNET
STARKNET - это ZK роллап, который работает следующим образом:
1. Сначала собирается большое количество транзакций, например, 50.
2. Эти транзакции передаются в sequencer, который проверяет их и формирует в группу, в блок.
3. Блок передается в модуль проверки, где проводится основная проверка.
4. Проверяющий модуль анализирует и очищает блок от неверных транзакций, и передает его в виде доказательства STARK в следующий модуль.
5. Доказательство STARK передается в ноду Ethereum на L1 в виде одной транзакции.
6. Доказательство обрабатывается и проверяется двумя смарт-контрактами: verifier contract и Starknet core contract, после чего добавляется в блок сети Ethereum.
Таким образом, большое количество транзакций в L2 решении преобразуется в одну транзакцию в основной сети Ethereum, что снижает нагрузку на сеть.
Различия между STARK и SNARK
STARK (Scalable Transparent ARguments of Knowledge) и SNARK (Succinct Non-interactive ARguments of Knowledge) - это два типа ZK доказательств.
- STARK имеет больший объем данных, но работает быстрее.
- SNARK легче по объему данных, но медленнее. Например, Mina Protocol использует SNARK.
STARK используется в STARKNET, разработанном компанией StarkWare.
Будущее Optimistic Rollup-ов
Возникает вопрос, неужели оптимистические роллапы уходят в прошлое? Не обязательно. Оптимистические роллапы могут адаптироваться и интегрировать технологии ZK. Например, Polygon, изначально L2 решение на базе оптимистических роллапов, сейчас больше похож на L1 блокчейн и внедрил ZK EVM.
Производительность и перспективы
Оптимистические роллапы уже сегодня масштабируют сеть Ethereum:
- Arbitrum достигает до 4500 транзакций в секунду (TPS).
- Base - до 1429 TPS.
- Optimism - до 714 TPS.
Для сравнения, показатели ZK роллапов:
- zkSync - до 2000 TPS.
- Scroll - до 136 TPS.
- Starknet - до 54 TPS.
Таким образом, ZK роллапы пока не могут полностью заменить оптимистические роллапы, и они будут сосуществовать на рынке, дополняя друг друга.
Отличие токенов
Starknet отличается от Optimism и Arbitrum своим токеном STRK, который является нативным для самостоятельного блокчейна, хотя и служит для масштабируемости L1 Ethereum. Монета STRK может использоваться для оплаты газа и ставок. По дорожной карте, с версии 3, будет возможность оплачивать комиссию в токенах STRK, а также использовать их для голосования, что отличает его от токенов управления в Arbitrum и Optimism.
Таким образом, и оптимистические роллапы, и ZK роллапы имеют свои преимущества и будут развиваться параллельно, дополняя друг друга в масштабируемости сети Ethereum.
CryptoWolf
На сегодняшний день L2 решения бывают двух типов: оптимистические роллапы (Optimistic Rollup) и ZK роллапы (ZK Rollups).
Оптимистические роллапы сначала объединяют несколько транзакций, а затем проверяются наблюдателями. Примеры оптимистических роллапов включают Arbitrum, Base (построенный на базе Optimism), Mod Network, Boba Network, Zora Network и другие.
Виталик Бутерин, основатель Ethereum, считает, что ZK роллапы более прогрессивны и являются будущим масштабируемости Ethereum. В отличие от оптимистических роллапов, где сначала доверяют, а затем проверяют, в ZK роллапах сначала проверяют, а затем доверяют. Доказательства с нулевым разглашением (ZK Proofs) обеспечивают проверку достоверности транзакций без необходимости раскрытия информации.
Принцип работы STARKNET
STARKNET - это ZK роллап, который работает следующим образом:
1. Сначала собирается большое количество транзакций, например, 50.
2. Эти транзакции передаются в sequencer, который проверяет их и формирует в группу, в блок.
3. Блок передается в модуль проверки, где проводится основная проверка.
4. Проверяющий модуль анализирует и очищает блок от неверных транзакций, и передает его в виде доказательства STARK в следующий модуль.
5. Доказательство STARK передается в ноду Ethereum на L1 в виде одной транзакции.
6. Доказательство обрабатывается и проверяется двумя смарт-контрактами: verifier contract и Starknet core contract, после чего добавляется в блок сети Ethereum.
Таким образом, большое количество транзакций в L2 решении преобразуется в одну транзакцию в основной сети Ethereum, что снижает нагрузку на сеть.
Различия между STARK и SNARK
STARK (Scalable Transparent ARguments of Knowledge) и SNARK (Succinct Non-interactive ARguments of Knowledge) - это два типа ZK доказательств.
- STARK имеет больший объем данных, но работает быстрее.
- SNARK легче по объему данных, но медленнее. Например, Mina Protocol использует SNARK.
STARK используется в STARKNET, разработанном компанией StarkWare.
Будущее Optimistic Rollup-ов
Возникает вопрос, неужели оптимистические роллапы уходят в прошлое? Не обязательно. Оптимистические роллапы могут адаптироваться и интегрировать технологии ZK. Например, Polygon, изначально L2 решение на базе оптимистических роллапов, сейчас больше похож на L1 блокчейн и внедрил ZK EVM.
Производительность и перспективы
Оптимистические роллапы уже сегодня масштабируют сеть Ethereum:
- Arbitrum достигает до 4500 транзакций в секунду (TPS).
- Base - до 1429 TPS.
- Optimism - до 714 TPS.
Для сравнения, показатели ZK роллапов:
- zkSync - до 2000 TPS.
- Scroll - до 136 TPS.
- Starknet - до 54 TPS.
Таким образом, ZK роллапы пока не могут полностью заменить оптимистические роллапы, и они будут сосуществовать на рынке, дополняя друг друга.
Отличие токенов
Starknet отличается от Optimism и Arbitrum своим токеном STRK, который является нативным для самостоятельного блокчейна, хотя и служит для масштабируемости L1 Ethereum. Монета STRK может использоваться для оплаты газа и ставок. По дорожной карте, с версии 3, будет возможность оплачивать комиссию в токенах STRK, а также использовать их для голосования, что отличает его от токенов управления в Arbitrum и Optimism.
Таким образом, и оптимистические роллапы, и ZK роллапы имеют свои преимущества и будут развиваться параллельно, дополняя друг друга в масштабируемости сети Ethereum.
CryptoWolf