Nebula: Proving Machine Executions via Folding Schemes.

本文提出了一种名为Nebula的新型系统，通过折叠方案（folding schemes）来高效证明任意机器（如CPU）的执行轨迹。传统的可验证计算（verifiable computation）方案面临证明生成开销大、验证效率低等问题。Ne

历史摘要 · 未重新核验 · IEEE S&P