Добро пожаловать в четвертую часть нашей серии «Назад к основам», «Коселиг с Каиром».Держитесь, дорогие ребята, мы приготовили для вас кое-что интересное ⚡️

Прочитав заголовок, вы, должно быть, уже начали визуализировать пирамиды, мумии и пустыни. Но сегодня мы не будем исследовать пустыни и жизнь фараонов, а глубоко погрузимся в Каир, язык программирования, который штурмом взял экосистему L2 🌪

Знакомство с Каиром

Cairo — это язык, разработанный StarkWare,который был основан в 2018 для масштабирования Эфириума с использованием доказательств STARK. Мы также рассказывали об этом в нашем предыдущем блоге, State of StarkWare. Вы можете прочитать это здесь".

Хорошо, теперь давайте начнем с Каира!

Название Cairo происходит от термина «CPU AIR» — AIR, реализующий концепцию ЦП. Это эффективная и практичная архитектура фон Неймана, которую можно использовать с системой проверки STARK для создания доказательств вычислительной целостности.

Программа Cairo создает трассировку, которую затем можно отправить ненадежному проверщику, который генерирует доказательство STARK для достоверности утверждения. Затем доказательство может быть проверено с помощью верификатора (который может быть или не быть ончейн).

Каир: глубокое погружение

Хорошо, теперь у нас есть общее представление о Каире. Итак, давайте углубимся и ответим на следующие вопросы один за другим:

1. Зачем учить Каир?

Сегодня большинство децентрализованных приложений в основном представляют собой контракт Solidity, реализующий какую-то логику, некоторый интерфейс и, возможно, серверную часть. Эти децентрализованные приложения в случае успеха неизбежно сталкиваются с проблемой масштабируемости.

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

До Каира было сложно создать систему проверки, которая охватывает конкретную бизнес-логику. С Cairo барьеры для использования доказательств для достижения масштабируемости намного ниже. Вы пишете свою сложную логику в Каире, проверяете ее вне сети, и как только это доказательство проверяется в сети, ваше приложение смарт-контракта может использовать результат без доверия.

В блоге Cairo под названием Cairo for Blockchain Developers упоминается —

Роль смарт-контракта dApp меняется — из компонента, отвечающего за выполнение дорогостоящей бизнес-логики, он становится компонентом, отвечающим за устранение недорогих последствий этой бизнес-логики.

Известный инвестор Райан Беркман также поделился своим мнением о StarkNet ниже:

2. Как работает Каир?

В Каире возникла новая концепция под названием "Общий прувер" (или SHARP). Он был выпущен StarkWare еще 16 февраля 2021 года.

SHARP — это связующее звено между кодом Cairo и смарт-контрактом Solidity. Он состоит из трех основных компонентов — доказывающего (вне сети), смарт-контракта верификатора (в сети) и контракта реестра фактов (в сети).

Ниже ZK Daily объясняет SHARP простыми словами:

Теперь давайте посмотрим, как вычисление работает под капотом:

  • Шаг 1. Проверяющая сторона берет трассировку выполнения Cairo, доказывает, что она действительна, и отправляет это подтверждение проверяющей стороне.
  • Шаг 2. Затем ончейн-верификатор проверяет доказательство.
  • Шаг 3. Затем верификатор записывает факт, подтверждающий достоверность подтверждения, в контракте реестра фактов.
  • Шаг 4. Наконец, смарт-контракт децентрализованного приложения проверяет, существует ли этот факт, чтобы полагаться на вычисления, выполненные вне сети.

Давайте попробуем понять эту концепцию на примере 🧐

Представьте себе Wordle на основе блокчейна, где вы будете получать токены за угадывание правильного слова. В современных технологиях вам придется писать всю игровую логику в Solidity. Излишне говорить, что это дорогое удовольствие.

Вместо этого вы можете написать эту логику в Каире и выполнить ее вне сети. Вот как:

  1. Сначала программа Cairo проверит слово.
  2. Затем он активирует SHARP, чтобы сгенерировать доказательство и проверить его в сети.
  3. После этого он напишет факт, который является подтверждением того, что это слово было правильным.
  4. Наконец, смарт-контракты Wordle проверят, существует ли этот факт, и выплатят токены победителю.

3. Преимущества Каира

Cairo WhitePaper дает нам подробное объяснение преимуществ Cairo. Давайте проверим несколько важных ниже:

  • Эффективность: набор инструкций Cairo был выбран таким образом, чтобы соответствующий AIR был максимально эффективным.
  • Практично: Cairo поддерживает условные переходы, память, вызовы функций и рекурсию.
  • Производственный уровень: Cairo является основой нескольких криптовалютных систем, работающих на блокчейне Ethereum.
  • Встроенные функции. Архитектура Cairo поддерживает реализацию предопределенных операций напрямую в виде набора уравнений вместо их реализации с помощью кода Cairo.
  • Эффективная общедоступная память. В реализации памяти Cairo каждая ячейка памяти, которая должна использоваться совместно с верификатором, добавляет стоимость проверки всего в 4 арифметических операции.

Каир в действии!

Мы думаем, что лучший способ выучить язык программирования — написать код. Мы также добавили комментарии рядом с каждым синтаксисом и логикой, чтобы вы могли легко понять код.

Ввод:

Вывод:

БОЛЬШИЕ победы Каира

Cairo полностью функционален и уже показал результаты на производственном уровне для многих приложений!

Взгляните на некоторые достижения Каира ✨

Каир 1.0

Недавно StarkWare анонсировала Cairo 1.0, новую версию Cairo. В обновлении будет:

  • Sierra (Safe Intermediate Reprотправлено ation), новый промежуточный уровень представления между Cairo 1.0 и байт-кодом Cairo.
  • Совершенно новый компилятор, который позволит разработчикам делать больше и проще.
  • Общее улучшение языка программирования (например, улучшенный синтаксис, более интуитивно понятные библиотеки, лучшая интеграция с компилятором и т. д.).

Чтобы узнать больше о Cairo 1.0, ознакомьтесь с этим средним блогом.

Каир по всему миру

  • 🎪 Мастерская Cairo 101
  • 🗓 14-15 марта 2022 г.
  • 💼 Соучредитель и президент StarkWare Эли Бен Сассон объясняет технические особенности Каира

  • 🎪 StarknetCC
  • 🗓 22 июля 2022 г.
  • 💼 Соавтор Каира @PapiniShahar рассказывает о следующих эволюциях Каира

СтаркКон

StarkCon — это организованная сообществом конференция ZKX и StarkWare, направленная на повышение осведомленности о Каире и экосистеме StarkNet во всем мире. Мероприятие объединяет ведущие голоса StarkNet, и в нем примут участие лучшие разработчики, строители, основатели, инвесторы и мировые СМИ. Недавно они объявили о предоставлении гранта в размере 50 000 долларов США разработчикам и строителям для ускорения разработки и внедрения Cairo в Индии.

Каирское репо

Теперь вы получили краткую информацию о Каире и осознали его потенциал!

Но мы предполагаем, что вы не хотите останавливать свое путешествие по изучению Каира здесь 🧐

Итак, мы собрали некоторые из лучших ресурсов, которые помогут вам узнать больше о Каире:

  1. Официальная документация StarkWare Cairo
  2. Изучайте Каир, играя в игры
  3. Каирский репозиторий GitHub
  4. Информационный бюллетень StarkNet Edu
  5. КаирLang Twitter Страница
  6. HackerNoon Каир Репо
  7. Записки Перамы
  8. СтаркНет учебники
  9. Каир на примере
  10. Twitter Анри, адвоката разработчиков StarkWare’e
  11. Каирская золотая жила GitHub
  12. https://github.com/gakonst/awesome-starknet
  13. https://github.com/lightshiftdev/starknet-bootcamp

Итак, ребята, это завершение четвертого выпуска нашей серии Назад к основам. А пока давайте узнаем о Каире и будем работать над децентрализованным будущим. ВАГМИ 🙌

О ZKX

ZKX — это защищенный протокол для деривативов, построенный на StarkNet, с децентрализованной книгой заказов и уникальным способом предлагать сложные финансовые инструменты в качестве свопов. Протокол основан на DAO и обеспечит повышенный торговый опыт с игровыми таблицами лидеров и уникальным ликвидным управлением. Миссия ZKX — демократизировать доступ к глобальным доходам посредством своих предложений для всех и везде.

Твиттер | Дискорд | Телеграм | "Веб-сайт"