Crystality: A Programming Model for Smart Contracts on Parallel EVMs
Scaling blockchain performance through parallel smart contract execution has gained significant attention, as traditional methods are limited by the performance of a single virtual machine (VM), even in multi-chain or Layer-2 systems. Parallel VMs present a promising solution by enabling concurrent execution of transactions within a single smart contract, utilizing multiple CPU cores. However, existing parallel mechanisms are constrained by Ethereum’s sequential, shared-everything model, which does not fully exploit the parallelizable aspects of smart contracts. This leads to frequent rollbacks with optimistic parallelization and substantial overhead in pessimistic approaches due to state dependency analysis and locking.
In this paper, we introduce Crystality, a programming model for smart contracts on parallel Ethereum Virtual Machines (EVMs) that enables developers to express the inherent parallelism within a smart contract. Crystality introduces Programmable Contract Scopes to partition contract states into non-overlapping, parallelizable segments and decompose a smart contract function into finer-grained components. Crystality also features Asynchronous Functional Relay to manage execution flow across EVMs. These innovations simplify the expression of parallelism and allow the parallel VM system to perform asynchronous execution when operations on a contract state are commutative.
Crystality extends Solidity with directives and transpiles Crystality code into standard Solidity code, ensuring EVM compatibility. The Crystality system includes two execution modes: an asynchronous mode for transactions involving commutative operations and an optimistic-based fallback mode to maintain block-defined transaction order. Our experiments demonstrated Crystality’s superior performance compared to Ethereum, Aptos, and Sui on a 64-core machine.
Tue 4 MarDisplayed time zone: Pacific Time (US & Canada) change
15:40 - 17:00 | Session 9: Concurrent Data Structures and Synchronization II (Session Chair: Pengfei Su)Main Conference at Acacia D | ||
15:40 20mTalk | PANNS: Enhancing Graph-based Approximate Nearest Neighbor Search through Recency-aware Construction and Parameterized Search Main Conference Xizhe Yin University of California, Riverside, Chao Gao University of California Riverside, Zhijia Zhao University of California at Riverside, Rajiv Gupta University of California at Riverside (UCR) | ||
16:00 20mTalk | Balanced Allocations over Efficient Queues: A Fast Relaxed FIFO Queue Main Conference Kåre von Geijer Chalmers University of Technology, Philippas Tsigas Chalmers University of Technology, Elias Johansson Chalmers University of Technology, Sebastian Hermansson Chalmers University of Technology | ||
16:20 20mTalk | LibRTS: A Spatial Indexing Library by Ray Tracing Main Conference | ||
16:40 20mTalk | Crystality: A Programming Model for Smart Contracts on Parallel EVMs Main Conference Hao Wang International Digital Economy Academy (IDEA), Shenzhen, China; and Fullnodes Labs, Minghao Pan International Digital Economy Academy (IDEA), Shenzhen, China; and Fullnodes Labs, Jiaping Wang International Digital Economy Academy (IDEA), Shenzhen, China; and Fullnodes Labs |