#gpu #stark #arkworks #snark #winterfell #programming-language

no-std ministark-gpu

GPU优化的STARK/SNARK证明者常用原语

3个版本 (破坏性更新)

0.3.0 2024年2月14日
0.2.0 2023年10月27日
0.1.0 2023年5月20日

#1233 in 密码学


用于2个crate(通过miden-prover

MIT许可证

210KB
4K SLoC

Rust 2.5K SLoC // 0.0% comments Metal Shading Language 1.5K SLoC // 0.2% comments

GPU优化的STARK/SNARK原语

此库包含STARK/SNARK证明者常用的GPU优化原语。代码是用Metal编程语言编写的,因此目前仅支持Apple Silicon。此库的开发得到了出色的Polygon Miden团队的资助。

用法

# recompile shaders
make shaders

# run tests
export METAL_DEVICE_WRAPPER_TYPE=1
cargo test

# run benchmarks
cargo bench

依赖项

~0.3–2.4MB
~33K SLoC