Технология zk и место Aleo в ней. Часть II. Блокчейны L1 против L2 zkроллапов
Блокчейны L1 против L2 zkроллапов
Существует две большие группы криптопроектов, использующих технологию zk. Во-первых, это нативные L1 блокчейны. Вторая группа— L2 zkrollups. Давайте посмотрим на обе из них.
Платформы уровня 2 используют zk, чтобы сделать Ethereum более масштабируемым, используя решение «объединения с нулевым разглашением» (объединения ZK). Этот метод используется для объединения транзакций Ethereum в пакеты, которые будут выполняться на платформе уровня 2 вместо основной сети Ethereum, уменьшая перегрузку.
@Starknet — это децентрализованный L2 блокчейн на основе ZK-Rollup. Разработчикам StarkNet необходимо изучить язык программирования Cairo (вместо Solidity), что может затруднить адаптацию новых разработчиков.
Несмотря на это, чтобы обойти эту проблему, создаются транспиляторы из Solidity в Cairo и другие, более известные языки программирования. Starknet использует технологию zk-starks.
@zksync — это решение масштабирования Ethereum Layer-2, предназначенное для работы на высоких скоростях (более 2000 TPS), обеспечивая при этом низкую плату за газ и высокую безопасность. В отличие от многих Layer-2, ZKSync позволяет практически мгновенно выводить средства в основную сеть Ethereum Layer-1.
Следует отметить, что ZKSync — единственный протокол zk-rollup с полной совместимостью с EVM. Это означает, что разработчики могут повторно развертывать живые смарт-контракты из Ethereum, не переписывая и не настраивая их для ZKSync. Это увеличивает совместимость и сокращает время разработки.
Анонсированный в апреле 2022 года @Scroll_ZKP — это, пожалуй, новейший Layer-2 на базе Ethereum zkRollup, появившийся на рынке. В отличие от большинства Layer-2, Scroll был лично проверен Виталиком Бутериным и был создан в сотрудничестве с Ethereum Foundation.
Хотя большинство ZK-Rollups ориентированы на конкретные приложения, что усложняет создание совместимых децентрализованных приложений для разработчиков, ZK-Rollup Scroll полностью совместим с EVM, что позволяет легко мигрировать существующие децентрализованные приложения Ethereum. Кроме того, команда Scroll занимается разработкой децентрализованного рынка доказательств, который позволит создавать доказательства с нулевым разглашением для сторонних разработчиков.
Также заслуживает упоминания @aztecnetwork. Aztec Labs разработала Noir как автономный универсальный язык с открытым исходным кодом для программирования с нулевым разглашением знаний. Noir разработан таким образом, чтобы быть совместимым со всеми системами проверки, а также поддаваться проверке в любой сети.
@taikoxyz — это децентрализованный эквивалент zkEVM, эквивалентный Ethereum. Taiko состоит из трех основных частей: схемы zkEVM (для генерации доказательств), узла объединения L2 (для управления цепочкой объединения) и протокола на L1 (для соединения этих двух частей вместе для проверки протокола объединения).
Это был краткий обзор основных решений zkrollup. Давайте теперь углубимся в нативные L1 блокчейны на базе zk!
@zcash: Один из первых криптоактивов, Zcash, ранее известный как ZeroCash, стал пионером в использовании технологии с нулевым разглашением в этом секторе, поддерживая транзакции, сохраняющие конфиденциальность, с помощью доказательства с нулевым разглашением.
Zcash — это криптовалюта, которая предлагает анонимные транзакции через протокол zk-SNARK. Это первая широко используемая криптовалюта, использующая доказательства с нулевым разглашением.
@MinaProtocol предлагает очень компактные и практичные доказательства с нулевым разглашением, используя вариант протокола zk-SNARK, известный как plonk. Независимо от того, сколько транзакций будет передано в сеть, протокол Mina будет представлять собой легкий блокчейн с фиксированным размером всего 22 КБ.
Размер протокола Mina в 22КБ должен позволить каждому управлять узлом и вносить вклад в безопасность сети без необходимости использования сложного компьютерного оборудования.
Хотя несколько L1 блокчейнов, в том числе Mina, ZCash и другие, уже используют в работе криптографию с нулевым разглашением, ни одна из них не обеспечивает настоящую программируемость или полную функциональность смарт-контрактов. В результате они ограничены в своих возможностях. Но это меняется…
@AleoHQ — первая платформа, предлагающая полностью приватные приложения! Aleo создает фундаментальный слой, который поможет стимулировать и развивать следующее поколение действительно массовых вариантов использования, от игр до DeFi и за его пределами.
Основная цель Aleo — создать решение, которое окажет глубокое влияние на большое и растущее число приложений в пространстве блокчейна и за его пределами, защищая личность пользователей и приложений без ущерба для производительности, необходимой для поддержки миллионов пользователей.
Давайте посмотрим на ключевые компоненты стека @AleoHQ.
Чтобы писать частные приложения на Aleo интуитивно и легко, команда разработала язык программирования под названием Leo. Leo выглядит и ощущается как традиционный язык программирования. Однако на самом деле Лео гораздо сложнее. Лео абстрагирует низкоуровневые криптографические концепции и упрощает интеграцию частных приложений в стек разработчиков.
Leo представляет синтаксис высокого уровня, который позволяет легко писать и интуитивно понятно выражать логику с нулевым разглашением.
Чтобы начать цикл разработки, команда создала Aleo Studio, первую интегрированную среду разработки для написания приложений с нулевым разглашением знаний. Aleo Studio — это интерактивная среда разработки для написания приложений с нулевым разглашением знаний в Leo. Aleo Studio создана для упрощения цикла разработки и облегчения внедрения проекта Leo как пакета в экосистеме.
Aleo Package Manager — первый менеджер пакетов для схем с нулевым разглашением. Он включает в себя функции совместной работы, такие как команды и организации, которые упрощают работу с друзьями и коллегами над частными приложениями.
Кроме того, Aleo Package Manager интегрирован с Aleo Studio, что позволяет легко импортировать и публиковать новые пакеты, не выходя из редактора.
Aleo работает на децентрализованной операционной системе для частных приложений под названием snarkOS. snarkOS формирует логическую основу для переходов состояний и позволяет приложениям проверять и сохранять состояние в блокчейне Aleo публично проверяемым способом.
snarkOS обеспечивает гарантии доступности данных на Aleo для всех программ и транзакций. Эти инструменты позволят разработчикам создавать смарт-контракты следующего поколения. Aleo может выражать мощные примитивы DeFi, такие как стейблкоины или децентрализованные биржи. Тем не менее, все транзакции полностью конфиденциальны, что позволяет разработчику и пользователю контролировать ситуацию.
Следите за дальнейшими обновлениями и присоединяйтесь к соцсетям Aleo:
Веб-сайт https://www.aleo.org
Twitter https://twitter.com/AleoHQ
Discord https://discord.gg/aleohq