https://blog.qife122.com/tags/%E7%AE%97%E6%9C%AF%E5%8C%96/ Recent content in 算术化 on 办公AI智能小助手 Hugo zh-cn qife Sat, 20 Sep 2025 14:18:20 +0800 https://blog.qife122.com/p/zekrom%E9%9D%A2%E5%90%91%E9%9B%B6%E7%9F%A5%E8%AF%86%E8%AF%81%E6%98%8E%E7%94%B5%E8%B7%AF%E7%9A%84%E7%AE%97%E6%9C%AF%E5%8C%96%E6%9E%84%E9%80%A0%E5%BA%93%E8%AF%A6%E8%A7%A3-%E7%AC%AC%E4%B8%80%E9%83%A8%E5%88%86arkworks-rs/ Sat, 20 Sep 2025 14:18:20 +0800 https://blog.qife122.com/p/zekrom%E9%9D%A2%E5%90%91%E9%9B%B6%E7%9F%A5%E8%AF%86%E8%AF%81%E6%98%8E%E7%94%B5%E8%B7%AF%E7%9A%84%E7%AE%97%E6%9C%AF%E5%8C%96%E6%9E%84%E9%80%A0%E5%BA%93%E8%AF%A6%E8%A7%A3-%E7%AC%AC%E4%B8%80%E9%83%A8%E5%88%86arkworks-rs/ <h1 id="zekrom面向零知识证明电路的算术化构造库---第一部分arkworks-rs">zekrom：面向零知识证明电路的算术化构造库 - 第一部分：arkworks-rs</h1> <p>zekrom 是一个开源的、面向 zkSNARK 电路的算术化构造库。它由 Kudelski Security 研究团队的 Laurent Thoeny 在其硕士论文工作中创建。zekrom 的目标是使用现代库（如 arkworks-rs 和 Halo2）分析电路中新构造的性能。本文描述 zekrom 在 arkworks-rs 中的实现，提供 Griffin、Neptune 和 Rescue Prime 哈希构造，还包括认证加密原语 Ciminion，以及使用最近提出的 SAFE API 实现的 Neptune 和 Griffin 的认证加密构造。</p>