ChainCatcher 消息，Optimism 生态开发人员正开发 OP Stack 的故障证明系统，包括防错程序（FPP）、防故障虚拟机（FPVM）、Dispute Game 等组件。 此外，FPP 和 FPVM 的分离使得相同的操作程序既可以在 FPVM 中运行，也可以在 ZKVM 中运行，以帮助 OP Stack ZKP 实现基于 ZK 的有效性证明，并为不同网络之间的低延迟跨链桥提供支持。（来源链接）