在三月,@NethermindSec 的 ZK 审计团队完成了首次 Noir 审计,审查了 @0xorio 的安全匿名邮件模块(SAMM)。 我们带来了来自 Circom、o1js、SP1、Risc-0 和 Cairo 的经验,以评估这个受 Rust 启发的 zkDSL。 关键要点:@NoirLang 的语言设计非常出色。🧵 1/
4.41K