Добро пожаловать в четвертую часть нашей серии «Назад к основам», «Коселиг с Каиром».Держитесь, дорогие ребята, мы приготовили для вас кое-что интересное ⚡️
Прочитав заголовок, вы, должно быть, уже начали визуализировать пирамиды, мумии и пустыни. Но сегодня мы не будем исследовать пустыни и жизнь фараонов, а глубоко погрузимся в Каир, язык программирования, который штурмом взял экосистему 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. Излишне говорить, что это дорогое удовольствие.
Вместо этого вы можете написать эту логику в Каире и выполнить ее вне сети. Вот как:
- Сначала программа Cairo проверит слово.
- Затем он активирует SHARP, чтобы сгенерировать доказательство и проверить его в сети.
- После этого он напишет факт, который является подтверждением того, что это слово было правильным.
- Наконец, смарт-контракты 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 Эли Бен Сассон объясняет технические особенности Каира
- 🎪 Второй слой Амстердам
- 🗓 19-20 апреля 2022 г.
- 💼 Технический директор ZKX BitPactum рассказал о сборке Defi 3.0 с помощью Cairo
- 🎪 StarknetCC
- 🗓 22 июля 2022 г.
- 💼 Соавтор Каира @PapiniShahar рассказывает о следующих эволюциях Каира
- 🎪 Web3Conf Индия
- 🗓 12-14 августа 2022 г.
- Инженер 💼 Nethermind Swapni Raj рассказывает о преимуществах Каира
- 🎪 EthWarsaw
- 🗓 2 сентября 2022 г.
- 💼 Каирская мастерская Software особняк
СтаркКон
StarkCon — это организованная сообществом конференция ZKX и StarkWare, направленная на повышение осведомленности о Каире и экосистеме StarkNet во всем мире. Мероприятие объединяет ведущие голоса StarkNet, и в нем примут участие лучшие разработчики, строители, основатели, инвесторы и мировые СМИ. Недавно они объявили о предоставлении гранта в размере 50 000 долларов США разработчикам и строителям для ускорения разработки и внедрения Cairo в Индии.
Каирское репо
Теперь вы получили краткую информацию о Каире и осознали его потенциал!
Но мы предполагаем, что вы не хотите останавливать свое путешествие по изучению Каира здесь 🧐
Итак, мы собрали некоторые из лучших ресурсов, которые помогут вам узнать больше о Каире:
- Официальная документация StarkWare Cairo
- Изучайте Каир, играя в игры
- Каирский репозиторий GitHub
- Информационный бюллетень StarkNet Edu
- КаирLang Twitter Страница
- HackerNoon Каир Репо
- Записки Перамы
- СтаркНет учебники
- Каир на примере
- Twitter Анри, адвоката разработчиков StarkWare’e
- Каирская золотая жила GitHub
- https://github.com/gakonst/awesome-starknet
- https://github.com/lightshiftdev/starknet-bootcamp
Итак, ребята, это завершение четвертого выпуска нашей серии Назад к основам. А пока давайте узнаем о Каире и будем работать над децентрализованным будущим. ВАГМИ 🙌
О ZKX
ZKX — это защищенный протокол для деривативов, построенный на StarkNet, с децентрализованной книгой заказов и уникальным способом предлагать сложные финансовые инструменты в качестве свопов. Протокол основан на DAO и обеспечит повышенный торговый опыт с игровыми таблицами лидеров и уникальным ликвидным управлением. Миссия ZKX — демократизировать доступ к глобальным доходам посредством своих предложений для всех и везде.