零知识证明年度回顾与总结

Aligned
20 Jan 2025

查看博客文章

2024 年是零知识（ZK）技术发展历程中具有里程碑意义的一年，我们取得了重大的突破，接下来让我们一起来回顾一些闪光时刻：

✅ 重要公告

零知识技术进入以太坊共识层

Justin Drake 提出了“Beam 链”，旨在重新设计以太坊共识层。这一提议旨在通过“snark化”以太坊链，开启以太坊共识的新纪元。

了解更多

Aligned 主网测试版正式上线

令人激动的是，从零起步到主网的成功上线，仅间隔了一年时间。

阅读全文

引入 ZK-STARKs 到比特币网络

StarkWare 以扩展以太坊而闻名，现在正将其专业技术应用于比特币。这一举措有望帮助实现中本聪的愿景。

了解更多

✅ 研究成果

证明系统

• Circle STARKs
  Polygon 与 StarkWare 联合完成的一项研究，推动了 STARK 技术的应用。了解更多
• Polymath
  Helger Lipmaa 提出了优化 Groth16 zkSNARK 的新方法，为未来应用拓展了可能性。了解更多
• Pari 和 Garuda
  两种新型 SNARK，分别在紧凑性和自由度上取得了突破。了解更多

多项式承诺方案

• WHIR
  一种高效的近交互式证明系统，验证速度极快。了解更多
• Blaze
  高效的多线性多项式承诺方案，适用于二进制域。了解更多
• Greyhound
  基于标准格假设的无可信设置方案。了解更多

折叠方案

• LatticeFold
  基于格的折叠方案，安全性依赖于 MSIS 问题。了解更多
• Lova
  非结构化格折叠方案，量子抗性强。了解更多

✅ 重要工具与版本发布

• zkVMs 里程碑
  RiscZero 发布 zkVM 1.2，解锁了预编译功能。了解更多
• Scroll 发布 OpenVM
  模块化的 zkVM 框架，支持定制与扩展。了解更多
• Polygon 发布 Plonky3
  下一代 ZK 证明系统，为特定应用场景提供了极大灵活性。了解更多

感谢所有参与零知识技术发展的研究人员和开发者，让我们共同期待 2025 年的更多突破！