Знакомство с языком программирования Leo. Часть 5: Интерфейс командной строки Leo.

Приветствую юных криптографов в цикле статей «Введение в язык программирования Leo». Впрочем, сегодняшнюю статью лучше было бы отнести к «Погружение в язык программирования Leo», так как, на мой взгляд, часть 5 не обязательна к прочтению, но я бы посоветовал вам ее прочитать.

Leo CLI — это инструмент интерфейса командной строки, который поставляется с компилятором Leo и диспетчером пакетов Aleo. Однако установить только Aleo Studio недостаточно, нам также потребуется установить leo по следующей ссылке по инструкции. Так как у меня Windows, то процесс установки объясню именно на ней. Скачиваем Rust (нам так советуют на сайте :)) переходим по ссылке, открываем ее и нажимаем цифру 1 в терминале. Мы ждем. Затем снова откройте терминал и установите leo с помощью следующей команды:

грузовая установка leo-lang

Процесс установки занимает некоторое время (у меня это 5 минут) и теперь, чтобы использовать leo, введите команду в терминале:

Лео

Теперь для входа в наш проект мы можем вызвать оттуда командную строку:

Итак, разберем все команды по порядку. Вы также можете получить всю необходимую информацию о команде, написав после нее флаг -h.

  1. leo new {$NAME} — запустите его, чтобы создать новый пакет.
  2. leo init — запустите его, чтобы инициализировать пакет Leo в существующем каталоге.
  3. leo build — запустите его, чтобы скомпилировать вашу программу и убедиться, что она собирается правильно. Это создаст новый каталог outputs/, сериализованный программный файл .json и файл контрольной суммы .sum в каталоге.
  4. leo watch — запустите его для перекомпиляции, чтобы Leo перекомпилировал вашу программу на лету. Leo будет отслеживать дерево исходных файлов, начиная с main.leo. Изменения в файлах, импортированных main.leo, также вызовут повторную компиляцию.
  5. leo test — запустите его, чтобы выполнить тесты в вашей программе.
  6. leo setup — запустите его, чтобы запустить настройку программы и получить ключ проверки и ключ проверки. Leo будет использовать криптографически безопасный генератор псевдослучайных чисел на вашем компьютере для выполнения настройки. После завершения установки ключ проверки и ключ проверки будут сохранены в каталоге outputs в виде файлов .lpk и .lvk.
  7. leo proof — запустите его, чтобы выполнить вашу программу Leo и получить доказательство программы. Leo сначала проверяет каталог build на наличие существующего файла .lpk. Если он не существует, Лео продолжит выполнение leo setup, а затем продолжит. Затем анализируются входные файлы .in и .state в каталоге inputs. Все значения распределяются в программе перед продолжением. И снова Лео использует криптографическую случайность с вашей машины для получения доказательства. Доказательство хранится в каталоге outputs как .proof.
  8. leo run — запустить его для проверки доказательства в директории outputs. Leo начинает с проверки каталога outputs на наличие существующего файла .proof. Если он не существует, Лео продолжит выполнение leo prove, а затем продолжит. После запуска верификатора Leo выведет либо true, либо false в зависимости от проверки. Вывод программы будет сохранен в файле вывода программы .out
  9. leo login -u ‹username› -p ‹password› — начните с аутентификации, чтобы использовать приватные пакеты и опубликовать их в Aleo Package Manager. в случае успешной аутентификации вы увидите в консоли следующее сообщение: Login Success. В качестве альтернативы, если у вас уже есть токен для входа, вы можете использовать его напрямую: leo login ‹токен›.
  10. leo logout — удаляет локально сохраненный файл учетных данных.
  11. leo add -a ‹автор› -p ‹имя_пакета› — запустите его, чтобы добавить пакет из менеджера пакетов Aleo.
  12. leo remove -a ‹автор› -p ‹пакет› — запустите его, чтобы удалить пакет из менеджера пакетов Aleo.
  13. leo publish — запустите его, чтобы упаковать вашу программу в виде гаджета и опубликовать ее в Интернете. Leo сделает снимок вашего исходного каталога и загрузит его в диспетчер каналов. Лео проверит, что leo build успешно выполнено и что leo test проходит без ошибок. Папка inputs/ включена. Перед публикацией убедитесь, что вся конфиденциальная информация удалена из папки inputs/. Папка outputs/ исключена.
  14. leo deploy — запустите его, чтобы развернуть вашу программу на Aleo.
  15. leo clean — запустите его, чтобы очистить выходной каталог.
  16. leo lint — запустите его, чтобы линтинговать исходный каталог.
  17. leo update — запустите его, чтобы загрузить и установить последнюю версию Leo.

Вот и все. Человеку, изучающему лео, необходимо уметь работать с командной строкой. Это удобный и важный инструмент для криптографа. Надеюсь, статья была полезной :)

Официальный сайт Twitter Discord