Hello World в Leo

Используйте Leo CLI для создания нового проекта. В терминале выполните:

leo new hello-world
cd hello-world

Это создаст каталог со следующей структурой:

hello-world/
├── Leo.toml # manifest вашей програмы
├── README.md # Описание вашей програмы
├── inputs/
│ ├── hello-world.in # Входные данные программы
│ └── hello-world.state # Информация о состоянии записи
└── src/
└── main.leo # Файл вашей програмы

Давайте запустим проект.

Zero Knowledge в одну строку

Команда leo run скомпилирует программу, сгенерирует ключи для доверенной установки, получит входные данные, сгенерирует доказательство и проверит его. В терминале выполните:

leo run

Вывод в консоли:

Compiling Starting…
Compiling Compiling main program… (“hello-world/src/main.leo”)
Compiling Complete
Done Finished in 10 milliseconds

Setup Starting…
Setup Saving proving key (“hello-world/outputs/hello-world.lpk”)
Setup Complete
Setup Saving verification key (“hello-world/outputs/hello-world.lvk”)
Setup Complete
Done Finished in 10 milliseconds

Proving Starting…
Proving Saving proof… (“hello-world/outputs/hello-world.proof”)
Done Finished in 10 milliseconds

Verifying Starting…
Verifying Proof is valid
Done Finished in 10 milliseconds

Поздравляем! Вы только что запустили свою первую программу Leo.

Давайте рассмотрим синтаксис файла программы, которую мы только что выполнили.

--

--

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store