{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T07:19:06Z","timestamp":1777447146425,"version":"3.51.4"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319639628","type":"print"},{"value":"9783319639628","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-63962-8_333-1","type":"book-chapter","created":{"date-parts":[[2018,5,11]],"date-time":"2018-05-11T11:24:28Z","timestamp":1526037868000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":24,"title":["Blockchain Transaction Processing"],"prefix":"10.1007","author":[{"given":"Suyash","family":"Gupta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammad","family":"Sadoghi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,19]]},"reference":[{"key":"333-1_CR1","first-page":"538","volume-title":"Lecture Notes in Computer Science","author":"Giuseppe Ateniese","year":"2014","unstructured":"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\u2013557"},{"key":"333-1_CR2","doi-asserted-by":"crossref","unstructured":"Aublin PL, Mokhtar SB, Qu\u00e9ma V (2013) RBFT: redundant byzantine fault tolerance. In: Proceedings of the 2013 IEEE 33rd international conference on distributed computing systems, ICDCS \u201913. IEEE Computer Society, pp 297\u2013306","DOI":"10.1109\/ICDCS.2013.53"},{"key":"333-1_CR3","unstructured":"Baier C, Katoen JP (2008) Principles of model checking (representation and mind series). The MIT Press, Cambridge\/London"},{"key":"333-1_CR4","unstructured":"Bertot Y (2006) Coq in a hurry. CoRR abs\/cs\/0603118, http:\/\/arxiv.org\/abs\/cs\/0603118, cs\/0603118"},{"key":"333-1_CR5","doi-asserted-by":"crossref","unstructured":"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 \u201915. IEEE Computer Society, Washington, DC, pp 104\u2013121","DOI":"10.1109\/SP.2015.14"},{"key":"333-1_CR6","unstructured":"Buterin V, Griffith V (2017) Casper the friendly finality gadget. CoRR abs\/1710.09437, http:\/\/arxiv.org\/abs\/1710.09437, 1710.09437"},{"key":"333-1_CR7","unstructured":"Cachin C (2016) Architecture of the hyperledger blockchain fabric. In: Workshop on distributed cryptocurrencies and consensus ledgers, DCCL 2016"},{"key":"333-1_CR8","unstructured":"Cachin C, Vukolic M (2017) Blockchain consensus protocols in the wild. CoRR abs\/1707.01873"},{"key":"333-1_CR9","unstructured":"Castro M, Liskov B (1999) Practical byzantine fault tolerance. In: Proceedings of the third symposium on operating systems design and implementation, OSDI \u201999. USENIX Association, Berkeley, pp 173\u2013186"},{"key":"333-1_CR10","unstructured":"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\u201909. USENIX Association, Berkeley, pp 153\u2013168"},{"key":"333-1_CR11","doi-asserted-by":"crossref","unstructured":"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\u2013154","DOI":"10.1145\/1807128.1807152"},{"key":"333-1_CR12","doi-asserted-by":"crossref","unstructured":"Decker C, Wattenhofer R (2013) Information propagation in the bitcoin network. In: 13th IEEE international conference on peer-to-peer computing (P2P), Trento","DOI":"10.1109\/P2P.2013.6688704"},{"key":"333-1_CR13","doi-asserted-by":"crossref","unstructured":"De Moura L, Bj\u00f8rner N (2008) Z3: an efficient SMT solver. Springer, Berlin\/Heidelberg\/Berlin, pp 337\u2013340","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"333-1_CR14","first-page":"585","volume-title":"Lecture Notes in Computer Science","author":"Stefan Dziembowski","year":"2015","unstructured":"Dziembowski S, Faust S, Kolmogorov V, Pietrzak K (2015) Proofs of space. In: Gennaro R, Robshaw M (eds) Advances in cryptology \u2013 CRYPTO 2015. Springer, Berlin\/Heidelberg, pp 585\u2013605"},{"key":"333-1_CR15","unstructured":"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\u201916. USENIX Association, Berkeley, pp 45\u201359"},{"key":"333-1_CR16","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/978-3-662-46803-6_10","volume-title":"Advances in Cryptology - EUROCRYPT 2015","author":"Juan Garay","year":"2015","unstructured":"Garay J, Kiayias A, Leonardos N (2015) The bitcoin backbone protocol: analysis and applications. Springer, Berlin\/Heidelberg\/Berlin, pp 281\u2013310"},{"key":"333-1_CR17","unstructured":"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"},{"issue":"1","key":"333-1_CR18","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/1132863.1132867","volume":"31","author":"Jim Gray","year":"2006","unstructured":"Gray J, Lamport L (2006) Consensus on transaction commit. ACM TODS 31(1):133\u2013160","journal-title":"ACM Transactions on Database Systems"},{"issue":"3","key":"333-1_CR19","doi-asserted-by":"publisher","first-page":"843","DOI":"10.1145\/177492.177725","volume":"16","author":"Orna Grumberg","year":"1994","unstructured":"Grumberg O, Long DE (1994) Model checking and modular verification. ACM Trans Program Lang Syst 16(3):843\u2013871","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"333-1_CR20","unstructured":"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"},{"issue":"5","key":"333-1_CR21","doi-asserted-by":"publisher","first-page":"553","DOI":"10.14778\/3055540.3055548","volume":"10","author":"Rachael Harding","year":"2017","unstructured":"Harding R, Van Aken D, Pavlo A, Stonebraker M (2017) An evaluation of distributed concurrency control. Proc VLDB Endow 10(5):553\u2013564","journal-title":"Proceedings of the VLDB Endowment"},{"key":"333-1_CR22","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-0-387-35568-9_18","volume-title":"Secure Information Networks","author":"Markus Jakobsson","year":"1999","unstructured":"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 \u201999. Kluwer, B.V., pp 258\u2013272"},{"key":"333-1_CR23","doi-asserted-by":"crossref","unstructured":"Katz J, Lindell Y (2007) Introduction to modern cryptography. Chapman & Hall\/CRC, Boca Raton","DOI":"10.1201\/9781420010756"},{"issue":"7","key":"333-1_CR24","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"Robert M. Keller","year":"1976","unstructured":"Keller RM (1976) Formal verification of parallel programs. Commun ACM 19(7):371\u2013384","journal-title":"Communications of the ACM"},{"key":"333-1_CR25","unstructured":"King S, Nadal S (2012) PPCoin: peer-to-peer crypto currency with proof-of-stake. peercoin.net"},{"key":"333-1_CR26","doi-asserted-by":"crossref","unstructured":"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 \u201907. ACM, New York, pp 45\u201358. https:\/\/doi.org\/10.1145\/1294261.1294267","DOI":"10.1145\/1294261.1294267"},{"key":"333-1_CR27","unstructured":"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\u201912, vol 1. Curran Associates Inc., pp 1097\u20131105"},{"key":"333-1_CR28","doi-asserted-by":"crossref","unstructured":"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 \u201914. ACM, New York, pp 179\u2013191","DOI":"10.1145\/2535838.2535841"},{"issue":"2","key":"333-1_CR29","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/279227.279229","volume":"16","author":"Leslie Lamport","year":"1998","unstructured":"Lamport L (1998) The part-time parliament. ACM Trans Comput Syst 16(2):133\u2013169","journal-title":"ACM Transactions on Computer Systems"},{"issue":"4","key":"333-1_CR30","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/s10817-009-9155-4","volume":"43","author":"Xavier Leroy","year":"2009","unstructured":"Leroy X (2009) A formally verified compiler back-end. J Autom Reason 43(4):363\u2013446","journal-title":"Journal of Automated Reasoning"},{"key":"333-1_CR31","first-page":"1","volume-title":"Encyclopedia of Big Data Technologies","author":"Faisal Nawab","year":"2018","unstructured":"Nawab F (2018) Geo-scale transaction processing. Springer International Publishing, pp 1\u20137. https:\/\/doi.org\/10.1007\/978-3-319-63962-8_180-1"},{"key":"333-1_CR32","unstructured":"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 \u201988. ACM, New York, pp 8\u201317"},{"key":"333-1_CR33","unstructured":"Parity Technologies (2018) Parity ethereum blockchain. https:\/\/www.parity.io\/"},{"key":"333-1_CR34","unstructured":"Park S, Kwon A, Fuchsbauer G, Ga\u017ei P, Alwen J, Pietrzak K (2015) SpaceMint: a cryptocurrency based on proofs of space. https:\/\/eprint.iacr.org\/2015\/528"},{"key":"333-1_CR35","doi-asserted-by":"crossref","unstructured":"Pilkington M (2015) Blockchain technology: principles and applications. In: Research handbook on digital transformations. SSRN","DOI":"10.4337\/9781784717766.00019"},{"key":"333-1_CR36","unstructured":"Rosenfeld M (2014) Analysis of hashrate-based double spending. CoRR abs\/1402.2009, http:\/\/arxiv.org\/abs\/1402.2009, 1402.2009"},{"key":"333-1_CR37","unstructured":"Sadoghi M (2017) Expodb: an exploratory data science platform. In: Proceedings of the eighth biennial conference on innovative data systems research, CIDR"},{"key":"333-1_CR38","unstructured":"Sadoghi M, Bhattacherjee S, Bhattacharjee B, Canim M (2018) L-store: a real-time OLTP and OLAP system. OpenProceeding.org, EDBT"},{"key":"333-1_CR39","unstructured":"Satoshi N (2008) Bitcoin: a peer-to-peer electronic cash system. http:\/\/bitcoin.org\/bitcoin.pdf"},{"key":"333-1_CR40","unstructured":"Schwartz D, Youngs N, Britto A (2014) The ripple protocol consensus algorithm. https:\/\/www.ripple.com\/"},{"key":"333-1_CR41","unstructured":"Steen Mv, Tanenbaum AS (2017) Distributed systems, 3rd edn, version 3.01. distributed-systems.net"},{"key":"333-1_CR42","unstructured":"TPP Council (2010) TPC benchmark C (Revision 5.11)"},{"key":"333-1_CR43","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1145\/2737924.2737958","volume-title":"Proceedings of the 36th ACM SIGPLAN conference on programming language design and implementation, PLDI \u201915","author":"JR Wilcox","year":"2015","unstructured":"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 \u201915. ACM, New York, pp 357\u2013368"},{"key":"333-1_CR44","unstructured":"Wood G (2015) Ethereum: a secure decentralised generalised transaction ledger. http:\/\/gavwood.com\/paper.pdf"},{"issue":"4","key":"333-1_CR45","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1145\/954339.954342","volume":"35","author":"W Zhao","year":"2003","unstructured":"Zhao W, Chellappa R, Phillips PJ, Rosenfeld A (2003) Face recognition: a literature survey. ACM Comput Surv 35(4):399\u2013458. https:\/\/doi.org\/10.1145\/954339.954342","journal-title":"ACM Comput Surv"}],"container-title":["Encyclopedia of Big Data Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-63962-8_333-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,2]],"date-time":"2023-09-02T15:29:14Z","timestamp":1693668554000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-63962-8_333-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319639628","9783319639628"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-63962-8_333-1","relation":{},"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"19 April 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}