Знакомство с языком программирования Leo. Часть 5: Интерфейс командной строки Leo.
Приветствую юных криптографов в цикле статей «Введение в язык программирования Leo». Впрочем, сегодняшнюю статью лучше было бы отнести к «Погружение в язык программирования Leo», так как, на мой взгляд, часть 5 не обязательна к прочтению, но я бы посоветовал вам ее прочитать.
Leo CLI — это инструмент интерфейса командной строки, который поставляется с компилятором Leo и диспетчером пакетов Aleo. Однако установить только Aleo Studio недостаточно, нам также потребуется установить leo по следующей ссылке по инструкции. Так как у меня Windows, то процесс установки объясню именно на ней. Скачиваем Rust (нам так советуют на сайте :)) переходим по ссылке, открываем ее и нажимаем цифру 1 в терминале. Мы ждем. Затем снова откройте терминал и установите leo с помощью следующей команды:
грузовая установка leo-lang
Процесс установки занимает некоторое время (у меня это 5 минут) и теперь, чтобы использовать leo, введите команду в терминале:
Лео
Теперь для входа в наш проект мы можем вызвать оттуда командную строку:
Итак, разберем все команды по порядку. Вы также можете получить всю необходимую информацию о команде, написав после нее флаг -h.
- leo new {$NAME} — запустите его, чтобы создать новый пакет.
- leo init — запустите его, чтобы инициализировать пакет Leo в существующем каталоге.
- leo build — запустите его, чтобы скомпилировать вашу программу и убедиться, что она собирается правильно. Это создаст новый каталог
outputs/
, сериализованный программный файл.json
и файл контрольной суммы.sum
в каталоге. - leo watch — запустите его для перекомпиляции, чтобы Leo перекомпилировал вашу программу на лету. Leo будет отслеживать дерево исходных файлов, начиная с main.leo. Изменения в файлах, импортированных main.leo, также вызовут повторную компиляцию.
- leo test — запустите его, чтобы выполнить тесты в вашей программе.
- leo setup — запустите его, чтобы запустить настройку программы и получить ключ проверки и ключ проверки. Leo будет использовать криптографически безопасный генератор псевдослучайных чисел на вашем компьютере для выполнения настройки. После завершения установки ключ проверки и ключ проверки будут сохранены в каталоге
outputs
в виде файлов.lpk
и.lvk
. - leo proof — запустите его, чтобы выполнить вашу программу Leo и получить доказательство программы. Leo сначала проверяет каталог
build
на наличие существующего файла.lpk
. Если он не существует, Лео продолжит выполнениеleo setup
, а затем продолжит. Затем анализируются входные файлы.in
и.state
в каталогеinputs
. Все значения распределяются в программе перед продолжением. И снова Лео использует криптографическую случайность с вашей машины для получения доказательства. Доказательство хранится в каталогеoutputs
как.proof
. - leo run — запустить его для проверки доказательства в директории
outputs
. Leo начинает с проверки каталогаoutputs
на наличие существующего файла.proof
. Если он не существует, Лео продолжит выполнениеleo prove
, а затем продолжит. После запуска верификатора Leo выведет либоtrue
, либоfalse
в зависимости от проверки. Вывод программы будет сохранен в файле вывода программы.out
- leo login -u ‹username› -p ‹password› — начните с аутентификации, чтобы использовать приватные пакеты и опубликовать их в Aleo Package Manager. в случае успешной аутентификации вы увидите в консоли следующее сообщение: Login Success. В качестве альтернативы, если у вас уже есть токен для входа, вы можете использовать его напрямую: leo login ‹токен›.
- leo logout — удаляет локально сохраненный файл учетных данных.
- leo add -a ‹автор› -p ‹имя_пакета› — запустите его, чтобы добавить пакет из менеджера пакетов Aleo.
- leo remove -a ‹автор› -p ‹пакет› — запустите его, чтобы удалить пакет из менеджера пакетов Aleo.
- leo publish — запустите его, чтобы упаковать вашу программу в виде гаджета и опубликовать ее в Интернете. Leo сделает снимок вашего исходного каталога и загрузит его в диспетчер каналов. Лео проверит, что
leo build
успешно выполнено и чтоleo test
проходит без ошибок. Папкаinputs/
включена. Перед публикацией убедитесь, что вся конфиденциальная информация удалена из папкиinputs/
. Папкаoutputs/
исключена. - leo deploy — запустите его, чтобы развернуть вашу программу на Aleo.
- leo clean — запустите его, чтобы очистить выходной каталог.
- leo lint — запустите его, чтобы линтинговать исходный каталог.
- leo update — запустите его, чтобы загрузить и установить последнюю версию Leo.
Вот и все. Человеку, изучающему лео, необходимо уметь работать с командной строкой. Это удобный и важный инструмент для криптографа. Надеюсь, статья была полезной :)