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协议的细节。文章结构清晰，有助于理解这个基于零知识证明的系统的复杂性。

RISC Zero 宣布其 zkVM 能够运行 DOOM 游戏，通过在 zkVM 中运行 DOOM 端口，并使用 demo 文件作为输入，利用 ZK 证明来验证游戏帧的真实性，实现了在零知识证明下运行 DOOM。他们还提到这为速通游戏（speedrunning）开辟了新的可能性，例如使用工具辅助的速通，并用ZK证明来验证记录。

本文探讨了在拥有1000台机器的集群上并行化10亿指令周期计算证明的通信复杂度，分别针对RISC Zero的Bonsai架构上的递归证明和基于折叠的证明进行了分析。分析表明，通过调整折叠见证人的大小，可以使折叠的通信复杂度与FRI系统相匹配，但实际应用中存在工程权衡。

Eclipse Mainnet 是一个通用 L2，它结合了模块化堆栈的最佳部分：结算在以太坊上，执行使用 Solana 虚拟机 (SVM)，数据可用性使用 Celestia，证明使用 RISC Zero 的 ZK 欺诈证明。结合 Solana 的性能与以太坊 rollup 的安全性和网络效应，旨在实现高性能和低费用。