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

no-std ministark-gpu

GPU optimized primitives commonly used by STARK/SNARK provers

3 releases (breaking)

0.3.0 Feb 14, 2024
0.2.0 Oct 27, 2023
0.1.0 May 20, 2023

#724 in Cryptography

Download history 140/week @ 2024-02-14 26/week @ 2024-02-21 25/week @ 2024-02-28 2/week @ 2024-03-06 6/week @ 2024-03-13 20/week @ 2024-03-27 45/week @ 2024-04-03

72 downloads per month
Used in 2 crates (via miden-prover)

MIT license

210KB
4K SLoC

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

GPU optimized STARK/SNARK primitives

This library contains GPU optimized primitives commonly used by STARK/SNARK provers. The code is written in the Metal programming language so currently only supports Apple Silicon. Part of the development of this library was supported by the fantastic Polygon Miden team.

Usage

# recompile shaders
make shaders

# run tests
export METAL_DEVICE_WRAPPER_TYPE=1
cargo test

# run benchmarks
cargo bench

Dependencies

~0.3–2.3MB
~32K SLoC