Virtual trees for the byzantine generals algorithm