miniSTARK 项目教程

miniSTARK 项目教程

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

1、项目介绍

miniSTARK 是一个基于 @arkworks-rs 构建的 GPU 加速 STARK 证明器。STARK（Scalable Transparent Argument of Knowledge）是一种用于生成零知识证明的技术，能够在不泄露任何信息的情况下验证计算的正确性。miniSTARK 项目旨在提供一个高效、快速的 STARK 证明器，适用于各种计算场景。

2、项目快速启动

环境准备

在开始之前，请确保你已经安装了以下工具：

• Rust 编程语言（建议使用 nightly 版本）
• Cargo（Rust 的包管理工具）
• 最新版本的 macOS（如果使用 M1 Mac）

安装依赖

首先，克隆 miniSTARK 项目到本地：

git clone https://github.com/andrewmilson/ministark.git
cd ministark

生成证明

使用以下命令生成一个简单的证明：

cargo +nightly run -r -F parallel asm gpu --example brainfuck -- \
prove /examples/brainfuck/hello_world.bf \
--dst /hello_world_proof

验证证明

使用以下命令验证生成的证明：

cargo +nightly run -r -F asm --example brainfuck -- \
verify /examples/brainfuck/hello_world.bf \
--output "Hello World" \
--proof /hello_world_proof

3、应用案例和最佳实践

应用案例

miniSTARK 的一个典型应用案例是使用 Brainfk 编程语言生成证明。Brainfk 是一种极简的编程语言，miniSTARK 提供了一个 Brainfk 的实现示例，展示了如何使用 STARK 技术来证明 Brainfk 程序的执行结果。

最佳实践

• 选择合适的硬件：miniSTARK 在 M1 Max 上的性能表现优异，建议在支持 GPU 加速的硬件上运行。
• 优化证明生成：在生成证明时，尽量使用并行计算以提高效率。
• 验证证明：在验证证明时，确保输出结果与预期一致，以保证证明的有效性。

4、典型生态项目

• Winterfell：由 Facebook 开发的 STARK 证明器和验证器，miniSTARK 从中借鉴了多个组件。
• OpenZKP：由 Remco Bloemen 开发的 STARK 证明器和验证器，对 miniSTARK 的 AIR 约束和部分特性有重要影响。
• Miden VM：由 Bobbin Threadbare 开发的虚拟机，提供了多个与 STARK 相关的教程和文章。

通过这些生态项目，miniSTARK 构建了一个强大的技术生态系统，为用户提供了丰富的资源和工具。

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