Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs

Ziyun Xu, Hao Wang, Meng Sun

The increasing demand for scalable blockchain has driven research into parallel execution models for smart contracts. Crystality is a novel smart contract programming language desi…