解读Noir：零知识（ZK）的通用语言

Noir 是一种基于 Rust 的领域特定语言 (DSL)，用于创建和验证零知识证明。