RV Inc formally modeled cross-chain message validation for the OP Stack, according to Optimism's weekly recap. The work formalizes the validation of cross-chain messages that underpin OP Stack interoperability between Superchain chains. No further details were provided in the announcement.