Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the redux-framework domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home/mmsteam/public_html/wp-includes/functions.php on line 6121

Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the betterdocs domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home/mmsteam/public_html/wp-includes/functions.php on line 6121

Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the cyr2lat domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home/mmsteam/public_html/wp-includes/functions.php on line 6121

Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the yandex-metrica domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home/mmsteam/public_html/wp-includes/functions.php on line 6121

Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the ultimate-blocks domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home/mmsteam/public_html/wp-includes/functions.php on line 6121

Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the teknolab domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home/mmsteam/public_html/wp-includes/functions.php on line 6121
Cairo — Добро пожаловать на борт – MMS
MMS

Cairo инструментарий 0.0.1

Несколько месяцев назад мы анонсировали Cairo , нашу полную по Тьюрингу структуру для доказательства общих вычислений. С тех пор мы провели Cairo Genesis Workshop и представили Каир на ZK Summit 6 . Сегодня мы выпускаем первую версию Cairo Toolchain.

Почему мы выпускаем эту цепочку инструментов?

Когда мы объявили о выпуске Cairo, реакция была исключительно положительной — похоже, в экосистеме существует реальная потребность в решениях, которые может предложить Cairo. Мы выпускаем эту цепочку инструментов, потому что хотим помочь людям изучить Cairo, поэкспериментировать с ним и принять участие в его улучшении.

Что мы выпускаем?

Цепочка инструментов

Компилятор

Компилятор Cairo отвечает за перевод программ Cairo в байт -код Cairo (который, по сути, представляет собой список элементов поля).

Виртуальная машина

Cairo Virtual Machine (VM) — это часть программного обеспечения, которая знает, как взять байт-код, созданный компилятором, и запустить его на компьютере. Результатом этого запуска является трассировка программы, которая затем может быть отправлена ​​​​проверщику STARK, чтобы доказать правильность утверждения, выраженного в коде Cairo.

Tracer

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

Расширения IDE

Расширения Vim и Visual Studio Code обеспечивают подсветку синтаксиса для Cairo. Мы планируем расширять и улучшать их со временем.

Вспомогательные материалы

Документация и руководство

Мы создали два пути для изучения Каира. Если вы хотите начать с более практического опыта и сразу же просто написать код, начните с учебника «Hello, Cairo». Он проведет вас от простой программы Cairo к основам недетерминированного программирования .

В качестве альтернативы вы можете начать с изучения основных элементов Cairo и перейти к чтению How Cairo Works.

StarkEx 2.0 Cairo код

Мы выпускаем код Cairo для StarkEx 2.0 (в прямом эфире в основной сети, на базе DeversiFi ). Среди прочего, этот код предлагает наши передовые методы написания приложений Cairo.

Смарт-контракт DeversiFi содержит хэш Педерсена скомпилированного кода StarkEx 2.0. Вы можете скомпилировать его, хэшировать и убедиться , что это действительно то, что обеспечивает DeversiFi .

Что дальше?

У нас большие планы на Cairo, и мы надеемся, что благодаря вкладу сообщества разработчиков он будет расти и развиваться. Наши ближайшие планы:

  • Cairo Playground , где вы можете запускать код Cairo из своего браузера — очень скоро.
  • Cairo Proving Service в тестовой сети. Чтобы замкнуть цикл и позволить разработчикам проверять свои программы, мы планируем запустить Cairo Proving Service в общедоступной тестовой сети в марте 2021 года. Выпущенный сегодня набор инструментов позволяет любому разработчику начать писать и запуск программ Cairo сегодня.
  • Улучшенные инструменты IDE
  • Улучшения языка : добавлен синтаксис, улучшена стандартная библиотека и документация.

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

Let’s Go

Для начала загрузите и установите набор инструментов Cairo , а также ознакомьтесь с документацией и учебным пособием . Если вы хотите понять, как выглядит полноценное приложение Cairo, изучите код StarkEx 2.0 . Сам инструментарий и код StarkEx 2.0 находятся под доступными исходными кодами .

Посетите cairo-lang.org , где вы найдете все материалы, связанные с Каиром.

Чтобы пообщаться с другими разработчиками Cairo, а также с создателями Cairo, присоединяйтесь к каналу Cairo Discord .

Мы рады видеть, что сообщество создаст с Cairo, и с нетерпением ждем ваших мыслей и отзывов .

Tags:

Leave a Reply

Your email address will not be published. Required fields are marked *