Anya Volkov：使用 Rust 实现 ZK‑SNARKs 以实现金融隐私

Source: Dev.to

Anya Volkov：Rust 中的隐私工程

大家好，我是 Anya Volkov。
今天想聊聊“硬核”工程。在 SQHWYD，我们在 2025 年将关键基础设施迁移到 Rust。主要原因不仅是内存安全，还因为在生成零知识（Zero‑Knowledge，ZK）证明方面的高效性。

问题

在巴西生态系统（Pix/Drex）中，我们需要验证用户的余额 > R$ 1.000,00，但不向网络透露精确的余额。

使用 ZK 电路的解决方案

我们使用 Halo2 库（由 Zcash 团队开发）。以下是我们在 Unity 层使用的逻辑简化示例：

impl Circuit for SolvencyCircuit {
    fn synthesize(&self, config: Self::Config, mut layouter: impl Layouter) -> Result {
        // Gerar a prova matemática
    }
}

这使得 SQHWYD 能够在巴西以完全隐私的方式处理高价值的机构交易。验证者只能看到 True 或 False，永远看不到具体数字。如果你是对应用密码学感兴趣的巴西开发者，2026 年的市场需要你。

🔗 SQHWYD