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, и с нетерпением ждем ваших мыслей и отзывов .