research-article

Public Access

HyperService: Interoperability and Programmability Across Heterogeneous Blockchains

Authors:

Yih-Chun HuAuthors Info & Claims

CCS '19: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security

Pages 549 - 566

https://doi.org/10.1145/3319535.3355503

Published: 06 November 2019 Publication History

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 exchanges 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 exchanges. 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 experiments 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 new large-scale production blockchains.

Supplementary Material

WEBM File (p549-liu.webm)

Download
137.97 MB

References

[1]

Cosmos WhitePaper. https://cosmos.network/resources/whitepaper, 2019.

[2]

Harmony: Technical Whitepaper. https://harmony.one/whitepaper.pdf, 2019.

[3]

Monoxide: Scale Out Blockchain with Asynchronized Consensus Zones. In USENIX NSDI (2019).

[4]

Open Source Code for HyperService by HyperService-Consortium. https://github.com/HyperService-Consortium, 2019.

[5]

Bitcoin Wiki: Atomic Cross-Chain Trading. https://en.bitcoin.it/wiki/Atomic_swap, Accessed on 2019.

[6]

CoinMarketCap. https://coinmarketcap.com, Accessed on 2019.

[7]

Cosmos. https://cosmos.network, Accessed on 2019.

[8]

DPOS Consensus Algorithm. https://steemit.com/dpos/@dantheman/dpos-consensus-algorithm-this-missing-white-paper, Accessed on 2019.

[9]

J.P. Morgan: Blockchain and Distributed Ledger. https://www.jpmorgan.com/global/blockchain, Accessed on 2019.

[10]

Nebulas. https://github.com/nebulasio, Accessed on 2019.

[11]

Oraclize. http://www.oraclize.it, Accessed on 2019.

[12]

Polkadot. https://polkadot.network, Accessed on 2019.

[13]

rhombus. https://rhombus.network, Accessed on 2019.

[14]

Solidity. https://solidity.readthedocs.io/en/v0.5.6/, Accessed on 2019.

[15]

Standards for the Cosmos network & Interchain Ecosystem. https://github.com/cosmos/ics, Accessed on 2019.

[16]

Substrate. https://github.com/paritytech/substrate, Accessed on 2019.

[17]

Tendermint Core. https://tendermint.com, Accessed on 2019.

[18]

Tor Directory Authorities. https://metrics.torproject.org/rs.html#search/flag:authority, Accessed on 2019.

[19]

Vyper. https://github.com/ethereum/vyper, Accessed on 2019.

[20]

Al-Bassam, M., Sonnino, A., Bano, S., Hrycyszyn, D., and Danezis, G. Chainspace: A Sharded Smart Contracts Platform. NDSS (2017).

[21]

Back, A., Corallo, M., Dashjr, L., Friedenbach, M., Maxwell, G., Miller, A., Poelstra, A., Timón, J., and Wuille, P. Enabling Blockchain Innovations with Pegged Sidechains. URL: tinyurl. com/mj656p7 (2014).

[22]

Blackshear, S., Cheng, E., Dill, D. L., Gao, V., Maurer, B., Nowacki, T., Pott, A., Qadeer, S., Rain, Russi, D., Sezer, S., Zakian, T., and Zhou, R. Move: A language with programmable resources. Tech. rep., The Libra Association, 2019.

[23]

Borders, K., Springer, J., and Burnside, M. Chimera: A Declarative Language for Streaming Network Traffic Analysis. In USENIX Security Symposium (2012).

[24]

Breidenbach, L., Cornell Tech, I., Daian, P., Tramer, F., and Juels, A. Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts. In 27th USENIX Security Symposium (2018).

[25]

Bünz, B., Bootle, J., Boneh, D., Poelstra, A., Wuille, P., and Maxwell, G. Bulletproofs: Short proofs for Confidential Transactions and More. In 2018 IEEE Symposium on Security and Privacy (SP) (2018), IEEE, pp. 315--334.

[26]

Buterin, V. Chain Interoperability. R3 Reports (2016).

[27]

Buterin, V., et al. A Next-Generation Smart Contract and Decentralized Application Platform. white paper (2014).

[28]

Canetti, R. Universally Composable Security: A New Paradigm for Cryptographic Protocols. In IEEE Symposium on Foundations of Computer Science (2001).

[29]

Cheng, R., Zhang, F., Kos, J., He, W., Hynes, N., Johnson, N. M., Juels, A., Miller, A., and Song, D. Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contract Execution. In IEEE EuroS&P (2019).

[30]

Costan, V., and Devadas, S. Intel SGX explained, Accessed on 2019. https://eprint.iacr.org/2016/086.pdf.

[31]

Dingledine, R., Mathewson, N., and Syverson, P. Tor: The Second-Generation Onion Router. In USENIX Security Symposium (2004).

Digital Library

[32]

Eyal, I., Gencer, A. E., Sirer, E. G., and Van Renesse, R. Bitcoin-NG: A Scalable Blockchain Protocol. In USENIX NSDI (2016).

[33]

Gao, P., Xiao, X., Li, D., Li, Z., Jee, K., Wu, Z., Kim, C. H., Kulkarni, S. R., and Mittal, P. SAQL: A Stream-based Query System for Real-time Abnormal System Behavior Detection. In USENIX Security Symposium (2018).

[34]

Gao, P., Xiao, X., Li, Z., Jee, K., Xu, F., Kulkarni, S. R., and Mittal, P. AIQL: Enabling Efficient Attack Investigation from System Monitoring Data. In USENIX ATC (2018).

[35]

Garay, J., Kiayias, A., and Leonardos, N. The Bitcoin Backbone Protocol with Chains of Variable Difficulty. In Annual International Cryptology Conference (2017).

[36]

Gazi, P., Kiayias, A., and Zindros, D. Proof-of-stake Sidechains. In IEEE Symposium on Security & Privacy (2019).

[37]

Green, M., and Miers, I. Bolt: Anonymous Payment Channels for Decentralized Currencies. In ACM CCS (2017).

Digital Library

[38]

Herlihy, M. Atomic Cross-Chain Swaps. In ACM PODC (2018).

Digital Library

[39]

Kalodner, H., Goldfeder, S., Chen, X., Weinberg, S. M., and Felten, E. W. Arbitrum: Scalable, Private Smart Contracts. In USENIX Security Symposium (2018).

[40]

Khalil, R., and Gervais, A. Revive: Rebalancing Off-blockchain Payment Networks. In ACM CCS (2017).

Digital Library

[41]

Kiayias, A., and Zindros, D. Proof-of-work Sidechains. Tech. rep., Cryptology ePrint Archive, Report 2018/1048, 2018.

[42]

Killian, C. E., Anderson, J. W., Braud, R., Jhala, R., and Vahdat, A. M. Mace: Language support for building distributed systems. In ACM PLDI (2007).

Digital Library

[43]

Kogias, E. K., Jovanovic, P., Gailly, N., Khoffi, I., Gasser, L., and Ford, B. Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing. In USENIX Security Symposium (2016).

[44]

Kokoris-Kogias, E., Jovanovic, P., Gasser, L., Gailly, N., Syta, E., and Ford, B. OmniLedger: A Secure, Scale-out, Decentralized Ledger via Sharding. In IEEE Symposium on Security and Privacy (2018).

[45]

Kosba, A., Miller, A., Shi, E., Wen, Z., and Papamanthou, C. Hawk: The Blockchain Model of Cryptography and Privacy-preserving Smart Contracts. In IEEE Symposium on Security and Privacy (2016).

[46]

Krupp, J., and Rossow, C. teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts. In USENIX Security Symposium (2018).

[47]

Lamport, L. Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM (1978).

[48]

Lee, D., Kohlbrenner, D., Shinde, S., Song, D., and Asanović, K. Keystone: A Framework for Architecting TEEs. arXiv preprint arXiv:1907.10119 (2019).

[49]

Loo, B. T., Condie, T., Garofalakis, M., Gay, D. E., Hellerstein, J. M., Maniatis, P., Ramakrishnan, R., Roscoe, T., and Stoica, I. Declarative networking: Language, execution and optimization. In SIGMOD (2006).

Digital Library

[50]

Luu, L., Chu, D.-H., Olickel, H., Saxena, P., and Hobor, A. Making Smart Contracts Smarter. In ACM CCS (2016).

Digital Library

[51]

Luu, L., Narayanan, V., Zheng, C., Baweja, K., Gilbert, S., and Saxena, P. A Secure Sharding Protocol for Open Blockchains. In ACM CCS (2016).

Digital Library

[52]

Malavolta, G., Moreno-Sanchez, P., Kate, A., Maffei, M., and Ravi, S. Concurrency and Privacy with Payment-channel Networks. In ACM CCS (2017).

Digital Library

[53]

Nakamoto, S. Bitcoin: A Peer-to-Peer Electronic Cash System. https://bitcoin.org/bitcoin.pdf, 2008.

[54]

Parr, T. Antlr. https://www.antlr.org/, 2014.

[55]

Sergey, I., and Hobor, A. A Concurrent Perspective on Smart Contracts. In Financial Cryptography and Data Security (2017).

[56]

Sommer, R., Vallentin, M., De Carli, L., and Paxson, V. Hilti: An abstract execution environment for deep, stateful network traffic analysis. In IMC (2014).

[57]

Vallentin, M., Paxson, V., and Sommer, R. VAST: A Unified Platform for Interactive Network Forensics. In USENIX NSDI (2016).

[58]

Van Saberhagen, N. CryptoNote v 2.0. https://cryptonote.org/whitepaper.pdf, 2013.

[59]

Wood, G. Ethereum: A secure decentralised generalised transaction ledger. Ethereum Project Yellow Paper (2014).

[60]

Zamani, M., Movahedi, M., and Raykova, M. RapidChain: Scaling Blockchain via Full Sharding. In ACM CCS (2018).

Digital Library

[61]

Zamyatin, A., Harz, D., Lind, J., Panayiotou, P., Gervais, A., and Knottenbelt, W. XCLAIM: Trustless, Interoperable, Cryptocurrency-Backed Assets. In IEEE Symposium on Security and Privacy (2019).

[62]

Zhang, F., Cecchetti, E., Croman, K., Juels, A., and Shi, E. Town Crier: An Authenticated Data Feed for Smart Contracts. In ACM CCS (2016).

Digital Library

Cited By

Chen CYang GLi ZXiao FChen QLi J(2024)Privacy-Preserving Multi-Party Cross-Chain Transaction ProtocolsCryptography10.3390/cryptography80100068:1(6)Online publication date: 4-Feb-2024
https://doi.org/10.3390/cryptography8010006
Xu MGuo YLiu CHu QYu DXiong ZNiyato DCheng X(2024)Exploring Blockchain Technology through a Modular Lens: A SurveyACM Computing Surveys10.1145/365728856:9(1-39)Online publication date: 11-Apr-2024
https://dl.acm.org/doi/10.1145/3657288
Xie TGai KZhu LWang SZhang Z(2024)RAC-Chain: An Asynchronous Consensus-based Cross-chain Approach to Scalable Blockchain for MetaverseACM Transactions on Multimedia Computing, Communications, and Applications10.1145/358601120:7(1-24)Online publication date: 27-Mar-2024
https://dl.acm.org/doi/10.1145/3586011
Show More Cited By

Index Terms

HyperService: Interoperability and Programmability Across Heterogeneous Blockchains
1. Security and privacy
  1. Network security
    1. Security protocols
  2. Systems security
    1. Distributed systems security

Recommendations

Inter Blockchain Communication: A Survey
ArabWIC 2019: Proceedings of the ArabWIC 6th Annual International Conference Research Track

Blockchain technology is growing massively where the number of blockchain platforms and decentralized applications are increasing rapidly in the last years. However, most of the existing blockchain networks are operating in a standalone environment ...
A Survey on Blockchain Interoperability: Past, Present, and Future Trends
Blockchain interoperability is emerging as one of the crucial features of blockchain technology, but the knowledge necessary for achieving it is fragmented. This fact makes it challenging for academics and the industry to achieve interoperability among ...
TrustCross: Enabling Confidential Interoperability across Blockchains Using Trusted Hardware
ICBTA '21: Proceedings of the 2021 4th International Conference on Blockchain Technology and Applications

With the rapid development of blockchain technology, different types of blockchains are adopted and interoperability across blockchains has received widespread attention. There have been many cross-chain solutions proposed in recent years, including ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

CCS '19: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security

November 2019

2755 pages

ISBN:9781450367479

DOI:10.1145/3319535

General Chairs:
Lorenzo Cavallaro
King's College London, UK
,
Johannes Kinder
Bundeswehr University Munich, Germany
,
Program Chairs:
XiaoFeng Wang
Indiana University, USA
,
Jonathan Katz
George Mason University, USA

Copyright © 2019 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSAC: ACM Special Interest Group on Security, Audit, and Control

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 06 November 2019

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

NSF
National Key Research and Development Program of China

Conference

CCS '19

Sponsor:

SIGSAC

CCS '19: 2019 ACM SIGSAC Conference on Computer and Communications Security

November 11 - 15, 2019

London, United Kingdom

Acceptance Rates

CCS '19 Paper Acceptance Rate 149 of 934 submissions, 16%;

Overall Acceptance Rate 1,261 of 6,999 submissions, 18%

Upcoming Conference

CCS '24

Sponsor:
sigsac

ACM SIGSAC Conference on Computer and Communications Security

October 14 - 18, 2024

Salt Lake City , UT , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

64
Total Citations
View Citations
3,274
Total Downloads

Downloads (Last 12 months)476
Downloads (Last 6 weeks)51

Reflects downloads up to

Other Metrics

View Author Metrics

Citations

Cited By

Chen CYang GLi ZXiao FChen QLi J(2024)Privacy-Preserving Multi-Party Cross-Chain Transaction ProtocolsCryptography10.3390/cryptography80100068:1(6)Online publication date: 4-Feb-2024
https://doi.org/10.3390/cryptography8010006
Xu MGuo YLiu CHu QYu DXiong ZNiyato DCheng X(2024)Exploring Blockchain Technology through a Modular Lens: A SurveyACM Computing Surveys10.1145/365728856:9(1-39)Online publication date: 11-Apr-2024
https://dl.acm.org/doi/10.1145/3657288
Xie TGai KZhu LWang SZhang Z(2024)RAC-Chain: An Asynchronous Consensus-based Cross-chain Approach to Scalable Blockchain for MetaverseACM Transactions on Multimedia Computing, Communications, and Applications10.1145/358601120:7(1-24)Online publication date: 27-Mar-2024
https://dl.acm.org/doi/10.1145/3586011
Chen YAsheralieva AWei X(2024)AtomCI: A New System for the Atomic Cross-Chain Smart Contract Invocation Spanning Heterogeneous BlockchainsIEEE Transactions on Network Science and Engineering10.1109/TNSE.2023.334919211:3(2782-2796)Online publication date: May-2024
https://doi.org/10.1109/TNSE.2023.3349192
Hu SLi MWeng JLiu JWeng JLi Z(2024)IvyRedaction: Enabling Atomic, Consistent and Accountable Cross-Chain RewritingIEEE Transactions on Dependable and Secure Computing10.1109/TDSC.2023.333967521:4(3883-3900)Online publication date: Jul-2024
https://doi.org/10.1109/TDSC.2023.3339675
Zhang PHua XZhu H(2024)Cross-Chain Digital Asset System for Secure Trading and PaymentIEEE Transactions on Computational Social Systems10.1109/TCSS.2023.324106511:2(1654-1666)Online publication date: Apr-2024
https://doi.org/10.1109/TCSS.2023.3241065
Anthony Jnr B(2024)Enhancing blockchain interoperability and intraoperability capabilities in collaborative enterprise-a standardized architecture perspectiveEnterprise Information Systems10.1080/17517575.2023.229664718:3Online publication date: 4-Jan-2024
https://doi.org/10.1080/17517575.2023.2296647
Monika Bhatia R(2024)Cross‐blockchain decentralized asset transfer protocol for public blockchainsInternational Journal of Communication Systems10.1002/dac.570937:6Online publication date: 20-Jan-2024
https://doi.org/10.1002/dac.5709
Falazi GBreitenbücher ULeymann FSchulte SYussupov V(2023)Transactional Cross-Chain Smart Contract InvocationsDistributed Ledger Technologies: Research and Practice10.1145/3616023Online publication date: 15-Aug-2023
https://dl.acm.org/doi/10.1145/3616023
Fang PZou ZXiao XLiu ZJust RFraser G(2023)iSyn: Semi-automated Smart Contract Synthesis from Legal Financial AgreementsProceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3597926.3598091(727-739)Online publication date: 12-Jul-2023
https://dl.acm.org/doi/10.1145/3597926.3598091
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents