RISC Zero

本文集中讨论了在 RISC Zero 中优化全同态加密 (FHE) 的性能，强调识别主要瓶颈的重要性。文章详细分析了 ZK 证明的开销，包括计算和分页的开销，并介绍了一个名为 profiler0 的工具，用于评估代码中的周期开销。此外，还讨论了未来的潜在优化方案，包括使用 Karatsuba 算法和 RISC Zero 的硬件加速功能。

本文探讨了使用零知识证明（ZKP）验证全同态加密（FHE）的过程，重点分析了TFHE在RISC Zero平台上的实现，以及如何通过优化数据加载和计算来提高效率。文章呈现了核心概念、实施细节和代码示例，为后续优化提供基础。

本文介绍了Kailua，一个旨在将乐观Rollup升级为混合ZK Rollup的软件套件。Kailua通过引入新颖的故障证明游戏，解决了当前rollup的核心问题，如降低运营成本、减少抵押要求和最终性延迟，同时提高了安全性和性能。文章详细阐述了Kailua的组件、工作原理及其在实际应用中的潜力。

本文介绍了选择zkVM的关键特性以及如何评估不同的ZK工具包。作者讨论了为何zkVM能加快开发速度，列举了必要特性，包括支持导入包、链上验证、无限制计算以及证明组合。此外，文章还详细描述了RISC Zero在实现这些特性方面所采用的方法和技术挑战。

这篇文章深入探讨了RISC Zero zk-STARK的构建过程，分为12个课程，详尽地解释了执行跟踪、规则检查、数据填充、构造多项式和约束多项式等关键技术环节，结合了零知识证明的应用以及使用Reed-Solomon编码和FRI协议来验证多项式的低度特性

本文介绍了RISC Zero STARK协议的实现细节及其工作原理，涵盖了从设置阶段到主要执行跟踪、辅助执行跟踪，以及DEEP-ALI和FRI协议的细节。文章结构清晰，有助于理解这个基于零知识证明的系统的复杂性。