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

#2 in #swiftness

Download history 80/week @ 2024-07-15 167/week @ 2024-07-22 243/week @ 2024-07-29 1/week @ 2024-08-05 4/week @ 2024-08-12 181/week @ 2024-08-19 111/week @ 2024-09-09 88/week @ 2024-09-16 168/week @ 2024-09-23 46/week @ 2024-09-30 4/week @ 2024-10-07

312 downloads per month
Used in swiftness

Custom license

43KB
1K SLoC

Swiftness Proof Parser CairoVM Verifier

Dependencies

~10MB
~177K SLoC