Lib.rs

› Cryptography › Magic Beans › Swiftness
#verifier #proof #parser #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

#4 in #swiftness

Download history 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 13/week @ 2024-10-21 19/week @ 2024-10-28 12/week @ 2024-11-18 2/week @ 2024-11-25 47/week @ 2024-12-09

61 downloads per month
Used in swiftness

Custom license

43KB
1K SLoC

Swiftness Proof Parser CairoVM Verifier

Dependencies

~9MB
~149K SLoC