Blockchain Transaction Processing | SpringerLink
Skip to main content
Springer Nature Link
Log in

Blockchain Transaction Processing

Encyclopedia of Big Data Technologies

Synonyms

Blockchain consensus; Blockchain data management; Cryptocurrency

Definitions

A blockchain is a linked list of immutable tamper-proof blocks, which is stored at each participating node. Each block records a set of transactions and the associated metadata. Blockchain transactions act on the identical ledger data stored at each node. Blockchain was first perceived by Satoshi Nakamoto (Satoshi 2008), as a peer-to-peer money exchange system. Nakamoto referred to the transactional tokens exchanged among clients in his system as Bitcoins.

Overview

In 2008, Satoshi Nakamoto (Satoshi 2008) came up with the design of an unanticipated technology that revolutionized the research in the distributed systems community. Nakamoto presented the design of a peer-to-peer money exchange process that was shared yet distributed. Nakamoto named his transactional token as Bitcoin and brought forth design of a new paradigm blockchain.

The key element of any blockchain system is the existence of an...

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

Access this chapter

Log in via an institution

Institutional subscriptions

Notes

  1. 1.

    We are assuming fair and ideal conditions, where each node works independently.

  2. 2.

    As per some claims, one Bitcoin transaction consumes power equivalent to that required by 1.5 American homes per day.

References

  • Ateniese G, Bonacina I, Faonio A, Galesi N (2014) Proofs of space: when space is of the essence. In: Abdalla M, De Prisco R (eds) Security and cryptography for networks. Springer International Publishing, pp 538–557

    Google Scholar 

  • Aublin PL, Mokhtar SB, Quéma V (2013) RBFT: redundant byzantine fault tolerance. In: Proceedings of the 2013 IEEE 33rd international conference on distributed computing systems, ICDCS ’13. IEEE Computer Society, pp 297–306

    Google Scholar 

  • Baier C, Katoen JP (2008) Principles of model checking (representation and mind series). The MIT Press, Cambridge/London

    Google Scholar 

  • Bertot Y (2006) Coq in a hurry. CoRR abs/cs/0603118, http://arxiv.org/abs/cs/0603118, cs/0603118

  • Bonneau J, Miller A, Clark J, Narayanan A, Kroll JA, Felten EW (2015) SoK: research perspectives and challenges for bitcoin and cryptocurrencies. In: Proceedings of the 2015 IEEE symposium on security and privacy, SP ’15. IEEE Computer Society, Washington, DC, pp 104–121

    Google Scholar 

  • Buterin V, Griffith V (2017) Casper the friendly finality gadget. CoRR abs/1710.09437, http://arxiv.org/abs/1710.09437, 1710.09437

  • Cachin C (2016) Architecture of the hyperledger blockchain fabric. In: Workshop on distributed cryptocurrencies and consensus ledgers, DCCL 2016

    Google Scholar 

  • Cachin C, Vukolic M (2017) Blockchain consensus protocols in the wild. CoRR abs/1707.01873

    Google Scholar 

  • Castro M, Liskov B (1999) Practical byzantine fault tolerance. In: Proceedings of the third symposium on operating systems design and implementation, OSDI ’99. USENIX Association, Berkeley, pp 173–186

    Google Scholar 

  • Clement A, Wong E, Alvisi L, Dahlin M, Marchetti M (2009) Making byzantine fault tolerant systems tolerate byzantine faults. In: Proceedings of the 6th USENIX symposium on networked systems design and implementation, NSDI’09. USENIX Association, Berkeley, pp 153–168

    Google Scholar 

  • Cooper BF, Silberstein A, Tam E, Ramakrishnan R, Sears R (2010) Benchmarking cloud serving systems with YCSB. In: Proceedings of the 1st ACM symposium on cloud computing. ACM, pp 143–154

    Google Scholar 

  • Decker C, Wattenhofer R (2013) Information propagation in the bitcoin network. In: 13th IEEE international conference on peer-to-peer computing (P2P), Trento

    Google Scholar 

  • De Moura L, Bjørner N (2008) Z3: an efficient SMT solver. Springer, Berlin/Heidelberg/Berlin, pp 337–340

    Google Scholar 

  • Dziembowski S, Faust S, Kolmogorov V, Pietrzak K (2015) Proofs of space. In: Gennaro R, Robshaw M (eds) Advances in cryptology – CRYPTO 2015. Springer, Berlin/Heidelberg, pp 585–605

    Google Scholar 

  • Eyal I, Gencer AE, Sirer EG, Van Renesse R (2016) Bitcoin-NG: a scalable blockchain protocol. In: Proceedings of the 13th USENIX conference on networked systems design and implementation, NSDI’16. USENIX Association, Berkeley, pp 45–59

    Google Scholar 

  • Garay J, Kiayias A, Leonardos N (2015) The bitcoin backbone protocol: analysis and applications. Springer, Berlin/Heidelberg/Berlin, pp 281–310

    Google Scholar 

  • Graves A, Mohamed A, Hinton GE (2013) Speech recognition with deep recurrent neural networks. CoRR abs/1303.5778, http://arxiv.org/abs/1303.5778, 1303.5778

  • Gray J, Lamport L (2006) Consensus on transaction commit. ACM TODS 31(1):133–160

    Article  Google Scholar 

  • Grumberg O, Long DE (1994) Model checking and modular verification. ACM Trans Program Lang Syst 16(3):843–871

    Article  Google Scholar 

  • Gupta S, Sadoghi M (2018) EasyCommit: a non-blocking two-phase commit protocol. In: Proceedings of the 21st international conference on extending database technology, Open Proceedings, EDBT

    Google Scholar 

  • Harding R, Van Aken D, Pavlo A, Stonebraker M (2017) An evaluation of distributed concurrency control. Proc VLDB Endow 10(5):553–564

    Article  Google Scholar 

  • Jakobsson M, Juels A (1999) Proofs of work and bread pudding protocols. In: Proceedings of the IFIP TC6/TC11 joint working conference on secure information networks: communications and multimedia security, CMS ’99. Kluwer, B.V., pp 258–272

    Chapter  Google Scholar 

  • Katz J, Lindell Y (2007) Introduction to modern cryptography. Chapman & Hall/CRC, Boca Raton

    Google Scholar 

  • Keller RM (1976) Formal verification of parallel programs. Commun ACM 19(7):371–384

    Article  MathSciNet  Google Scholar 

  • King S, Nadal S (2012) PPCoin: peer-to-peer crypto currency with proof-of-stake. peercoin.net

    Google Scholar 

  • Kotla R, Alvisi L, Dahlin M, Clement A, Wong E (2007) Zyzzyva: speculative byzantine fault tolerance. In: Proceedings of twenty-first ACM SIGOPS symposium on operating systems principles, SOSP ’07. ACM, New York, pp 45–58. https://doi.org/10.1145/1294261.1294267

  • Krizhevsky A, Sutskever I, Hinton GE (2012) Imagenet classification with deep convolutional neural networks. In: Proceedings of the 25th international conference on neural information processing systems, NIPS’12, vol 1. Curran Associates Inc., pp 1097–1105

    Google Scholar 

  • Kumar R, Myreen MO, Norrish M, Owens S (2014) CakeML: a verified implementation of ML. In: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14. ACM, New York, pp 179–191

    Google Scholar 

  • Lamport L (1998) The part-time parliament. ACM Trans Comput Syst 16(2):133–169

    Article  Google Scholar 

  • Leroy X (2009) A formally verified compiler back-end. J Autom Reason 43(4):363–446

    Article  MathSciNet  Google Scholar 

  • Nawab F (2018) Geo-scale transaction processing. Springer International Publishing, pp 1–7. https://doi.org/10.1007/978-3-319-63962-8_180-1

    Google Scholar 

  • Oki BM, Liskov BH (1988) Viewstamped replication: a new primary copy method to support highly-available distributed systems. In: Proceedings of the seventh annual ACM symposium on principles of distributed computing, PODC ’88. ACM, New York, pp 8–17

    Google Scholar 

  • Parity Technologies (2018) Parity ethereum blockchain. https://www.parity.io/

  • Park S, Kwon A, Fuchsbauer G, Gaži P, Alwen J, Pietrzak K (2015) SpaceMint: a cryptocurrency based on proofs of space. https://eprint.iacr.org/2015/528

  • Pilkington M (2015) Blockchain technology: principles and applications. In: Research handbook on digital transformations. SSRN

    Google Scholar 

  • Rosenfeld M (2014) Analysis of hashrate-based double spending. CoRR abs/1402.2009, http://arxiv.org/abs/1402.2009, 1402.2009

  • Sadoghi M (2017) Expodb: an exploratory data science platform. In: Proceedings of the eighth biennial conference on innovative data systems research, CIDR

    Google Scholar 

  • Sadoghi M, Bhattacherjee S, Bhattacharjee B, Canim M (2018) L-store: a real-time OLTP and OLAP system. OpenProceeding.org, EDBT

    Google Scholar 

  • Satoshi N (2008) Bitcoin: a peer-to-peer electronic cash system. http://bitcoin.org/bitcoin.pdf

  • Schwartz D, Youngs N, Britto A (2014) The ripple protocol consensus algorithm. https://www.ripple.com/

  • Steen Mv, Tanenbaum AS (2017) Distributed systems, 3rd edn, version 3.01. distributed-systems.net

    Google Scholar 

  • TPP Council (2010) TPC benchmark C (Revision 5.11)

    Google Scholar 

  • Wilcox JR, Woos D, Panchekha P, Tatlock Z, Wang X, Ernst MD, Anderson T (2015) Verdi: a framework for implementing and formally verifying distributed systems. In: Proceedings of the 36th ACM SIGPLAN conference on programming language design and implementation, PLDI ’15. ACM, New York, pp 357–368

    Chapter  Google Scholar 

  • Wood G (2015) Ethereum: a secure decentralised generalised transaction ledger. http://gavwood.com/paper.pdf

  • Zhao W, Chellappa R, Phillips PJ, Rosenfeld A (2003) Face recognition: a literature survey. ACM Comput Surv 35(4):399–458. https://doi.org/10.1145/954339.954342

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of California, Davis, Davis, CA, USA

    Suyash Gupta & Mohammad Sadoghi

Authors
  1. Suyash Gupta
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mohammad Sadoghi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mohammad Sadoghi .

Editor information

Editors and Affiliations

  1. School of Comp. Sci. and Engineering, University of New South Wales School of Comp. Sci. and Engineering, Eveleigh, New South Wales, Australia

    Sherif Sakr

  2. Sch of Info Techno, Building J12, University of Sydney Sch of Info Techno, Building J12, Sydney, Australia

    Albert Zomaya

Section Editor information

  1. Computer Science, University of California, Davis, California, USA

    Mohammad Sadoghi

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this entry

Check for updates. Verify currency and authenticity via CrossMark

Cite this entry

Gupta, S., Sadoghi, M. (2018). Blockchain Transaction Processing. In: Sakr, S., Zomaya, A. (eds) Encyclopedia of Big Data Technologies. Springer, Cham. https://doi.org/10.1007/978-3-319-63962-8_333-1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-63962-8_333-1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-63962-8

  • Online ISBN: 978-3-319-63962-8

  • eBook Packages: Springer Reference MathematicsReference Module Computer Science and Engineering

Publish with us

Policies and ethics

Chapter history

  1. Latest

    Blockchain Transaction Processing
    Published:
    10 March 2022

    DOI: https://doi.org/10.1007/978-3-319-63962-8_333-2

  2. Original

    Blockchain Transaction Processing
    Published:
    19 April 2018

    DOI: https://doi.org/10.1007/978-3-319-63962-8_333-1

Search

Navigation