Practical Smart Contract Sharding with Ownership and Commutativity Analysis
summary
Static analysis tool CoSplit infers per-transition ownership and commutativity summaries for Cilla smart contracts and compiles them into sharding signatures used by a Silica-based blockchain to assign transactions to shards or merge effects. The prototype integrates at deploy time, introduces negligible transaction-validation overhead, and lets independent or commutative updates execute in parallel across shards; evaluation on real-world contracts shows a significant increase in throughput while falling back to sequential execution when constraints require strict ownership.
AI-written summary · about
chapters (11)
- 0:00Smart contract sharding intro
- 2:10Blockchain scalability challenges
- 6:06Existing sharding limitations
- 9:01Static analysis for sharding
- 13:40CoSplit tool overview
- 17:32Effect summaries and ownership
- 19:37Commutativity analysis
- 24:08Compiling effects to constraints
- 26:36Runtime sharding and integration
- 27:42Evaluation and results
- 28:03Q&A on overflow and concurrency
related talks
13mSharding the State Machine: Automated Modular Reasoning for Complex Concurrent System
01h 25mSpeculation in Smart Contracts
28mImplications of Interoperability
24mValidity and the future of blockchains
45mFunctional Smart Contracts
24mSharding Implementation vs Research
15mShared Security, Coordinating the Chaos
31mShared Sequencing, the Next Step toward Decentralizing Rollups