Skip to main content

A Secure Cross-Shard View-Change Protocol for Sharding Blockchains

  • Conference paper
  • First Online:
Information Security and Privacy (ACISP 2021)

Part of the book series: Lecture Notes in Computer Science ((LNSC,volume 13083))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Strong consistency means transactions are confirmed instantly, and the probability of a fork in the blockchain is negligible.

  2. 2.

    Also referred to as network model in related work.

  3. 3.

    The notation “\(\preceq \)” means “is a prefix of”.

References

  1. 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)

    Google Scholar 

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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)

    Google Scholar 

  7. Corbett, J.C., et al.: Spanner: google’s globally distributed database. ACM Trans. Comput. Syst. 31(3), 8:1–8:22 (2013)

    Google Scholar 

  8. 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

  9. Dwork, C., Lynch, N.A., Stockmeyer, L.J.: Consensus in the presence of partial synchrony. J. ACM 35(2), 288–323 (1988)

    Article  MathSciNet  Google Scholar 

  10. 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

    Article  Google Scholar 

  11. 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

  12. 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

  13. 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

  14. 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

  15. 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)

    Google Scholar 

  16. 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

  17. 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

  18. Liu, Y., et al.: Building blocks of sharding blockchain systems: Concepts, approaches, and open problems (2021). https://arxiv.org/abs/2102.13364

  19. 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

  20. 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

  21. 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

  22. 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

  23. 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

  24. Nakamoto, S., et al.: Bitcoin: A peer-to-peer electronic cash system (2008). https://bitcoin.org/bitcoin.pdf

  25. 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

  26. 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

  27. 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

    Article  Google Scholar 

  28. 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

  29. Wang, J., Wang, H.: Monoxide: scale out blockchains with asynchronous consensus zones. In: NSDI 2019, pp. 95–112 (2019)

    Google Scholar 

  30. 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

    Article  Google Scholar 

  31. 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

    Article  Google Scholar 

  32. 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

  33. 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

    Article  Google Scholar 

  34. 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

  35. Zamyatin, A., et al.: SoK: communication across distributed ledgers. IACR Cryptol. ePrint Arch. 2019, 1128 (2019). https://eprint.iacr.org/2019/1128

Download references

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

Authors

Corresponding author

Correspondence to Yiming Hei .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics