ProvableHQ/snarkVM

## 目录 * [1. 概述](#1-overview) * [2. 构建指南](#2-build-guide) * [3. 贡献者](#3-contributors) * [4. 许可证](#4-license) ## 1. 概述 | Package | crates.io | docs.rs | `std` | `wasm` | Description | |:-------------------:|:-----------------------------------------------------------------------------------------------------------------:|:----------------------------------------------------------------------------------------------------:|:------------------:|:------------------:|:----------------------------------------------| | snarkvm | [ ](https://crates.io/crates/snarkvm) | [ ](https://docs.rs/snarkvm) | :white_check_mark: | :white_check_mark: | 包含所有其他 crate 的元包 | | snarkvm-algorithms | [ ](https://crates.io/crates/snarkvm-algorithms) | [ ](https://docs.rs/snarkvm-algorithms) | :white_check_mark: | :white_check_mark: | | | snarkvm-circuit | [ ](https://crates.io/crates/snarkvm-circuit) | [ ](https://docs.rs/snarkvm-circuit) | :white_check_mark: | :white_check_mark: | snarkVM 的算术电路 | | snarkvm-console | [ ](https://crates.io/crates/snarkvm-console) | [ ](https://docs.rs/snarkvm-console) | :white_check_mark: | :white_check_mark: | | | snarkvm-curves | [ ](https://crates.io/crates/snarkvm-curves) | [ ](https://docs.rs/snarkvm-curves) | :white_check_mark: | :white_check_mark: | snarkVM 的加密曲线 | | snarkvm-fields | [ ](https://crates.io/crates/snarkvm-fields) | [ ](https://docs.rs/snarkvm-fields) | :white_check_mark: | :white_check_mark: | snarkVM 的算术域 | | snarkvm-ledger | [ ](https://crates.io/crates/snarkvm-ledger) | [ ](https://docs.rs/snarkvm-ledger) | :white_check_mark: | :white_check_mark: | Aleo 区块链的账本实现 | | snarkvm-parameters | [ ](https://crates.io/crates/snarkvm-parameters) | [ ](https://docs.rs/snarkvm-parameters) | :white_check_mark: | :white_check_mark: | | | snarkvm-synthesizer | [](https://crates.io/crates/snarkvm-synthesizer) | [](https://docs.rs/snarkvm-synthesizer) | :white_check_mark: | :white_check_mark: | snarkVM 的程序合成器 | | snarkvm-utilities | [ ](https://crates.io/crates/snarkvm-utilities) | [ ](https://docs.rs/snarkvm-utilities) | :white_check_mark: | :white_check_mark: | snarkVM 的辅助函数 | | snarkvm-wasm | [ ](https://crates.io/crates/snarkvm-wasm) | [ ](https://docs.rs/snarkvm-wasm) | :white_check_mark: | :white_check_mark: | snarkVM 的 WASM 绑定 | 了解更多信息，请访问[欢迎使用 Aleo](https://github.com/AleoNet/welcome) 开始使用。 ## 2. 构建指南 ### 2.1 安装 Rust 我们推荐使用 [rustup](https://www.rustup.rs/) 来安装 Rust。您可以按照以下方式安装 `rustup`： - macOS 或 Linux： curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh 对于 macOS 用户，随后您需要安装以下软件包： brew install pkgconf brew install openssl - Windows (64 位)： 下载 [Windows 64 位可执行文件](https://win.rustup.rs/x86_64) 或 [Windows 32 位可执行文件](https://win.rustup.rs/i686) 并按照屏幕上的说明进行操作。 ### 2.2 将 snarkVM 作为库使用 snarkVM 主要设计为在 Rust 项目中作为库使用。使用您最喜欢的已发布版本将其添加到您的 `Cargo.toml` 中： ``` [dependencies] snarkvm = ".." ``` ### 2.3 从源代码构建 您也可以从源代码构建 snarkVM： ``` # 获取仓库的开发 (staging) 分支 git clone --branch staging --single-branch https://github.com/ProvableHQ/snarkVM.git cd snarkVM # 构建 library cargo build --release ``` ## 4. 许可证 [](./LICENSE.md)

标签：Aleo, Rust, zkVM, 区块链, 可视化界面, 密码学, 手动系统调用, 网络流量审计, 通知系统, 隐私计算, 零知识证明