#gpu #snark #stark #arkworks #winterfell

no-std ministark-gpu

GPU optimized primitives commonly used by STARK/SNARK provers

2 unstable releases

0.2.0 Oct 27, 2023
0.1.0 May 20, 2023

#1965 in Cryptography

Download history 8/week @ 2023-08-08 7/week @ 2023-08-15 5/week @ 2023-08-22 4/week @ 2023-08-29 12/week @ 2023-09-05 6/week @ 2023-09-12 2/week @ 2023-09-19 4/week @ 2023-09-26 5/week @ 2023-10-03 9/week @ 2023-10-10 12/week @ 2023-10-17 32/week @ 2023-10-24 14/week @ 2023-10-31 11/week @ 2023-11-07 10/week @ 2023-11-14 15/week @ 2023-11-21

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

MIT license

140KB
2.5K SLoC

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.1MB
~28K SLoC