ChainCatcher 消息，Optimism 生態開發人員正開發 OP Stack 的故障證明系統，包括防錯程序（FPP）、防故障虛擬機（FPVM）、Dispute Game 等組件。此外，FPP 和 FPVM 的分離使得相同的操作程序既可以在 FPVM 中運行，也可以在 ZKVM 中運行，以幫助 OP Stack ZKP 實現基於 ZK 的有效性證明，並為不同網絡之間的低延遲跨鏈橋提供支持。（來源鏈接）