Abstract
A complete sharding blockchain consists of many vital components, the two most important of which are the intra-shard consensus algorithm and the cross-shard transaction processing method. The latter usually requires a two-phase commit protocol, which usually relies on the shard leaders to transfer critical messages among different shards. In the process, a leader might behave maliciously. In response to possible problems in cross-shard transaction processing, this paper makes the following contributions. First, this paper proposes a cross-shard transaction censorship attack that may be launched by a shard leader. The leader might behave honestly inside the shard while does not transfer key messages between the shards. Second, a cross-shard view-change protocol is proposed to defend against the attack. When a shard leader behaves maliciously between shards, a related shard’s members can run an intra-shard consensus algorithm to generate a proof of the leader’s malicious behavior and forward the proof to the corresponding shard’s members. The shard members could launch an intra-shard view-change operation to replace the malicious leader with a new one. Third, it is proved that the proposed protocol satisfies consistency and liveness. The secure cross-shard view-change protocol can be applied to most sharding blockchains to ensure the safe and efficient execution of cross-shard transactions.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
Strong consistency means transactions are confirmed instantly, and the probability of a fork in the blockchain is negligible.
- 2.
Also referred to as network model in related work.
- 3.
The notation “\(\preceq \)” means “is a prefix of”.
References
Al-Bassam, M., Sonnino, A., Bano, S., Hrycyszyn, D., Danezis, G.: Chainspace: a sharded smart contracts platform. In: 25th Annual Network and Distributed System Security Symposium, NDSS 2018, San Diego, California, USA, 18–21 February 2018, pp. 18–21 (2018)
Avarikioti, G., Kokoris-Kogias, E., Wattenhofer, R.: Divide and scale: Formalization of distributed ledger sharding protocols. CoRR abs/1910.10434 (2019). http://arxiv.org/abs/1910.10434
Bano, S., Al-Bassam, M., Danezis, G.: The road to scalable blockchain designs. login 42(4) (2017). https://www.usenix.org/publications/login/winter2017/bano
Bano, S., et al.: Sok: consensus in the age of blockchains. In: Proceedings of the 1st ACM Conference on Advances in Financial Technologies, AFT 2019, Zurich, Switzerland, 21–23 October 2019, pp. 183–198 (2019). https://doi.org/10.1145/3318041.3355458
Casado-Vara, R., Prieto, J., de la Prieta, F., Corchado, J.M.: How blockchain improves the supply chain: case study alimentary supply chain. In: Yasar, A., Shakshuki, E.M. (eds.) The 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2018)/The 13th International Conference on Future Networks and Communications (FNC-2018)/Affiliated Workshops, Gran Canaria, Spain, 13–15 August 2018. Procedia Computer Science, vol. 134, pp. 393–398. Elsevier (2018). https://doi.org/10.1016/j.procs.2018.07.193
Castro, M., Liskov, B.: Practical byzantine fault tolerance. In: Proceedings of the Third USENIX Symposium on Operating Systems Design and Implementation (OSDI), New Orleans, Louisiana, USA, 22–25 February 1999, pp. 173–186 (1999)
Corbett, J.C., et al.: Spanner: google’s globally distributed database. ACM Trans. Comput. Syst. 31(3), 8:1–8:22 (2013)
Dang, H., Dinh, T.T.A., Loghin, D., Chang, E., Lin, Q., Ooi, B.C.: Towards scaling blockchain systems via sharding. In: Proceedings of the 2019 International Conference on Management of Data, SIGMOD Conference 2019, Amsterdam, The Netherlands, June 30 – July 5 2019, pp. 123–140 (2019). https://doi.org/10.1145/3299869.3319889
Dwork, C., Lynch, N.A., Stockmeyer, L.J.: Consensus in the presence of partial synchrony. J. ACM 35(2), 288–323 (1988)
Gai, K., Guo, J., Zhu, L., Yu, S.: Blockchain meets cloud computing: a survey. IEEE Commun. Surv. Tutor. 22(3), 2009–2030 (2020). https://doi.org/10.1109/COMST.2020.2989392
Garay, J.A., Kiayias, A.: Sok: a consensus taxonomy in the blockchain era. In: Topics in Cryptology - CT-RSA 2020 - The Cryptographers’ Track at the RSA Conference 2020, San Francisco, CA, USA, 24–28 February 2020, Proceedings, pp. 284–318 (2020). https://doi.org/10.1007/978-3-030-40186-3_13
Garay, J.A., Kiayias, A., Leonardos, N.: The bitcoin backbone protocol: analysis and applications. In: Advances in Cryptology - EUROCRYPT 2015–34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, 26–30 April 2015, Proceedings, Part II, pp. 281–310 (2015). https://doi.org/10.1007/978-3-662-46803-6_10
Golan-Gueta, G., et al.: SBFT: a scalable and decentralized trust infrastructure. In: DSN 2019, pp. 568–580 (2019). https://doi.org/10.1109/DSN.2019.00063
Karame, G., Androulaki, E., Capkun, S.: Double-spending fast payments in bitcoin. In: Yu, T., Danezis, G., Gligor, V.D. (eds.) the ACM Conference on Computer and Communications Security, CCS 2012, Raleigh, NC, USA, 16–18 October 2012, pp. 906–917. ACM (2012). https://doi.org/10.1145/2382196.2382292
Kokoris-Kogias, E., Jovanovic, P., Gailly, N., Khoffi, I., Gasser, L., Ford, B.: Enhancing bitcoin security and performance with strong consistency via collective signing. In: 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, 10–12 August 2016, pp. 279–296 (2016)
Kokoris-Kogias, E., Jovanovic, P., Gasser, L., Gailly, N., Syta, E., Ford, B.: Omniledger: a secure, scale-out, decentralized ledger via sharding. In: 2018 IEEE Symposium on Security and Privacy, SP 2018, Proceedings, 21–23 May 2018, San Francisco, California, USA, pp. 583–598 (2018). https://doi.org/10.1109/SP.2018.000-5
Liu, Y., Liu, J., Hei, Y., Tan, W., Wu, Q.: A secure shard reconfiguration protocol for sharding blockchains without a randomness. In: Wang, G., Ko, R.K.L., Bhuiyan, M.Z.A., Pan, Y. (eds.) 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2020, Guangzhou, China, 29 December 2020 – 1 January 2021, pp. 1012–1019. IEEE (2020). https://doi.org/10.1109/TrustCom50675.2020.00135
Liu, Y., et al.: Building blocks of sharding blockchain systems: Concepts, approaches, and open problems (2021). https://arxiv.org/abs/2102.13364
Liu, Y., Liu, J., Wu, Q., Yu, H., Yiming, H., Zhou, Z.: SSHC: a secure and scalable hybrid consensus protocol for sharding blockchains with a formal security framework. IEEE Trans. Dependable Secur. Comput. (2020). https://doi.org/10.1109/TDSC.2020.3047487
Liu, Y., Liu, J., Yin, J., Li, G., Yu, H., Wu, Q.: Cross-shard transaction processing in sharding blockchains. In: Algorithms and Architectures for Parallel Processing - 20th International Conference, ICA3PP 2020, New York City, NY, USA, 2–4 October 2020, Proceedings, Part III, pp. 324–339 (2020). https://doi.org/10.1007/978-3-030-60248-2_22
Liu, Y., Liu, J., Zhang, Z., Xu, T., Yu, H.: Overview on consensus mechanism of blockchain technology. J. Cryptol. Res. 6(4), 395–432 (2019). https://doi.org/10.13868/j.cnki.jcr.000311
Liu, Y., Liu, J., Zhang, Z., Yu, H.: A fair selection protocol for committee-based permissionless blockchains. Comput. Secur. 101718 (2020). https://doi.org/10.1016/j.cose.2020.101718
Luu, L., Narayanan, V., Zheng, C., Baweja, K., Gilbert, S., Saxena, P.: A secure sharding protocol for open blockchains. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, 24–28 October 2016, pp. 17–30 (2016). https://doi.org/10.1145/2976749.2978389
Nakamoto, S., et al.: Bitcoin: A peer-to-peer electronic cash system (2008). https://bitcoin.org/bitcoin.pdf
Reyna, A., Martín, C., Chen, J., Soler, E., Díaz, M.: On blockchain and its integration with IoT. Challenges and opportunities. Future Gener. Comput. Syst. 88, 173–190 (2018). https://doi.org/10.1016/j.future.2018.05.046
Sonnino, A., Bano, S., Al-Bassam, M., Danezis, G.: Replay attacks and defenses against cross-shard consensus in sharded distributed ledgers. In: IEEE European Symposium on Security and Privacy Workshops, EuroS&P Workshops 2020, Genoa, Italy, 7–11 September 2020, pp. 397–406 (2020). https://doi.org/10.1109/EuroSP48549.2020.00026
Treleaven, P.C., Brown, R.G., Yang, D.: Blockchain technology in finance. Computer 50(9), 14–17 (2017). https://doi.org/10.1109/MC.2017.3571047
Wang, G., Shi, Z.J., Nixon, M., Han, S.: Sok: sharding on blockchain. In: Proceedings of the 1st ACM Conference on Advances in Financial Technologies, AFT 2019, Zurich, Switzerland, 21–23 October 2019, pp. 41–61 (2019). https://doi.org/10.1145/3318041.3355457
Wang, J., Wang, H.: Monoxide: scale out blockchains with asynchronous consensus zones. In: NSDI 2019, pp. 95–112 (2019)
Xie, J., et al.: A survey of blockchain technology applied to smart cities: research issues and challenges. IEEE Commun. Surv. Tutor. 21(3), 2794–2830 (2019). https://doi.org/10.1109/COMST.2019.2899617
Yang, R., Yu, F.R., Si, P., Yang, Z., Zhang, Y.: Integrated blockchain and edge computing systems: a survey, some research issues and challenges. IEEE Commun. Surv. Tutor. 21(2), 1508–1532 (2019). https://doi.org/10.1109/COMST.2019.2894727
Yin, M., Malkhi, D., Reiter, M.K., Golan-Gueta, G., Abraham, I.: Hotstuff: BFT consensus with linearity and responsiveness. In: PODC 2019, pp. 347–356 (2019). https://doi.org/10.1145/3293611.3331591
Yu, G., Wang, X., Yu, K., Ni, W., Zhang, J.A., Liu, R.P.: Survey: sharding in blockchains. IEEE Access 8, 14155–14181 (2020). https://doi.org/10.1109/ACCESS.2020.2965147
Zamani, M., Movahedi, M., Raykova, M.: Rapidchain: scaling blockchain via full sharding. In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, 15–19 October 2018, pp. 931–948 (2018). https://doi.org/10.1145/3243734.3243853
Zamyatin, A., et al.: SoK: communication across distributed ledgers. IACR Cryptol. ePrint Arch. 2019, 1128 (2019). https://eprint.iacr.org/2019/1128
Acknowledgements
Our deepest gratitude goes to the editors and reviewers for their careful work and meaningful suggestions that help improve this paper. This paper is supported by the National Key R&D Program of China (2017YFB1400702, 2020YFB10056, 2019QY(Y)0602), the Natural Science Foundation of China (61932011, 61972019, 61772538, 61532021, 91646203, 61672083, 61972017, 61972018, 61932014, 72031001), the National Cryptography Development Fund (MMJJ20180215), and the Fundamental Research Funds for the Central Universities (YWF-20-BJ-J-1039).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Liu, Y., Liu, J., Hei, Y., Xia, Y., Wu, Q. (2021). A Secure Cross-Shard View-Change Protocol for Sharding Blockchains. In: Baek, J., Ruj, S. (eds) Information Security and Privacy. ACISP 2021. Lecture Notes in Computer Science(), vol 13083. Springer, Cham. https://doi.org/10.1007/978-3-030-90567-5_19
Download citation
DOI: https://doi.org/10.1007/978-3-030-90567-5_19
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-90566-8
Online ISBN: 978-3-030-90567-5
eBook Packages: Computer ScienceComputer Science (R0)