Byzantine Consistent Broadcast

Original Definition

This is a [BROKEN LINK: 9df4ab7a-adc6-456b-b355-3b2a0775b5e8] definition.

  • Introduction to Reliable and Secure Distributed Programming. Christian Cachin, Rachid Guerraoui, and Luís Rodrigues. 2011
  • instance \(bcb\), with sender \(s\).
  • API
    • Broadcast(m) executed only by \(s\)
    • \(m \leftarrow Deliver()\)
  • Requirements:
    • Validity: If a correct process \(p\) broadcasts a message \(m\), then every correct process eventually delivers \(m\).
    • No duplication: Every correct process delivers at most one message.
    • Integrity: If some correct process delivers a message \(m\) with sender \(s\) and process \(s\) is correct, then \(m\) was previously broadcast by \(p\).
    • Consistency: If some correct process delivers a message \(m\) and another correct process delivers a message \(m'\),then \(m = m'\).