A closer look at how Sui’s object-centric model and the Move language can ... on Ethereum can be formally verified to achieve high levels of security, this process can be complex and costly.