Lib.rs

› Cryptography › Magic Beans › Swiftness
#parser #verifier #proof #swiftness #cairo-vm #zk #stark

swiftness_proof_parser

Json Proof Parser for Swiftness - Rust CairoVM Verifier implementation

Owned 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

#3 in #swiftness

32 downloads per month
Used in swiftness

Custom license

43KB
1K SLoC

Swiftness Proof Parser CairoVM Verifier

Dependencies

~10MB
~181K SLoC