ZK的算术电路 in 零知识证明之书 文章介绍了在零知识证明中使用的算术电路（Arithmetic Circuits）与布尔电路（Boolean Circuits）的对比，并展示了如何将算术电路用于求解NP问题。文章详细解释了算术电路的原理、实现方法，并提供了多个具体示例，如三色图问题和排序列表问题。 零知识证明 算术电路 布尔电路 NP问题 三色图问题 RareSkills 发布于 2024-04-25 3371 0 1
Flock：让证明逼近计算极限的哈希SNARK系统 Flock 是一种针对布尔计算批次的 SNARK 系统，专注于高效证明标准哈希函数（如 Keccak、SHA-256、BLAKE3）。 SNARK 布尔电路 标准哈希 批处理证明 后量子签名 二进制域 succinctlabs 发布于 2026-06-26 120 0 0
