#verifier #parser #proof #swiftness #cairo-vm #zk #stark

swiftness_proof_parser

Json Proof Parser for Swiftness - Rust CairoVM Verifier implementation

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

#905 in Magic Beans

Download history 94/week @ 2024-07-18 263/week @ 2024-07-25 134/week @ 2024-08-01 2/week @ 2024-08-08 166/week @ 2024-08-15 17/week @ 2024-08-22 160/week @ 2024-09-12 65/week @ 2024-09-19 200/week @ 2024-09-26

425 downloads per month
Used in swiftness

Custom license

43KB
1K SLoC

Swiftness Proof Parser CairoVM Verifier

Dependencies

~10MB
~177K SLoC