miniSTARK 项目使用教程

miniSTARK 项目使用教程

ministark🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs项目地址:https://gitcode.com/gh_mirrors/mi/ministark

1. 项目的目录结构及介绍

ministark/
├── Cargo.toml
├── examples/
│   ├── brainfuck/
│   │   ├── hello_world.bf
│   │   └── ...
│   └── ...
├── src/
│   ├── lib.rs
│   ├── gpu/
│   │   ├── mod.rs
│   │   └── ...
│   ├── prover/
│   │   ├── mod.rs
│   │   └── ...
│   ├── verifier/
│   │   ├── mod.rs
│   │   └── ...
│   └── ...
└── ...

• Cargo.toml: 项目的配置文件，定义了项目的依赖、版本等信息。
• examples/: 包含项目的示例代码，例如 brainfuck 示例。
• src/: 项目的源代码目录，包含主要的逻辑实现。
  • lib.rs: 项目的入口文件，定义了库的公共接口。
  • gpu/: 包含与 GPU 加速相关的代码。
  • prover/: 包含证明生成相关的代码。
  • verifier/: 包含验证相关的代码。

2. 项目的启动文件介绍

项目的启动文件是 src/lib.rs，该文件定义了项目的公共接口和主要模块的入口点。通过该文件，可以导入和使用项目中的各个模块。

3. 项目的配置文件介绍

项目的配置文件是 Cargo.toml，该文件定义了项目的依赖、版本、构建选项等信息。以下是 Cargo.toml 的一个示例：

[package]
name = "ministark"
version = "0.1.0"
edition = "2021"

[dependencies]
ark-std = "0.3"
ark-crypto-primitives = "0.3"
...

[features]
default = []
parallel-asm = ["asm"]
...

• [package]: 定义了项目的名称、版本和使用的 Rust 版本。
• [dependencies]: 列出了项目依赖的库及其版本。
• [features]: 定义了项目的特性（features），例如 parallel-asm 特性。

通过配置文件，可以管理项目的依赖和构建选项，确保项目能够正确编译和运行。

ministark🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs项目地址:https://gitcode.com/gh_mirrors/mi/ministark