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.

6 releases

new 0.1.0 Sep 13, 2024
0.0.8 Aug 19, 2024
0.0.6 Jul 30, 2024

#5 in #swiftness

Download history 160/week @ 2024-07-19 278/week @ 2024-07-26 53/week @ 2024-08-02 2/week @ 2024-08-09 168/week @ 2024-08-16 15/week @ 2024-08-23

185 downloads per month
Used in swiftness

Custom license

43KB
1K SLoC

Swiftness Proof Parser CairoVM Verifier

Dependencies

~6–8.5MB
~164K SLoC