David Mazières

Authored and published the Stellar Consensus Protocol (SCP) academic specification and reference description that Stellar adopted to move from earlier approaches to a Federated Byzantine Agreement model. The SCP paper and technical exposition provided concrete algorithms for quorum slices, nomination and ballot protocols, and safety/liveness properties; those artifacts were directly used by Stellar Core implementers to change how the ledger reaches consensus. Collaborated with the Stellar developer community and provided a documented reference that informed implementation choices in Stellar Core, including validator selection semantics and the finality characteristics of transactions. The adoption of SCP altered the network security assumptions and operational patterns for anchors and validators, enabling a different trade-off between decentralization and performance compared with prior consensus designs. Continued academic stewardship and public documentation gave protocol engineers a testable specification to validate changes and to design upgrades. The explicit algorithms and proofs in the SCP materials remain a primary technical source of truth for upgrades, audits, and third-party implementations that interact with XLM settlement and transaction finality guarantees.