Добро пожаловать в четвертую часть нашей серии “Назад к основам” : “Koselig с Cairo”. Держитесь , дорогие пользователи. Сегодня мы приготовили для вас кое-что интересное.
Прочитав заголовок, вы, должно быть уже начали визуализировать пирамиды, мумии и пустыни. Но сегодня мы не будем исследовать пустыни и жизнь фараонов, а глубоко погрузимся в Cairo — язык программирования , который штурмом взял L2 экосистему.
Знакомство с Cairo
Cairo — это язык, изобретенный StarkWare, основанной в 2018 году для масштабирования Ethereum с использованием доказательств STARK . Мы также рассказывали об этом в нашем предыдущем блоге State of StarkWare . Вы можете прочитать это здесь .
Хорошо, теперь давайте начнем с Cairo!
Название Cairo происходит от термина “CPU AIR” — AIR, реализующий концепцию CPU. Это эффективная и практичная архитектура фон Neumann, которую можно использовать с системой доказательств STARK для создания доказательств вычислительной целостности.
Программа Cairo создает трассировку , которую затем можно отправить ненадежному доказывающему , который генерирует STARK — доказательство правильности утверждения. Затем доказательство может быть проверено с помощью верификатора (который может быть или не быть ончейн).
Cairo: глубокое погружение
Хорошо, теперь у нас есть общее представление о Cairo. Итак, давайте погрузимся глубже и ответим на следующие вопросы один за другим:
1. Зачем изучать Cairo?
Сегодня большинство dApps в основном представляют собой контракт Solidity , реализующий какую-то логику, некоторый интерфейс и, возможно, серверную часть. Эти dApps, в случае успеха, неизбежно сталкиваются с проблемой масштабируемости .
Теперь dApps решают свои проблемы с масштабируемостью, обращаясь к проверенным решениям масштабируемости L2. Компонент вне сети берет на себя некоторые из более сложных частей бизнес-логики и взаимодействует со смарт-контрактами в сети, не отказываясь от безопасности.
До Cairo было сложно создать систему проверки, которая охватывает конкретную бизнес-логику. С Cairo барьеры для использования доказательств для достижения масштабируемости намного ниже. Вы пишете свою сложную логику на Cairo, проверяете ее вне сети, и как только это доказательство проверяется в сети, ваше приложение смарт-контракта может использовать результат без доверия.
В блоге Cairo под названием “Cairo for Blockchain Developers” упоминается следующее:
Роль смарт-контракта dApp меняется — из компонента, отвечающего за выполнение дорогостоящей бизнес-логики, он становится компонентом, отвечающим за устранение недорогих последствий этой бизнес-логики.
Инвестор Marquee Ryan Berckman также поделился своим мнением о StarkNet ниже:
2. Как работает Cairo?
В Cairo возникла новая концепция под названием Shared Prover (или SHARP). Он был выпущен StarkWare еще 16 февраля 2021 года .
SHARP — это связующее звено между кодом Cairo и смарт-контрактом Solidity. Он состоит из трех основных компонентов — доказывающего (вне сети), смарт-контракта верификатора (в сети) и контракта реестра фактов (в сети).
Ниже ZK Daily объясняет SHARP простыми словами:
Теперь давайте посмотрим, как вычисление работает под капотом:
-
Шаг 1: Доказывающая сторона берет трассировку выполнения Cairo, доказывает, что она действительна, и отправляет это доказательство проверяющей стороне.
-
Шаг 2: Затем ончейн-верификатор проверяет Proof.
-
Шаг 3: Затем верификатор записывает факт, подтверждающий действительность доказательства в контракте реестра фактов.
-
Шаг 4: Наконец, смарт-контракт dApp проверяет, существует ли этот факт, чтобы полагаться на вычисления, выполненные вне сети.
Источник : Cairo для разработчиков блокчейнов.
Давайте попробуем понять эту концепцию на примере 🧐
Представьте себе Wordle на основе блокчейна , где вы будете получать токены за угадывание правильного слова. В современных технологиях вам придется писать всю логику игры в Solidity. Излишне говорить, что это дорогое дело.
Вместо этого вы можете написать эту логику в Каире и выполнить ее вне сети. Вот как:
-
Сначала программа Cairo проверит слово.
-
Затем он активирует SHARP, чтобы сгенерировать доказательство и проверить его в сети.
-
После этого он напишет факт, который является подтверждением того, что это слово было правильным.
-
Наконец, смарт-контракты Wordle проверят, существует ли этот факт, и выплатят токены победителю.
3. Преимущества Cairo
Cairo WhitePaper дает нам подробное объяснение преимуществ Cairo. Давайте проверим несколько важных ниже:
-
Эффективность: набор инструкций Cairo был выбран таким образом, чтобы соответствующий AIR был максимально эффективным.
-
Практичность: Cairo поддерживает условные переходы, память, вызовы функций и рекурсию.
-
Производственный уровень: Cairo является основой нескольких криптовалютных систем, работающих на блокчейне Ethereum.
-
Встроенные функции: архитектура Cairo поддерживает реализацию предопределенных операций напрямую, в виде набора уравнений, вместо того, чтобы реализовывать их с помощью кода Cairo.
-
Эффективная общая память: в реализации памяти Cairo каждая ячейка памяти, которая должна использоваться совместно с верификатором, добавляет стоимость проверки всего в 4 арифметических операции.
Cairo в действии!
Мы думаем, что лучший способ выучить язык программирования — написать код. Мы также добавили комментарии рядом с каждым синтаксисом и логикой, чтобы вы могли легко понять код.
Вход:
Выход :
БОЛЬШИЕ победы Cairo
Cairo полностью функционален и уже показал результаты на производственном уровне для многих приложений!
Взгляните на некоторые достижения Cairo
Источник : Введение в Каирское видео YT.
Cairo 1.0
Недавно StarkWare анонсировала Cairo 1.0 , новую версию Cairo. В обновлении будет:
-
Sierra ( Безопасное промежуточное представление ), новый промежуточный уровень представления между Cairo 1.0 и байт — кодом Cairo .
-
Совершенно новый компилятор, который позволит разработчикам делать больше и проще.
-
Общее улучшение языка программирования (например, улучшенный синтаксис, более интуитивно понятные библиотеки, лучшая интеграция с компилятором и т. д.).
Чтобы узнать больше о Cairo 1.0 , посетите этот блог.
Cairo по всему миру
-
Мастерская Cairo 101
-
14–15 марта 2022 г.
-
Соучредитель и президент StarkWare Eli Ben Sasson объясняет технические особенности Каира
Источник : Семинар Cairo 101
-
Второй слой Амстердам
-
19–20 апреля 2022 г.
-
Технический директор ZKX BitPactum рассказал о создании Defi 3.0 с использованием Cairo
-
22 июля 2022 г.
-
Соавтор Cairo @PapiniShahar рассказывает о следующих эволюциях Cairo
-
12–14 августа 2022 г.
-
Инженер Nethermind Swapni Raj рассказывает о преимуществах Cairo
-
2 сентября 2022 г.
-
Мастерская Cairo Software Mansion
StarkCon
StarkCon — это конференция ZKX и StarkWare , организованная сообществом для повышения осведомленности о Cairo и экосистеме StarkNet во всем мире. Мероприятие объединяет ведущие голоса StarkNet, и в нем примут участие лучшие разработчики, строители, основатели, инвесторы и мировые СМИ. Недавно они объявили о гранте в размере 50 тысяч долларов для разработчиков и строителей, чтобы ускорить развитие и внедрение Cairo в Индии.
Cairo repo
Теперь вы получили краткую информацию о Cairo и осознали его потенциал!
Но мы предполагаем, что вы не хотите останавливать свое путешествие по изучению Cairo здесь
Итак, мы собрали некоторые из лучших ресурсов, которые помогут вам узнать больше о Cairo:
-
Официальная документация StarkWare Cairo
-
Изучайте Cairo, играя в игры
-
Репозиторий Cairo на GitHub
-
Страница CairoLang в Твиттере
-
HackerNoon Cairo Repo
-
Заметки Perama’s
-
Учебники StarkNet
-
Cairo своим примером
-
Твиттер Henri’s, представителя StarkWare’e Dev Advocate
-
Cairo золотая жила GitHub
Итак, ребята, вот и подведение итогов четвертого выпуска нашей серии «Назад к основам». А пока давайте узнаем о Cairo и будем работать над децентрализованным будущим.
Немного ZKX
ZKX- это первый протокол деривативов “без разрешений” (пользователям не требуется разрешение на использование блокчейна, DeFi или связанной системы), построенный на StarkNet, с децентрализованной книгой ордеров и уникальным способом предлагать сложные финансовые инструменты в качестве свапов. Простыми слова он -Независим, Надежен и Не имеет границ.
ZKX привлекла 4,5 млн $ начального финансирования в июле 2022 года.
Не забудьте заполнить форму, чтобы в числе первых принять участие в запуске ZKX.