Lib.rs

›

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

no-std swiftness_proof_parser

Swiftness JSON证明解析器 - Rust CairoVM验证器实现

所有者 Okm165.

5个版本

新 0.0.8	2024年8月19日
0.0.7	2024年8月1日
0.0.6	2024年7月30日
0.0.5	2024年7月25日
0.0.3	2024年7月20日

#722 in 魔法豆

每月505次下载
用于swiftness

自定义许可

2.5MB
48K SLoC

Swiftness证明解析器CairoVM验证器

依赖项

~13MB
~244K SLoC