This article offers an extensive comparison between Ethereum Solidity and Sui Move, two prominent smart contract languages. As blockchain technology gains momentum, choosing the right smart contract language becomes paramount for building resilient decentralized applications. The study delves into the unique features, strengths, and limitations of both languages, assisting developers in making well-informed decisions. Ethereum Solidity, widely adopted due to its versatility, has been integrated into numerous blockchain projects. Conversely, Move, introduced by the Libra blockchain, prioritizes security and safety through a distinct approach, advantages that the Sui network has incorporated into the Sui Move language. The analysis covers various key elements of each language while at the same time, examines their support for overall security mechanisms, formal verification, and ease of use. By providing an evaluation of Ethereum Solidity and Sui Move, the article aims to empower developers with valuable insights during the process of creating robust and secure decentralized applications.

The emergence of blockchain technology has resulted in the creation of various blockchain networks and their accompanying programming languages for creating smart contracts. Each smart contract language, with its unique characteristics, advantages, and drawbacks, leverages blockchain technology to create a secure, transparent, and efficient way to execute agreements without the need for intermediaries. In this study, we compared the Solidity language used in the Ethereum blockchain network and Sui Move, which is used for the Sui blockchain network, highlighting contrasting approaches to smart contract development. In this paper, we explore the aspects of both languages, such as their structure, operational models, and security components. By evaluating these factors, the study uncovers the strengths and limitations of each language, highlighting their security and performance features that developers must take into account when choosing a smart contract language to build robust, efficient, and scalable decentralized applications that are addressed at a wide audience. Additionally, the work entails a framework that helps developers transition existing applications built on Solidity to Sui Move and take advantage of Sui Move’s unique characteristics without sacrificing functionality. It is a step-by-step approach to modify data forms, refactor logic processes, and deploy modules as needed while ensuring that migration is smooth and the maximum benefits of the Sui-based blockchain network are achieved. The knowledge and resources offered are designed to enable developers to create more secure, scalable, and efficient decentralized systems.

Smart contracts are vulnerable to critical, design-level Business Logic Flaws (BLFs) that conventional analysis tools often fail to detect. To address this semantic gap, this study introduces and validates a novel ontological framework designed to formally model the link between high-level architectural intent and low-level code. The methodology involved constructing a multi-layered framework that integrates a comprehensive formal ontology of the Sui Move language, a library of secure design patterns, and process-aware Object-Centric Dynamic Condition Response (OC-DCR) graphs to specify expected behavior. The framework’s representational adequacy was validated by demonstrating its ability to accurately and comprehensively model secure, canonical implementations of four patterns (Access Control, Circuit Breaker, Time Incentivization, and Escapability), drawn from the official Sui Framework and documentation. This validation confirms the framework provides a robust, machine-readable model that captures a diverse range of security, economic, and temporal logic found inside these official implementations. By establishing this formal descriptive model, our work provides the essential semantic foundation for a future generation of tools for pattern-aware auditing and runtime anomaly detection, contributing a comprehensive basis for engineering more verifiable and resilient decentralized applications.