crossdomain

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

A brand new set of machine-checked proofs revealed on Ethereum Analysis on July 21, 2026, pushes the formal idea of…