Leo编程语言

目录

• 🍎 概述
• ⚙️️ 构建指南
  • 🦀 安装Rust
  • 🐙 从源代码构建
  • 🦁 从Leo更新
  • 📦 使用Cargo下载
• 🚀 快速开始
• 🧰 故障排除
• 📖 文档
• 🤝 贡献
• ❤️ 贡献者
• 🛡️ 许可证

🍎 概述

欢迎使用Leo编程语言。

Leo提供了一种高级语言，它抽象了低级加密概念，并使将私有应用程序集成到您的堆栈中变得容易。Leo将编译成电路，使零知识证明变得实用。

Leo的语法受像JavaScript、Scala和Rust这样的传统编程语言的影响，强调可读性和易用性。Leo为开发者提供工具来验证电路，包括单元测试、集成测试和控制台函数。

Leo是构建私有应用程序在Aleo上的更大生态系统的一部分。该语言目前处于alpha阶段，可能会进行重大更改。

⚙️️ 构建指南

🦀 安装Rust

我们建议使用rustup安装Rust。您可以通过以下方式安装rustup：

• macOS或Linux

  curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
  

• Windows (64位)

  下载Windows 64位可执行文件并按照屏幕上的说明操作。

• Windows (32位)

  下载32位Windows可执行文件[点击此处下载]并按照屏幕上的说明操作。

🐙 从源代码构建

我们建议通过以下方式从源代码构建Leo：

# Download the source code
git clone https://github.com/AleoHQ/leo
cd leo

# Install 'leo'
$ cargo install --path .

现在要使用leo，请在您的终端中运行：

leo

🦁 从Leo更新

您可以使用以下命令将Leo更新到最新版本：

leo update

现在要检查leo的版本，请在您的终端中运行：

leo --version

📦 使用Cargo下载

您也可以使用cargo直接从crates.io安装Leo

cargo install leo-lang

现在要使用leo，请在您的终端中运行：

leo

🚀 快速开始

使用Leo CLI创建新项目

# create a new `hello-world` Leo project
leo new helloworld
cd helloworld

# build & setup & prove & verify
leo run main 0u32 1u32

leo new命令将创建一个具有指定名称的新Leo项目。

leo run命令将编译程序为Aleo指令并运行它。

恭喜！您刚刚运行了您的第一个Leo程序。

🧰 故障排除

如果您在安装和使用Leo时遇到问题，请查看我们的指南。

如果问题仍然存在，请提交一个issue。

📖 文档

• Hello World - 下一步
• Leo语言文档
• Leo ABNF语法
• 主页

🤝 贡献

请参阅我们在开发者文档中的指南

❤️ 贡献者

查看所有Leo贡献者此处。

🛡️ 许可证

🔼 返回顶部