@misc{indiciae970b31c88ade,
  title = {Holistic Verification of Blockchain Consensus},
  author = {Nathalie Bertrand and Vincent Gramoli and Igor Konnov and Marijana Lazić and Pierre Tholoniat and Josef Widder},
  year = {2022},
  url = {https://arxiv.org/abs/2206.04489},
  note = {Source identifier: 2206.04489}
}