Hybrid consistency for smart contracts
Traditional blockchain systems impose a total order on all transactions via Byzantine fault-tolerant consensus. While this guarantees global consistency, it also introduces substantial latency and limits scalability. In this work, we investigate how techniques inspired by Conflict-free Replicated Data Types (CRDTs) can alleviate some of these costs by enabling selected classes of operations to execute without strict global ordering.
We present a prototype blockchain platform that supports smart contracts with partially CRDT-managed state. Developers can explicitly annotate portions of contract state as CRDTs, allowing concurrent, order-independent execution for operations that are commutative or monotonic. This hybrid approach maintains strong consistency where necessary while exploiting eventual consistency to accelerate less critical updates. In addition, we introduce an analysis framework that identifies CRDT-like behavior in existing smart contracts. By leveraging these insights within our execution model, the system can improve transaction scheduling and concurrency without requiring modifications to the original contracts.
Tue 30 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
16:00 - 17:30 | |||
16:00 30mTalk | Decentralizing Infrastructure with a Lightweight Sovereign Cloud PLF+PLAID Kristof Jannes DistriNet, KU Leuven | ||
16:30 30mTalk | Type Safe Smart Contracts in TinySol PLF+PLAID Daniele Gorla Department of Computer Science, Sapienza University of Rome | ||
17:00 30mTalk | Hybrid consistency for smart contracts PLF+PLAID Jim Bauwens Vrije Universiteit Brussel, Stoffel Oostvogels , Thomas Vandermotten Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel | ||