SigVM: enabling event-driven execution for truly decentralized smart contracts
Zihan Zhao, Sidi Mohamed Beillahi, Ryan Song, Yuxi Cai, Andreas G. Veneris, Fan Long
摘要
This paper presents SigVM, a novel blockchain virtual machine that supports an event-driven execution model, enabling developers to build truly decentralized smart contracts. Under traditional blockchain virtual machine such as Ethereum, the events have to be monitored uninterruptedly and the corresponding function in Smart Contract should be called manually by users once acquiring events. Under SigVM, contracts can emit signal events, on which other contracts can listen. Once an event is triggered, corresponding handler functions are automatically executed as signal transactions.
We build an end-to-end blockchain platform SigChain and a contract language compiler SigSolid to realize the potential of SigVM. Experimental results show that our benchmark applications can be reimplemented with SigVM in an autonomous way, eliminating the dependency on unreliable mechanisms like off-chain relay servers. The development effort of reimplementing these contracts with SigVM is small, i.e., we modified on average 2.6% of the contract code.
问问这篇 Paper
智能体会读完全文。
Lune 把这篇 Paper 索引到了每一个公式,引用它的顶会 Paper 也一样。你提问,回答直接引用原文。
它引用的顶会 Paper4
- Making Smart Contracts SmarterLoi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena 等CCS 2016 · 被引用 2,306 次
- VerX: Safety Verification of Smart ContractsAnton Permenev, Dimitar Dimitrov, Petar Tsankov, Dana Drachsler-Cohen 等S&P 2020 · 被引用 251 次
- Finding Clues for Your Secrets: Semantics-Driven, Learning-Based Privacy Discovery in Mobile AppsYuhong Nan, Zhemin Yang, Xiaofeng Wang, Yuan Zhang 等NDSS 2018 · 被引用 79 次
- Securing smart contract with runtime validationAo Li, Jemin Andrew Choi, Fan LongPLDI 2020 · 被引用 60 次
相关 Paper
- An Algorithm and Architecture Co-design for Accelerating Smart Contracts in BlockchainRui Pan, Chubo Liu, Guoqing Xiao, Mingxing Duan 等ISCA 2023 · 被引用 3 次
- Beyond "Protected" and "Private": An Empirical Security Analysis of Custom Function Modifiers in Smart ContractsYuzhou Fang, Daoyuan Wu, Xiao Yi, Shuai Wang 等ISSTA 2023 · 被引用 21 次
- HEMVM: A Heterogeneous Blockchain Framework for Interoperable Virtual MachinesVladyslav Nekriach, Sidi Mohamed Beillahi, Chenxing Li, Peilun Li 等OOPSLA 2025
- ACE: Asynchronous and Concurrent Execution of Complex Smart ContractsKarl Wüst, Sinisa Matetic, Silvan Egli, Kari Kostiainen 等CCS 2020 · 被引用 12 次
- A Complete Formal Semantics of eBPF Instruction Set Architecture for SolanaShenghao Yuan, Zhuoruo Zhang, Jiayi Lu, David Sanán 等OOPSLA 2025 · 被引用 3 次
