https://blog.qife122.com/tags/zk-snark/ Recent content in Zk-SNARK on 办公AI智能小助手 Hugo zh-cn qife Tue, 09 Sep 2025 22:30:10 +0800 https://blog.qife122.com/p/halo2%E8%AF%81%E6%98%8E%E7%B3%BB%E7%BB%9F%E7%9A%84%E5%AE%89%E5%85%A8%E6%80%A7%E5%88%86%E6%9E%90%E4%B8%8E%E5%B8%B8%E8%A7%81%E6%BC%8F%E6%B4%9E/ Tue, 09 Sep 2025 22:30:10 +0800 https://blog.qife122.com/p/halo2%E8%AF%81%E6%98%8E%E7%B3%BB%E7%BB%9F%E7%9A%84%E5%AE%89%E5%85%A8%E6%80%A7%E5%88%86%E6%9E%90%E4%B8%8E%E5%B8%B8%E8%A7%81%E6%BC%8F%E6%B4%9E/ <h1 id="halo2证明系统的安全性">Halo2证明系统的安全性</h1> <h2 id="引言">引言</h2> <p>零知识证明（ZKPs）使个体能够证明自己知道或拥有某些信息，而无需透露实际数据。在此过程中，&ldquo;证明者&quot;基于对系统输入的知识生成证明，而&quot;验证者&quot;在不访问底层信息的情况下确认证明的有效性。</p> https://blog.qife122.com/p/zk-snark%E7%94%B5%E8%B7%AF%E7%AE%97%E6%9C%AF%E5%8C%96%E5%BA%93zekromhalo2%E5%AE%9E%E7%8E%B0%E4%B8%8E%E6%8A%80%E6%9C%AF%E8%A7%A3%E6%9E%90/ Mon, 08 Sep 2025 12:02:01 +0800 https://blog.qife122.com/p/zk-snark%E7%94%B5%E8%B7%AF%E7%AE%97%E6%9C%AF%E5%8C%96%E5%BA%93zekromhalo2%E5%AE%9E%E7%8E%B0%E4%B8%8E%E6%8A%80%E6%9C%AF%E8%A7%A3%E6%9E%90/ <h1 id="介绍zekrom面向zk-snark电路的算术化结构库第二部分halo2">介绍zekrom：面向zk-SNARK电路的算术化结构库（第二部分：Halo2）</h1> <p>zekrom是一个面向zkSNARK电路的算术化结构的开源库，由Kudelski安全研究团队的Laurent Thoeny在其硕士论文工作中创建。zekrom的目标是双重的：分析使用现代库（如arkworks-rs和Halo2）的电路新结构的性能，并为隐私保护应用提供即用型结构。本文介绍了基于Halo2的zekrom，它提供了Griffin、Neptune、Rescue Prime和Reinforced Concrete哈希结构。此外，还包括认证加密原语Ciminion以及使用最近提出的SAFE API的Neptune和Griffin的相应AE结构。</p>