Scalable Byzantine agreement with a random beacon

External Document