本文提出了一种名为Nebula的新型系统，通过折叠方案（folding schemes）来高效证明任意机器（如CPU）的执行轨迹。传统的可验证计算（verifiable computation）方案面临证明生成开销大、验证效率低等问题。Nebula创新地将折叠方案与证明系统相结合，允许将多个执行步骤的证明递归地折叠成单个简洁证明，从而显著降低证明者开销并保持验证者成本恒定。核心方法包括：设计一种可表达任意指令集的电路表示，利用折叠方案实现跨步骤的证明聚合，并引入新颖的累加器来确保状态一致性。实验表明，在RISC-V基准测试中，Nebula的证明生成时间比现有最优方案缩短了10倍以上，验证时间仅为几毫秒。该工作为构建高效、通用的可验证执行环境提供了理论基础，尤其适用于区块链、云计算中的可信计算场景。