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