SHOT
Copy Text
中文
零知识证明
零知識証明
zkDaily
ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
ZKP フロンティアトラッカー 🎯
Tue
星期二
火曜日
12.16
2025
Implements Halo2 from scratch
OSS
开源
OSS
https://github.com/rasmus-kirk/halo
Rasmus Kirk Jakobsen
Halo2
Rasmus Kirk Jakobsen open-sourced the complete implementation of Halo2, including theoretical explanation and Rust code, supporting unit testing and benchmark testing.
Rasmus Kirk Jakobsen 开源了 Halo2 的完整实现项目,包括理论解释和 Rust 代码,支持单元测试和基准测试。
Rasmus Kirk Jakobsen は、理論的な説明とRustコードを含むHalo2の完全な実装をオープンソース化しました。これには、単体テストおよびベンチマークテストのサポートが含まれます。
Notes
Notes
要点
Complete implementation of Halo2 from scratch, providing both theoretical foundations and practical code.
Includes unit and benchmark tests for code validation and performance evaluation.
Offers detailed reports explaining the theory, construction, and benchmark results of Halo2.
Reports include: committee signature chain compression based on IVC, enabling fast and secure light node synchronization.
Reports include: IVC-friendly Plonk engineering implementation without trusted setup.
项目完全从零实现 Halo2,提供理论基础和实际代码
包含单元测试和基准测试,支持代码验证和性能评估
提供详细报告,解释Halo2的理论、构造和基准结果
报告包括:基于 IVC 的委员会签名链压缩,实现 light node 快速安全同步。
报告包括:无需 trusted setup 的 IVC-friendly Plonk 工程实现。
Halo2のゼロからの完全実装。理論的基盤と実践的なコードの両方を提供します。
コード検証およびパフォーマンス評価のための単体テストとベンチマークテストを含みます。
Halo2の理論、構築、ベンチマーク結果を説明する詳細なレポートを提供します。
レポートには:IVCに基づくコミットティ署名チェーン圧縮が含まれ、高速で安全なライトノード同期を可能にします。
レポートには:トラステッドセットアップ不要のIVCフレンドリーなPlonkエンジニアリング実装が含まれます。