Formal proofs advance cross-domain state preservation for bridges and rollups

A new set of machine-checked proofs published on Ethereum Research on July 21, 2026, advances the formal theory of cross-domain state preservation for bridges and rollups. The work mechanizes the composition of preservation maps between synchronization domains and stratifies them by coupling breadth, using Isabelle/HOL as the proof assistant. The implications extend beyond academic verification.