# Koselig с Cairo

**Published by:** [ZKXprotocol_RU](https://paragraph.com/@zkx-dex/)
**Published on:** 2023-02-14
**URL:** https://paragraph.com/@zkx-dex/koselig-cairo

## Content

Добро пожаловать в четвертую часть нашей серии “Назад к основам” : “Koselig с Cairo”. Держитесь , дорогие пользователи. Сегодня мы приготовили для вас кое-что интересное.Прочитав заголовок, вы, должно быть уже начали визуализировать пирамиды, мумии и пустыни. Но сегодня мы не будем исследовать пустыни и жизнь фараонов, а глубоко погрузимся в Cairo — язык программирования , который штурмом взял L2 экосистему.Знакомство с CairoCairo — это язык, изобретенный 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. Преимущества CairoCairo WhitePaper дает нам подробное объяснение преимуществ Cairo. Давайте проверим несколько важных ниже:Эффективность: набор инструкций Cairo был выбран таким образом, чтобы соответствующий AIR был максимально эффективным.Практичность: Cairo поддерживает условные переходы, память, вызовы функций и рекурсию.Производственный уровень: Cairo является основой нескольких криптовалютных систем, работающих на блокчейне Ethereum.Встроенные функции: архитектура Cairo поддерживает реализацию предопределенных операций напрямую, в виде набора уравнений, вместо того, чтобы реализовывать их с помощью кода Cairo.Эффективная общая память: в реализации памяти Cairo каждая ячейка памяти, которая должна использоваться совместно с верификатором, добавляет стоимость проверки всего в 4 арифметических операции.Cairo в действии!Мы думаем, что лучший способ выучить язык программирования — написать код. Мы также добавили комментарии рядом с каждым синтаксисом и логикой, чтобы вы могли легко понять код. Вход:Выход :БОЛЬШИЕ победы CairoCairo полностью функционален и уже показал результаты на производственном уровне для многих приложений! Взгляните на некоторые достижения CairoИсточник : Введение в Каирское видео YT.Cairo 1.0Недавно StarkWare анонсировала Cairo 1.0 , новую версию Cairo. В обновлении будет:Sierra ( Безопасное промежуточное представление ), новый промежуточный уровень представления между Cairo 1.0 и байт — кодом Cairo .Совершенно новый компилятор, который позволит разработчикам делать больше и проще.Общее улучшение языка программирования (например, улучшенный синтаксис, более интуитивно понятные библиотеки, лучшая интеграция с компилятором и т. д.).Чтобы узнать больше о Cairo 1.0 , посетите этот блог.Cairo по всему мируМастерская Cairo 10114–15 марта 2022 г.Соучредитель и президент StarkWare Eli Ben Sasson объясняет технические особенности КаираИсточник : Семинар Cairo 101Второй слой Амстердам19–20 апреля 2022 г.Технический директор ZKX BitPactum рассказал о создании Defi 3.0 с использованием CairoStarknetCC22 июля 2022 г.Соавтор Cairo @PapiniShahar рассказывает о следующих эволюциях CairoWeb3Conf Индия12–14 августа 2022 г.Инженер Nethermind Swapni Raj рассказывает о преимуществах CairoEthWarsaw2 сентября 2022 г.Мастерская Cairo Software MansionStarkConStarkCon — это конференция ZKX и StarkWare , организованная сообществом для повышения осведомленности о Cairo и экосистеме StarkNet во всем мире. Мероприятие объединяет ведущие голоса StarkNet, и в нем примут участие лучшие разработчики, строители, основатели, инвесторы и мировые СМИ. Недавно они объявили о гранте в размере 50 тысяч долларов для разработчиков и строителей, чтобы ускорить развитие и внедрение Cairo в Индии.Cairo repoТеперь вы получили краткую информацию о Cairo и осознали его потенциал! Но мы предполагаем, что вы не хотите останавливать свое путешествие по изучению Cairo здесь Итак, мы собрали некоторые из лучших ресурсов, которые помогут вам узнать больше о Cairo:Официальная документация StarkWare CairoИзучайте Cairo, играя в игрыРепозиторий Cairo на GitHubStarkNet Edu NewsletterСтраница CairoLang в ТвиттереHackerNoon Cairo RepoЗаметки Perama’sУчебники StarkNetCairo своим примеромТвиттер Henri’s, представителя StarkWare’e Dev AdvocateCairo золотая жила GitHubhttps://github.com/gakonst/awesome-starknethttps://github.com/lightshiftdev/starknet-буткемпИтак, ребята, вот и подведение итогов четвертого выпуска нашей серии «Назад к основам». А пока давайте узнаем о Cairo и будем работать над децентрализованным будущим.Немного ZKXZKX- это первый протокол деривативов “без разрешений” (пользователям не требуется разрешение на использование блокчейна, DeFi или связанной системы), построенный на StarkNet, с децентрализованной книгой ордеров и уникальным способом предлагать сложные финансовые инструменты в качестве свапов. Простыми слова он -Независим, Надежен и Не имеет границ. ZKX привлекла 4,5 млн $ начального финансирования в июле 2022 года. Не забудьте заполнить форму, чтобы в числе первых принять участие в запуске ZKX.Наш Веб-сайтКомьюнити в DiscordНаш TwitterTelegram комьюнити

## Publication Information

- [ZKXprotocol_RU](https://paragraph.com/@zkx-dex/): Publication homepage
- [All Posts](https://paragraph.com/@zkx-dex/): More posts from this publication
- [RSS Feed](https://api.paragraph.com/blogs/rss/@zkx-dex): Subscribe to updates
- [Twitter](https://twitter.com/zkxprotocol_ru): Follow on Twitter