CUSC: Composable User-Centric Smart Contracts

Smart Contract (SC) Programming Languages (PL) are inspired by Non-SC PLs. Many, like Solidity, use an object-oriented approach with interfaces and inheritance-based subtyping. However, the main focus of these concepts is on abstraction and extend-ability, whereas for SC Systems, robust, secure and composable SCs are of higher importance. Further, despite supporting inheritance, Solidity and other SC PLs fail to leverage the full benefits of the object-oriented paradigm when multiple SCs are involved. This work presents an approach to SC composability that enables highly composable and secure SCs by encapsulating logic in small traits that serve as interfaces.