PBFT は *Paxos* であり、Dolev–Strong は *省略失敗を伴う不均一な放送* Gilad Sternと
346