Speculation in Smart Contracts

on YouTube ↗01h 25m

" summary

Proposes a concrete architecture that runs user contracts speculatively off-chain: a smaller contract committee (example sizes discussed: ~150 vs ~2,000) executes code on a recent blockchain snapshot, emits signed effects transactions plus a certificate, and forwards them to the consensus committee for simple signature checks and final inclusion. Describes integrating this with Algorand and an existing VM, batching certificates to amortize cost, and using on-chain predicates to accept or abort stale results.

AI-written summary · about

" chapters (7)

1. 0:00Start
2. 16:24Algrorand Layer 1 Transactions
3. 21:50Ethereum-style Smart contracts
4. 26:01Contract calls processed by contract committee
5. 30:39Window of vulnerability
6. 36:28Example: Automated Market Maker
7. 37:26Speculative Execution

" related talks

• 49mAlgorand Smart Contract ArchitectureJing Chen · Proofs, Consensus, and Decentralizing Society Reunion 2020
• 31mPrivacy-preserving smart contractsAhmed Lekssays · BlaBlaConf 2022
• 20mArbitrum: Scalable, private smart contractsHarry Kalodner · USENIX Security '18
• 08mA brief history of "smart contracts"Casey Kuhlman · ETHBerlin ZWEI 2019
• 38mThe Duality of Smart Contracts and Electronic RightsDean Tribble · Web3 Summit 2018
• 25mCommSec D2 - Smart Contract (In)SecurityBen Schmidt · Hack In The Box Amsterdam 2018
• 38mOn Chain Governance PanelJorge Izquierdo, Aron Fischer · ETHBerlin 2018
• 25mBehavioral simulation for smart contractsSidi Mohamed Beillahi, Constantin Enea, Michael Emmi, Gabriela Ciocarlie · SPLASH 2022