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