Smart Contract Families in Solidity

Description

We show how to express similar smart contract applications in Solidity in a systematic way, enabling simultaneous code reuse across possibly incompatible chains (e.g., L2s). Our work helps developers to simplify multi-chain development and audits.