Lib.rs

› Cryptography
#verifier #cairo-vm #stark #swiftness #zk

no-std swiftness_stark

Swiftness - Rust CairoVM Verifier implementation

by Bartosz Nowak

7 releases

0.1.2 Sep 26, 2024
0.1.0 Sep 13, 2024
0.0.8 Aug 19, 2024
0.0.6 Jul 30, 2024

#1186 in Cryptography


Used in swiftness

Custom license

4MB
70K SLoC

Swiftness Stark CairoVM Verifier

Dependencies

~10MB
~185K SLoC