Skip to main content
Erschienen in: Annals of Telecommunications 1-2/2022

08.06.2021

Scalable blockchain execution via parallel block validation

verfasst von: Maya Leshkowitz, Olivia Benattasse, Oded Wertheim, Ori Rottenstreich

Erschienen in: Annals of Telecommunications | Ausgabe 1-2/2022

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

A dominant part in blockchain networks is reaching an agreement on block transactions and their impact on the network state. We follow a common scenario where a node is selected to propose a block and its implied state updates. The proposal is then validated by other nodes that examine the block impact on the state. Typically, all validators execute the complete block and provide an indication based on comparing the results of their execution to the updated state in the proposal. With the increase in the number of participants in blockchain networks, we suggest a time-efficient block validation through splitting it into multiple disjoint tasks. This can be challenging due to possible dependencies between the block transactions. We describe the additional information the leader has to provide to enable that. Moreover, we describe a unique proof for the block partition computed by the leader such that when validated in part by the different committees guarantees the correctness of the execution by the leader. We compare the approach to traditional solutions based on real data of the Ethereum blockchain.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
Note that increasing the block rate should be done carefully to avoid security issues. In particular, high block propagation time implies additional constraints on the rate. We see such aspects as beyond the scope of the paper.
 
2
As detailed, we assume each committee is associated with a pair of public and private keys that refer to the committee as a whole. Namely, the members of each committee should be known during the key generation, making the committee composition inflexible. Removing the assumption of static committees can be done by performing periodic key generation for threshold signatures.
 
3
Storing the state in a Merkle tree enables maintaining a hash fingerprint (the value of the Merkle root of the state tree) for the entire state which can be efficiently updated when applying write operations for the block. Using a Merkle tree for the state also enables supplying efficient proofs of state values to network participants that are not executors.
 
4
We thank an anonymous reviewer for their suggestion.
 
Literatur
1.
Zurück zum Zitat Polkadot (2016 )Vision for a heterogeneous multi-chain framework Polkadot (2016 )Vision for a heterogeneous multi-chain framework
2.
Zurück zum Zitat Buchman Tendermint E (2016) Byzantine fault tolerance in the age of blockchains. Master’s Thesis at University of Guelph, Ontario Buchman Tendermint E (2016) Byzantine fault tolerance in the age of blockchains. Master’s Thesis at University of Guelph, Ontario
3.
Zurück zum Zitat Abraham I, Gueta G, Malkhi D (2018) Hot-stuff the linear, optimal-resilience one-message BFT devil. arXiv:1803.05069 Abraham I, Gueta G, Malkhi D (2018) Hot-stuff the linear, optimal-resilience one-message BFT devil. arXiv:1803.​05069
4.
Zurück zum Zitat Kiayias A, Russell A, David B, Oliynykov R (2017) Ouroboros: a provably secure proof-of-stake blockchain protocol. Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) Kiayias A, Russell A, David B, Oliynykov R (2017) Ouroboros: a provably secure proof-of-stake blockchain protocol. Annual International Cryptology Conference on Advances in Cryptology (CRYPTO)
5.
Zurück zum Zitat Allombert V, Bourgoin M, Tesson J (2019) Introduction to the Tezos Blockchain. International Conference on High Performance Computing & Simulation (HPCS) Allombert V, Bourgoin M, Tesson J (2019) Introduction to the Tezos Blockchain. International Conference on High Performance Computing & Simulation (HPCS)
6.
Zurück zum Zitat Luu L, Teutsch J, Kulkarni R, Saxena P (2015) Demystifying incentives in the consensus computer conference on computer and communications security (CCS) Luu L, Teutsch J, Kulkarni R, Saxena P (2015) Demystifying incentives in the consensus computer conference on computer and communications security (CCS)
7.
Zurück zum Zitat Plasma (2017) Scalable autonomous smart contracts Plasma (2017) Scalable autonomous smart contracts
8.
Zurück zum Zitat Sprites and State Channels (2017) Payment networks that go faster than lightning Sprites and State Channels (2017) Payment networks that go faster than lightning
9.
Zurück zum Zitat Androulaki E, et al. (2018) Hyperledger fabric: a distributed operating system for permissioned blockchains. In: Eurosys Androulaki E, et al. (2018) Hyperledger fabric: a distributed operating system for permissioned blockchains. In: Eurosys
10.
Zurück zum Zitat Bleumer G (2011) Threshold signature. In: Encyclopedia of cryptography and security, 2nd edn., pp 1294–1296 Bleumer G (2011) Threshold signature. In: Encyclopedia of cryptography and security, 2nd edn., pp 1294–1296
11.
Zurück zum Zitat Desmedt Y (2011) Threshold cryptography. Encyclopedia of Cryptography and Security, pp 1288–1293 Desmedt Y (2011) Threshold cryptography. Encyclopedia of Cryptography and Security, pp 1288–1293
12.
Zurück zum Zitat Dickerson TD, Gazzillo P, Herlihy M, Koskinen E (2018) Adding concurrency to smart contracts. Bullet EATCS:124 Dickerson TD, Gazzillo P, Herlihy M, Koskinen E (2018) Adding concurrency to smart contracts. Bullet EATCS:124
13.
14.
Zurück zum Zitat Dwork C, Naor M (1992) Pricing via processing or combatting junk mail. In: Springer CRYPTO Dwork C, Naor M (1992) Pricing via processing or combatting junk mail. In: Springer CRYPTO
15.
Zurück zum Zitat Gilad Y, Hemo R, Micali S, Vlachos G, Zeldovich N (2017) Algorand: Scaling byzantine agreements for cryptocurrencies In: ACM Symposium on operating systems principles (SOSP) Gilad Y, Hemo R, Micali S, Vlachos G, Zeldovich N (2017) Algorand: Scaling byzantine agreements for cryptocurrencies In: ACM Symposium on operating systems principles (SOSP)
16.
Zurück zum Zitat Herlihy M, Moss JEB (1993) Transactional memory: architectural support for lock-free data structures. SIGARCH Comput. Archit. 21(2):289–300CrossRef Herlihy M, Moss JEB (1993) Transactional memory: architectural support for lock-free data structures. SIGARCH Comput. Archit. 21(2):289–300CrossRef
17.
Zurück zum Zitat Kokoris-Kogias E, Jovanovic P, Gasser L, Gailly N, Syta E, Ford B (2018) : A secure, scale-out, decentralized ledger via sharding. 2018 IEEE Symposium on Security and Privacy (SP) Kokoris-Kogias E, Jovanovic P, Gasser L, Gailly N, Syta E, Ford B (2018) : A secure, scale-out, decentralized ledger via sharding. 2018 IEEE Symposium on Security and Privacy (SP)
18.
Zurück zum Zitat Merkle RC (1987) A digital signature based on a conventional encryption function. In: CRYPTO Merkle RC (1987) A digital signature based on a conventional encryption function. In: CRYPTO
19.
Zurück zum Zitat Pease MC, Shostak RE, Lamport L (1980) Reaching agreement in the presence of faults. J ACM 27(2):228–234 Pease MC, Shostak RE, Lamport L (1980) Reaching agreement in the presence of faults. J ACM 27(2):228–234
20.
Zurück zum Zitat Mizrahi A, Rottenstreich O (2020) State sharding with space-aware representations. In: IEEE ICBC Mizrahi A, Rottenstreich O (2020) State sharding with space-aware representations. In: IEEE ICBC
21.
Zurück zum Zitat Pagh R, Rodler FF (2001) Cuckoo hashing. In: European symposium on algorithms (ESA) Pagh R, Rodler FF (2001) Cuckoo hashing. In: European symposium on algorithms (ESA)
22.
Zurück zum Zitat Luo L, Guo D, Rottenstreich O, Ma RTB, Luo X, Ren B (2019) The consistent cuckoo filter. In: IEEE Infocom Luo L, Guo D, Rottenstreich O, Ma RTB, Luo X, Ren B (2019) The consistent cuckoo filter. In: IEEE Infocom
23.
Zurück zum Zitat Shoup V (2000) Practical threshold signatures. In: EUROCRYPT Shoup V (2000) Practical threshold signatures. In: EUROCRYPT
24.
Zurück zum Zitat Wood G (2014) Ethereum: a secure decentralised generalised transaction ledger Wood G (2014) Ethereum: a secure decentralised generalised transaction ledger
25.
Zurück zum Zitat Nehaï Z, Bobot F (2019) Deductive proof of industrial smart contracts using Why3. In: Formal Methods Workshops Nehaï Z, Bobot F (2019) Deductive proof of industrial smart contracts using Why3. In: Formal Methods Workshops
26.
Zurück zum Zitat Zamani M, Movahedi M, Raykova M (2018) Rapidchain: scaling blockchain via full sharding. In: ACM Conference on computer and communications security (SIGSAC) Zamani M, Movahedi M, Raykova M (2018) Rapidchain: scaling blockchain via full sharding. In: ACM Conference on computer and communications security (SIGSAC)
27.
Zurück zum Zitat Aggarwal A, Guo Y (2018) A simple reduction from state machine replication to binary agreement in partially synchronous or Asynchronous Networks. IACR Cryptol. ePrint Arch. Aggarwal A, Guo Y (2018) A simple reduction from state machine replication to binary agreement in partially synchronous or Asynchronous Networks. IACR Cryptol. ePrint Arch.
Metadaten
Titel
Scalable blockchain execution via parallel block validation
verfasst von
Maya Leshkowitz
Olivia Benattasse
Oded Wertheim
Ori Rottenstreich
Publikationsdatum
08.06.2021
Verlag
Springer International Publishing
Erschienen in
Annals of Telecommunications / Ausgabe 1-2/2022
Print ISSN: 0003-4347
Elektronische ISSN: 1958-9395
DOI
https://doi.org/10.1007/s12243-021-00857-9

Weitere Artikel der Ausgabe 1-2/2022

Annals of Telecommunications 1-2/2022 Zur Ausgabe

Neuer Inhalt