后量子SNARK变得透明。 @zksecurityXYZ的Greyhound展示了如何 👇

@zksecurityXYZ Greyhound 是一种透明的基于格的 SNARK。它利用结构化格、Ajtai 承诺和高效的证明生成技术。

@zksecurityXYZ 核心创新：用格假设替代传统的离散对数或配对基础设置，旨在实现后量子安全，同时保持简洁性和可验证性。

@zksecurityXYZ 关键原语：Ajtai 承诺。它利用格问题（例如，SIS）的最坏情况难度来绑定承诺的值。Greyhound 在其多项式承诺和知识证明系统中部署了它。

@zksecurityXYZ Greyhound 的协议在整数格上运行。它通过公开选择的参数避免了信任设置。安全性源于在量子对手下格问题的困难性，而不是群阶假设。

@zksecurityXYZ 效率：作者报告了一种针对证明者和验证者的“高效构造”。虽然仍然比基于配对的SNARKs大，但Greyhound通过对向量/矩阵的模块化操作进行扩展——更适合优化晶格的硬件。

@zksecurityXYZ 验证者性能：在电路大小上是常数或对数，具体取决于参数化。它依赖于采样和检查程序，这些程序是格承诺的特征——旨在减少交互性和证明者的开销。

@zksecurityXYZ 集成角度：Greyhound 可以通过模块化替换承诺方案适应现有的 SNARK 工具链。它不要求重新设计电路抽象，使其在后量子过渡中具有实用性。

@zksecurityXYZ 从密码学的角度来看，它展示了可行性：透明的设置、格假设和高效的证明结构。关于具体的证明大小、参数优化和实际应用性能仍然存在关键问题。

@zksecurityXYZ 简而言之，Greyhound 是一种基于格的 SNARK，建立在 Ajtai 承诺之上。它在没有可信设置的情况下实现了后量子安全，旨在实现实用的证明大小和验证效率。它提供了一条将量子抗性密码学集成到现有系统中的路线图。

@zksecurityXYZ 阅读博客文章 👇

@zksecurityXYZ 最新的 ZK 技术，每个月在这里👇