2 papers
cs.PL2026
From Monolithic to Compositional: A Compositional Operational Semantics for Crystality
Ziyun Xu, Hao Wang, Meng Sun
Parallel execution has become a key approach to improving blockchain scalability, but the lack of formal semantics for smart contract languages in such settings makes rigorous reas…
cs.PL2025
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…