---
res:
  bibo_abstract:
  - "Scaling blockchain protocols to perform on par with the expected needs of Web3.0
    has been proven to be a challenging task with almost a decade of research. In
    the forefront of the current solution is the idea of separating the execution
    of the updates encoded in a block from the ordering of blocks. In order to achieve
    this, a new class of protocols called rollups has emerged. Rollups have as input
    a total ordering of valid and invalid transactions and as output a new valid state-transition.\r\nIf
    we study rollups from a distributed computing perspective, we uncover that rollups
    take as input the output of a Byzantine Atomic Broadcast (BAB) protocol and convert
    it to a State Machine Replication (SMR) protocol. BAB and SMR, however, are considered
    equivalent as far as distributed computing is concerned and a solution to one
    can easily be retrofitted to solve the other simply by adding/removing an execution
    step before the validation of the input.\r\nThis “easy” step of retrofitting an
    atomic broadcast solution to implement an SMR has, however, been overlooked in
    practice. In this paper, we formalize the problem and show that after BAB is solved,
    traditional impossibility results for consensus no longer apply towards an SMR.
    Leveraging this we propose a distributed execution protocol that allows reduced
    execution and storage cost per executor (O(log2n/n)) without relaxing the network
    assumptions of the underlying BAB protocol and providing censorship-resistance.
    Finally, we propose efficient non-interactive light client constructions that
    leverage our efficient execution protocols and do not require any synchrony assumptions
    or expensive ZK-proofs.@eng"
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Christos
      foaf_name: Stefo, Christos
      foaf_surname: Stefo
      foaf_workInfoHomepage: http://www.librecat.org/personId=a20e8902-32b0-11ee-9fa8-b23fa638b793
  - foaf_Person:
      foaf_givenName: Zhuolun
      foaf_name: Xiang, Zhuolun
      foaf_surname: Xiang
  - foaf_Person:
      foaf_givenName: Eleftherios
      foaf_name: Kokoris Kogias, Eleftherios
      foaf_surname: Kokoris Kogias
      foaf_workInfoHomepage: http://www.librecat.org/personId=f5983044-d7ef-11ea-ac6d-fd1430a26d30
  bibo_doi: 10.1007/978-3-031-47754-6_1
  bibo_volume: 13950
  dct_date: 2023^xs_gYear
  dct_identifier:
  - UT:001150222600001
  dct_isPartOf:
  - http://id.crossref.org/issn/1611-3349
  - http://id.crossref.org/issn/0302-9743
  - http://id.crossref.org/issn/9783031477539
  dct_language: eng
  dct_publisher: Springer Nature@
  dct_title: Executing and proving over dirty ledgers@
...