这是我关于在 ZK 电路中寻找健全性漏洞的新文章，里面有 Circom、Cairo 和 Rust 的具体示例。链接在回复中。

链接：