Lib.rs

› 编程语言 › Circomspect
#circom #circomspect #analyzer #zero-knowledge #static

circomspect-program-analysis

作者： Fredrik Dahlgren 及 5 位贡献者

11个版本

0.8.2 2024年6月20日
0.8.1 2023年3月21日
0.7.2 2022年12月1日
0.7.1 2022年11月29日
0.5.2 2022年9月12日

#547 in 编程语言

Download history • Rust 包仓库 13/week @ 2024-04-22 • Rust 包仓库 1/week @ 2024-06-03 • Rust 包仓库 120/week @ 2024-06-17 • Rust 包仓库 8/week @ 2024-06-24 • Rust 包仓库 32/week @ 2024-07-01 • Rust 包仓库 16/week @ 2024-07-08 • Rust 包仓库 46/week @ 2024-07-29 • Rust 包仓库

63 下载/月
在 circomspect 中使用

LGPL-3.0-only

590KB
14K SLoC

Circomspect静态分析器的支持crate

依赖

~11–21MB
~308K SLoC