HyperService: Interoperability and Programmability Across Heterogeneous Blockchains
Zhuotao Liu, Yangxi Xiang, Jian Shi, Peng Gao, Haoyu Wang, Xusheng Xiao, Bihan Wen, Yih-Chun Hu
Abstract
Blockchain interoperability, which allows state transitions across different blockchain networks, is critical functionality to facilitate major blockchain adoption. Existing interoperability protocols mostly focus on atomic token exchange between blockchains. However, as blockchains have been upgraded from passive distributed ledgers into programmable state machines (thanks to smart contracts), the scope of blockchain interoperability goes beyond just token exchange. In this paper, we present HyperService, the first platform that delivers interoperability and programmability across heterogeneous blockchains. HyperService is powered by two innovative designs: (i) a developer-facing programming framework that allows developers to build cross-chain applications in a unified programming model; and (ii) a secure blockchain-facing cryptography protocol that provably realizes those applications on blockchains. We implement a prototype of HyperService in approximately 35,000 lines of code to demonstrate its practicality. Our experiment results show that (i) HyperService imposes reasonable latency, in order of seconds, on the end-to-end execution of cross-chain applications; (ii) the HyperService platform is scalable to continuously incorporate additional production blockchains. CCS CONCEPTS • Security and privacy → Distributed systems security; Security protocols.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 57c20749-9f8a-49dd-93f1-9a400332217aCited by top-tier papers4
- SoK: Security and Privacy of Blockchain InteroperabilityAndré Augusto, Rafael Belchior, Miguel Correia, André Vasconcelos et al.S&P 2024 · 90 citations
- martFL: Enabling Utility-Driven Data Marketplace with a Robust and Verifiable Federated Learning ArchitectureQi Li, Zhuotao Liu, Qi Li, Ke XuCCS 2023 · 19 citations
- MAP the Blockchain World: A Trustless and Scalable Blockchain Interoperability Protocol for Cross-chain ApplicationsYinfeng Cao, Jiannong Cao, Dongbin Bai, Long Wen et al.WWW 2025 · 18 citations
- iSyn: Semi-automated Smart Contract Synthesis from Legal Financial AgreementsPengcheng Fang, Zhenhua Zou, Xusheng Xiao, Zhuotao LiuISSTA 2023 · 11 citations
Builds on14
- Making Smart Contracts SmarterLoi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena et al.CCS 2016 · 2,306 citations
- A Secure Sharding Protocol For Open BlockchainsLoi Luu, Viswesh Narayanan, Chaodong Zheng, Kunal Baweja et al.CCS 2016 · 1,392 citations
- Bulletproofs: Short Proofs for Confidential Transactions and MoreBenedikt Bünz, Jonathan Bootle, Dan Boneh, Andrew Poelstra et al.S&P 2018 · 1,285 citations
- OmniLedger: A Secure, Scale-Out, Decentralized Ledger via ShardingEleftherios Kokoris-Kogias, Philipp Jovanovic, Linus Gasser, Nicolas Gailly et al.S&P 2018 · 1,145 citations
- RapidChain: Scaling Blockchain via Full ShardingMahdi Zamani, Mahnush Movahedi, Mariana RaykovaCCS 2018 · 1,084 citations
Related papers
- HEMVM: A Heterogeneous Blockchain Framework for Interoperable Virtual MachinesVladyslav Nekriach, Sidi Mohamed Beillahi, Chenxing Li, Peilun Li et al.OOPSLA 2025
- Leveraging Public-Private Blockchain Interoperability for Closed Consortium InterfacingBishakh Chandra Ghosh, Tanay Bhartia, Sourav Kanti Addya, Sandip ChakrabortyINFOCOM 2021 · 84 citations
- TrustBoost: Boosting Trust among Interoperable BlockchainsPeiyao Sheng, Xuechao Wang, Sreeram Kannan, Kartik Nayak et al.CCS 2023 · 13 citations
- Poros: Secure and Highly Parallel Sharding Blockchain with Optimized Cross-Shard Transaction ProcessingZhuocheng Pan, Jianwei Liu, Andi Liu, Yuxuan Hu et al.CCS 2026
- BAASH: lightweight, efficient, and reliable blockchain-as-a-service for HPC systemsAbdullah Al-Mamun, Feng Yan, Dongfang ZhaoSC 2021 · 14 citations
