Abstract
Blockchain is designed to cope with Byzantine participants using proof of work or proof of stake, see [2, 14,15,16, 19]. It is also designed to converge following potential disagreements that lead to the creation of forks; in some sense such a convergence causes the eventual stabilization of the Blockchain. The self-stabilization property of long lived systems is very important [6, 10, 11], ensuring for automatic recovery without human intervention.
We thank the Lynne and William Frankel Center for Computer Science, the Rita Altura Trust Chair in Computer Science. This research was also partially supported by a grant from the Ministry of Science and Technology, Israel & the Japan Science and Technology Agency (JST), and the German Research Funding Organization (DFG, Grant#8767581199). We thank Chryssis Georgiou, Ioannis Marcoullis, Elad Michael Schiller for helpful discussions.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Androulaki, E., et al.: Hyperledger fabric: a distributed operating system for permissioned blockchains. In: Proceedings of the Thirteenth EuroSys Conference (EuroSys 2018), Article no. 30, 15 p. ACM, New York (2018). https://doi.org/10.1145/3190508.3190538
Amelchenko, M., Dolev, S.: Blockchain abbreviation: implemented by message passing and shared memory (extended abstract). In: NCA, pp. 385–391 (2017)
Binun, A., et al.: Self-stabilizing Byzantine-tolerant distributed replicated state machine. In: Bonakdarpour, B., Petit, F. (eds.) SSS 2016. LNCS, vol. 10083, pp. 36–53. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-49259-9_4
Bessani, A., Sousa, J., Alchieri, E.: State machine replication for the masses with BFT-SMaRt. In: The IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2014, Atlanta, USA, June 2014
Chen, J., Gorbunov, S., Micali, S., Vlachos, G.: ALGORAND AGREEMENT: super fast and partition resilient Byzantine agreement. IACR Cryptology ePrint Archive 2018, 377 (2018)
Dolev, S.: Self-Stabilization. MIT Press, Cambridge (2000)
Dolev, S., Eldefrawy, K., Garay, J.A., Kumaramangalam, M.V., Ostrovsky, R., Yung, M.: Brief announcement: secure self-stabilizing computation. In: PODC, pp. 415–417 (2017)
Dolev, S., Georgiou, C., Marcoullis, I., Schiller, E.M.: Self-stabilizing Byzantine tolerant replicated state machine based on failure detectors. In: Dinur, I., Dolev, S., Lodha, S. (eds.) CSCML 2018. LNCS, vol. 10879, pp. 84–100. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-94147-9_7
Dolev, S., Haviv, Y.A.: Self-stabilizing microprocessor: analyzing and overcoming soft errors. IEEE Trans. Comput. 55(4), 385–399 (2006)
Perlman, R.: Fault-tolerant broadcast of routing information. Comput. Netw. 7, 395–405 (1983)
Rosen, E.: Vulnerabilities of network control protocols: an example, RFC 789, July 1981
Sousa, J., Bessani, A., Vukolic, M.: A Byzantine fault-tolerant ordering service for the hyperledger fabric blockchain platform. In: The IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018, June 2018
The hyperledger fabric ledger description. https://hyperledger-fabric.readthedocs.io/en/release-1.4/ledger/ledger.html
BFT-SMaRt in hyperledger fabric. https://github.com/bft-smart/fabric-orderingservice
Hyperledger fabric: a distributed operating system for permissioned blockchains. https://arxiv.org/pdf/1801.10228v2.pdf
BFT-SMaRt. https://github.com/bft-smart/library
Tendermint. https://github.com/tendermint/tendermint
Redbelly. http://redbellyblockchain.io/
Proof of work vs. proof of stake. https://medium.com/@hydrominer/proof-of-work-vs-proof-of-stake-7b3afe24f0cc
Byzantine fault-tolerant ordering service for hyperledger fabric. https://github.com/bft-smart/fabric-orderingservice
Compiling the Byzantine fault-tolerant ordering service for hyperledger fabric. https://github.com/bft-smart/fabric-orderingservice/wiki/Compiling
Java reflection. https://docs.oracle.com/javase/tutorial/reflect/member/fieldValues.html
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Binun, A., Dolev, S., Hadad, T. (2019). Self-stabilizing Byzantine Consensus for Blockchain. In: Dolev, S., Hendler, D., Lodha, S., Yung, M. (eds) Cyber Security Cryptography and Machine Learning. CSCML 2019. Lecture Notes in Computer Science(), vol 11527. Springer, Cham. https://doi.org/10.1007/978-3-030-20951-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-030-20951-3_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-20950-6
Online ISBN: 978-3-030-20951-3
eBook Packages: Computer ScienceComputer Science (R0)