Ismael Hishon-Rezaizadeh & Charalampos Papamanthou Isolated k-of-n bridges, Ethereum light client bridges and ZK light client bridges face inherent security limitations at scale. Restaking (via EigenLayer) or staking of a liquid staking derivative (via Rocket Pool) provides a power primitive to dynamically scale the underlying security of state proof generation. Lagrange Labs has built the first proof system that enables the creation of inductive zero-knowledge proofs of the state of any arbitrary chain or roll-up with super-linear security. Lagrange Labs is working to build secure infrastructure for zero-knowledge cross-chain state and storage proofs. The Lagrange Labs shared state security zone allows cross-chain bridging, messaging, or indexing protocols to plug into consuming trust-minimized zero-knowledge proofs of cross-chain state, derived from a generalizable light client committee based on rehypothecated collateral. Existing Cross-Chain Security Models: Limitations of Isolated Cross-Chain State Security: Current approaches to messaging and bridging between EVM chains rely on isolated economic guarantees. These guarantees typically are k of n assumptions, where proving that a state exists or a transaction occurred on a different chain requires a plurality, k, of a set of n nodes to agree and sign. Examples of these approaches include multi-signature wallets, threshold signatures schemes across attestation sets, Tendermint proof-of-stake consensus and proofs of Ethereum’s light client sync committee.