{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,5]],"date-time":"2026-09-05T01:10:20Z","timestamp":1788570620602,"version":"build-2803163510"},"reference-count":52,"publisher":"Association for Computing Machinery (ACM)","issue":"3","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. VLDB Endow."],"published-print":{"date-parts":[[2024,11]]},"abstract":"<jats:p>\n                    Increasingly popular\n                    <jats:italic>decentralized applications<\/jats:italic>\n                    (dApps) with complex application logic incur significant overhead for executing smart contract transactions, which greatly limits public blockchain performance. Pre-executing transactions off the critical path can mitigate substantial I\/O and computation costs during execution. However, pre-execution does not yield any state transitions, rendering the system state inconsistent with actual execution. This inconsistency can lead to deviations in pre-execution paths when processing smart contracts with multiple state-related branches, thus diminishing pre-execution effectiveness. In this paper, we develop Seer, a novel public blockchain execution engine that incorporates fine-grained branch prediction to fully exploit pre-execution effectiveness. Seer predicts state-related branches using a two-level prediction approach, reducing inconsistent execution paths more efficiently than executing all possible branches. To enable effective reuse of pre-execution results, Seer employs checkpoint-based fast-path execution, enhancing transaction execution for both successful and unsuccessful predictions. Evaluations with realistic blockchain workloads demonstrate that Seer delivers an average of 27.7\u00d7 transaction-level speedup and an overall 20.6\u00d7 speedup in the execution phase over vanilla Ethereum, outperforming existing blockchain execution acceleration solutions.\n                  <\/jats:p>","DOI":"10.14778\/3712221.3712245","type":"journal-article","created":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T14:03:04Z","timestamp":1744034584000},"page":"822-835","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Seer: Accelerating Blockchain Transaction Execution by Fine-Grained Branch Prediction"],"prefix":"10.14778","volume":"18","author":[{"given":"Shijie","family":"Zhang","sequence":"first","affiliation":[{"name":"HUST"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ru","family":"Cheng","sequence":"additional","affiliation":[{"name":"HUST"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xinpeng","family":"Liu","sequence":"additional","affiliation":[{"name":"HUST"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jiang","family":"Xiao","sequence":"additional","affiliation":[{"name":"HUST"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hai","family":"Jin","sequence":"additional","affiliation":[{"name":"HUST"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bo","family":"Li","sequence":"additional","affiliation":[{"name":"HKUST"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,4,7]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Proceedings of the IEEE 39th International Conference on Distributed Computing Systems (ICDCS). IEEE, 1337--1347","author":"Amiri Mohammad Javad","year":"2019","unstructured":"Mohammad Javad Amiri, Divyakant Agrawal, and Amr El Abbadi. 2019. Par-blockchain: Leveraging transaction parallelism in permissioned blockchain systems. In Proceedings of the IEEE 39th International Conference on Distributed Computing Systems (ICDCS). IEEE, 1337--1347."},{"key":"e_1_2_1_2_1","volume-title":"Proceedings of the 2018 European Conference on Computer Systems (EuroSys). ACM, 1--15","author":"Androulaki Elli","year":"2018","unstructured":"Elli Androulaki, Artem Barger, Vita Bortnikov, Christian Cachin, Konstantinos Christidis, Angelo De Caro, David Enyeart, Christopher Ferris, Gennady Laventman, Yacov Manevich, Srinivasan Muralidharan, Chet Murthy, Binh Nguyen, Manish Sethi, Gari Singh, Keith Smith, Alessandro Sorniotti, Chrysoula Stathakopoulou, Marko Vukoli\u0107, Sharon Weed Cocco, and Jason Yellick. 2018. Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains. In Proceedings of the 2018 European Conference on Computer Systems (EuroSys). ACM, 1--15."},{"key":"e_1_2_1_3_1","volume-title":"Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security (CCS). ACM, 585--602","author":"Bagaria Vivek","year":"2019","unstructured":"Vivek Bagaria, Sreeram Kannan, David Tse, Giulia Fanti, and Pramod Viswanath. 2019. Prism: Deconstructing the Blockchain to Approach Physical Limits. In Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security (CCS). ACM, 585--602."},{"key":"e_1_2_1_4_1","unstructured":"Binance. 2022. BNB Chain Document. https:\/\/docs.bnbchain.org\/ [Last accessed on 2024-12-16]."},{"key":"e_1_2_1_5_1","volume-title":"Proceedings of the 2022 IEEE Symposium on Security and Privacy (SP). IEEE, 161--178","author":"Bose Priyanka","year":"2022","unstructured":"Priyanka Bose, Dipanjan Das, Yanju Chen, Yu Feng, Christopher Kruegel, and Giovanni Vigna. 2022. Sailfish: Vetting smart contract state-inconsistency bugs in seconds. In Proceedings of the 2022 IEEE Symposium on Security and Privacy (SP). IEEE, 161--178."},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the 2023 European Conference on Computer Systems (EuroSys). ACM, 687--702","author":"Burke Matthew","year":"2023","unstructured":"Matthew Burke, Florian Suri-Payer, Jeffrey Helt, Lorenzo Alvisi, and Natacha Crooks. 2023. Morty: Scaling Concurrency Control with Re-Execution. In Proceedings of the 2023 European Conference on Computer Systems (EuroSys). ACM, 687--702."},{"key":"e_1_2_1_7_1","unstructured":"Vitalik Buterin. 2014. A next-generation smart contract and decentralized application platform. https:\/\/ethereum.org\/content\/whitepaper\/whitepaper-pdf\/Ethereum_Whitepaper_-_Buterin_2014.pdf [Last accessed on 2024-12-16]."},{"key":"e_1_2_1_8_1","volume-title":"Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles (SOSP). ACM, 570--587","author":"Chen Yang","year":"2021","unstructured":"Yang Chen, Zhongxin Guo, Runhuai Li, Shuo Chen, Lidong Zhou, Yajin Zhou, and Xian Zhang. 2021. Forerunner: Constraint-based speculative transaction execution for ethereum. In Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles (SOSP). ACM, 570--587."},{"key":"e_1_2_1_9_1","volume-title":"Proceedings of the 2017 ACM Symposium on Principles of Distributed Computing (PODC). ACM, 303--312","author":"Dickerson Thomas","year":"2017","unstructured":"Thomas Dickerson, Paul Gazzillo, Maurice Herlihy, and Eric Koskinen. 2017. Adding Concurrency to Smart Contracts. In Proceedings of the 2017 ACM Symposium on Principles of Distributed Computing (PODC). ACM, 303--312."},{"key":"e_1_2_1_10_1","unstructured":"Solidity Documentation. 2023. Layout of State Variables in Storage. https:\/\/docs.soliditylang.org\/en\/latest\/internals\/layout_in_storage.html [Last accessed on 2024-12-16]."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.14778\/3594512.3594523"},{"key":"e_1_2_1_12_1","unstructured":"Ethereum Foundation. 2024. Gas and Fees. https:\/\/ethereum.org\/en\/developers\/docs\/gas\/ [Last accessed on 2024-12-16]."},{"key":"e_1_2_1_13_1","unstructured":"Ethereum Foundation. 2024. Merkle Patricia Trie. https:\/\/ethereum.org\/en\/developers\/docs\/data-structures-and-encoding\/patricia-merkle-trie\/ [Last accessed on 2024-12-16]."},{"key":"e_1_2_1_14_1","unstructured":"Ethereum Foundation. 2024. Official Go implementation of the Ethereum protocol. https:\/\/github.com\/ethereum\/go-ethereum [Last accessed on 2024-12-16]."},{"key":"e_1_2_1_15_1","volume-title":"Proceedings of the IEEE\/ACM 44th International Conference on Software Engineering (ICSE). IEEE\/ACM, 2315--2326","author":"Garamv\u00f6lgyi P\u00e9ter","year":"2022","unstructured":"P\u00e9ter Garamv\u00f6lgyi, Yuxi Liu, Dong Zhou, Fan Long, and Ming Wu. 2022. Utilizing parallelism in smart contracts on decentralized blockchains by taming application-inherent conflicts. In Proceedings of the IEEE\/ACM 44th International Conference on Software Engineering (ICSE). IEEE\/ACM, 2315--2326."},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP). ACM, 232--244","author":"Gelashvili Rati","year":"2023","unstructured":"Rati Gelashvili, Alexander Spiegelman, Zhuolun Xiang, George Danezis, Zekun Li, Dahlia Malkhi, Yu Xia, and Runtian Zhou. 2023. Block-stm: Scaling blockchain execution by turning ordering curse to a performance blessing. In Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP). ACM, 232--244."},{"key":"e_1_2_1_17_1","volume-title":"Proceedings of the 2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC). IEEE, 1--9.","author":"Gorenflo Christian","year":"2020","unstructured":"Christian Gorenflo, Lukasz Golab, and Srinivasan Keshav. 2020. XOX Fabric: A hybrid approach to blockchain transaction execution. In Proceedings of the 2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC). IEEE, 1--9."},{"key":"e_1_2_1_18_1","volume-title":"Proceedings of the 2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC). IEEE, 455--463","author":"Gorenflo Christian","year":"2019","unstructured":"Christian Gorenflo, Stephen Lee, Lukasz Golab, and Srinivasan Keshav. 2019. FastFabric: Scaling Hyperledger Fabric to 20,000 Transactions per Second. In Proceedings of the 2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC). IEEE, 455--463."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.14778\/3587136.3587143"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM48880.2022.9796859"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/956417.956562"},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of the 17th IEEE International Symposium on High-Performance Computer Architecture (HPCA). IEEE, 197--206","author":"Daniel","unstructured":"Daniel A. Jim\u00e9nez and Calvin Lin. 2001. Dynamic branch prediction with perceptrons. In Proceedings of the 17th IEEE International Symposium on High-Performance Computer Architecture (HPCA). IEEE, 197--206."},{"key":"e_1_2_1_23_1","first-page":"5070","article-title":"A high performance concurrency protocol for smart contracts of permissioned blockchain","volume":"34","author":"Jin Cheqing","year":"2021","unstructured":"Cheqing Jin, Shuaifeng Pang, Xiaodong Qi, Zhao Zhang, and Aoying Zhou. 2021. A high performance concurrency protocol for smart contracts of permissioned blockchain. IEEE Transactions on Knowledge and Data Engineering 34, 11 (2021), 5070--5083.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"e_1_2_1_24_1","volume-title":"Proceedings of the IEEE\/ACM 45th International Conference on Software Engineering (ICSE). IEEE\/ACM, 283--294","author":"Kim Taeyoung","year":"2023","unstructured":"Taeyoung Kim, Yunhee Jang, Chanjong Lee, Hyungjoon Koo, and Hyoungshick Kim. 2023. Smartmark: Software watermarking scheme for smart contracts. In Proceedings of the IEEE\/ACM 45th International Conference on Software Engineering (ICSE). IEEE\/ACM, 283--294."},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the 2021 USENIX Annual Technical Conference (ATC). USENIX Association, 565--579","author":"Kim Yeonsoo","year":"2021","unstructured":"Yeonsoo Kim, Seongho Jeong, Kamil Jezek, Bernd Burgstaller, and Bernhard Scholz. 2021. An off-the-chain execution environment for scalable testing and profiling of smart contracts. In Proceedings of the 2021 USENIX Annual Technical Conference (ATC). USENIX Association, 565--579."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/319566.319567"},{"key":"e_1_2_1_27_1","volume-title":"Proceedings of the 2020 USENIX Annual Technical Conference (ATC). USENIX Association, 515--528","author":"Li Chenxin","year":"2020","unstructured":"Chenxin Li, Peilun Li, Dong Zhou, Zhe Yang, Ming Wu, Guang Yang, Wei Xu, Fan Long, and Andrew Chi-Chih Yao. 2020. A Decentralized Blockchain with High Throughput and Fast Confirmation. In Proceedings of the 2020 USENIX Annual Technical Conference (ATC). USENIX Association, 515--528."},{"key":"e_1_2_1_28_1","volume-title":"Operation-level concurrent transaction execution for blockchains. arXiv preprint arXiv:2211.07911","author":"Lin Haoran","year":"2022","unstructured":"Haoran Lin, Yajin Zhou, and Lei Wu. 2022. Operation-level concurrent transaction execution for blockchains. arXiv preprint arXiv:2211.07911 (2022)."},{"key":"e_1_2_1_29_1","volume-title":"Proceedings of the 2021 IEEE Symposium on Security and Privacy (SP). IEEE, 1348--1366","author":"Maram Deepak","year":"2021","unstructured":"Deepak Maram, Harjasleen Malvai, Fan Zhang, Nerla Jean-Louis, Alexander Frolov, Tyler Kell, Tyrone Lobban, Christine Moy, Ari Juels, and Andrew Miller. 2021. Candid: Can-do decentralized identity with legacy compatibility, sybil-resistance, and accountability. In Proceedings of the 2021 IEEE Symposium on Security and Privacy (SP). IEEE, 1348--1366."},{"key":"e_1_2_1_30_1","unstructured":"Microsoft. 2021. Official implementation of Forerunner. https:\/\/github.com\/microsoft\/Forerunner [Last accessed on 2024-12-16]."},{"key":"e_1_2_1_31_1","volume-title":"Bitcoin: A peer-to-peer electronic cash system. https:\/\/bitcoin.org\/bitcoin.pdf [Last accessed on 2024-12-16].","author":"Nakamoto Satoshi","year":"2008","unstructured":"Satoshi Nakamoto. 2008. Bitcoin: A peer-to-peer electronic cash system. https:\/\/bitcoin.org\/bitcoin.pdf [Last accessed on 2024-12-16]."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3579371.3589067"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.14778\/3551793.3551816"},{"key":"e_1_2_1_34_1","volume-title":"Proceedings of the IEEE 43rd International Conference on Distributed Computing Systems (ICDCS). IEEE, 841--852","author":"Qi Xiaodong","year":"2023","unstructured":"Xiaodong Qi, Jiao Jiao, and Yi Li. 2023. Smart contract parallel execution with fine-grained state accesses. In Proceedings of the IEEE 43rd International Conference on Distributed Computing Systems (ICDCS). IEEE, 841--852."},{"key":"e_1_2_1_35_1","volume-title":"Proceedings of the 2024 IEEE Conference on Computer Communications (INFOCOM). IEEE, 1681--1690","author":"Qi Xiaodong","year":"2024","unstructured":"Xiaodong Qi and Yi Li. 2024. LightCross: Sharding with Lightweight Cross-Shard Execution for Smart Contracts. In Proceedings of the 2024 IEEE Conference on Computer Communications (INFOCOM). IEEE, 1681--1690."},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3318464.3389693"},{"key":"e_1_2_1_37_1","volume-title":"Proceedings of the 2019 International Conference on Management of Data (SIGMOD). ACM, 105--122","author":"Sharma Ankur","year":"2019","unstructured":"Ankur Sharma, Felix Martin Schuhknecht, Divya Agrawal, and Jens Dittrich. 2019. Blurring the lines between blockchains and database systems: the case of hyperledger fabric. In Proceedings of the 2019 International Conference on Management of Data (SIGMOD). ACM, 105--122."},{"key":"e_1_2_1_38_1","volume-title":"POL: One token for all Polygon chains. https:\/\/polygon.technology\/papers\/pol-whitepaper [Last accessed on 2024-12-16].","author":"Technology Polygon","year":"2024","unstructured":"Polygon Technology. 2024. POL: One token for all Polygon chains. https:\/\/polygon.technology\/papers\/pol-whitepaper [Last accessed on 2024-12-16]."},{"key":"e_1_2_1_39_1","volume-title":"Proceedings of the 2021 ACM Symposium on Cloud Computing (SoCC). ACM, 489--502","author":"Thakkar Parth","year":"2021","unstructured":"Parth Thakkar and Senthilnathan Natarajan. 2021. Scaling blockchains using pipelined execution and sparse peers. In Proceedings of the 2021 ACM Symposium on Cloud Computing (SoCC). ACM, 489--502."},{"key":"e_1_2_1_40_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3464421","article-title":"A survey of smart contract formal specification and verification","volume":"54","author":"Tolmach Palina","year":"2021","unstructured":"Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu, and Zengxiang Li. 2021. A survey of smart contract formal specification and verification. ACM Computing Surveys (CSUR) 54, 7 (2021), 1--38.","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"e_1_2_1_41_1","volume-title":"Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI). USENIX Association, 198--216","author":"Wang Jiachen","year":"2021","unstructured":"Jiachen Wang, Ding Ding, Huan Wang, Conrad Christensen, Zhaoguo Wang, Haibo Chen, and Jinyang Li. 2021. Polyjuice: High-Performance Transactions via Learned Concurrency Control. In Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI). USENIX Association, 198--216."},{"key":"e_1_2_1_42_1","volume-title":"Non-fungible token (NFT): Overview, evaluation, opportunities and challenges. arXiv preprint arXiv:2105.07447","author":"Wang Qin","year":"2021","unstructured":"Qin Wang, Rujia Li, Qi Wang, and Shiping Chen. 2021. Non-fungible token (NFT): Overview, evaluation, opportunities and challenges. arXiv preprint arXiv:2105.07447 (2021)."},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3558535.3559780"},{"key":"e_1_2_1_44_1","volume-title":"Ethereum: A secure decentralised generalised transaction ledger. https:\/\/ethereum.github.io\/yellowpaper\/paper.pdf [Last accessed on 2024-12-16].","author":"Wood Gavin","year":"2014","unstructured":"Gavin Wood. 2014. Ethereum: A secure decentralised generalised transaction ledger. https:\/\/ethereum.github.io\/yellowpaper\/paper.pdf [Last accessed on 2024-12-16]."},{"key":"e_1_2_1_45_1","volume-title":"Proceedings of the IEEE 42nd International Conference on Distributed Computing Systems (ICDCS). IEEE, 269--279","author":"Xiao Jiang","year":"2022","unstructured":"Jiang Xiao, Shijie Zhang, Zhiwei Zhang, Bo Li, Xiaohai Dai, and Hai Jin. 2022. Nezha: Exploiting concurrency for transaction processing in dag-based blockchains. In Proceedings of the IEEE 42nd International Conference on Distributed Computing Systems (ICDCS). IEEE, 269--279."},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.14778\/3476249.3476283"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2023.3267071"},{"key":"e_1_2_1_48_1","volume-title":"Proceedings of the 2020 IEEE Symposium on Security and Privacy (SP). IEEE, 90--105","author":"Yu Haifeng","year":"2020","unstructured":"Haifeng Yu, Ivica Nikoli\u0107, Ruomu Hou, and Prateek Saxena. 2020. OHIE: Blockchain Scaling Made Simple. In Proceedings of the 2020 IEEE Symposium on Security and Privacy (SP). IEEE, 90--105."},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2024.3382743"},{"key":"e_1_2_1_50_1","volume-title":"Proceedings of the 39th IEEE International Conference on Data Engineering (ICDE). 721--733","author":"Zhang Yuanzhe","year":"2023","unstructured":"Yuanzhe Zhang, Shirui Pan, and Jiangshan Yu. 2023. TxAllo: Dynamic Transaction Allocation in Sharded Blockchain Systems. In Proceedings of the 39th IEEE International Conference on Data Engineering (ICDE). 721--733."},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2019.12.019"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2942301"}],"container-title":["Proceedings of the VLDB Endowment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.14778\/3712221.3712245","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T14:11:33Z","timestamp":1744035093000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.14778\/3712221.3712245"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11]]},"references-count":52,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,11]]}},"alternative-id":["10.14778\/3712221.3712245"],"URL":"https:\/\/doi.org\/10.14778\/3712221.3712245","relation":{},"ISSN":["2150-8097"],"issn-type":[{"value":"2150-8097","type":"print"}],"subject":[],"published":{"date-parts":[[2024,11]]},"assertion":[{"value":"2025-04-07","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}