The paper gives the first structural operational semantics for the parallel smart contract language Crystality and a claimed Coq formalization, but ships neither a complete rule set nor the verification artifact.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs
The paper gives the first structural operational semantics for the parallel smart contract language Crystality and a claimed Coq formalization, but ships neither a complete rule set nor the verification artifact.