Simple Protocols for Byzantine Broadcast (2)

f = 2, counterexample

doesn't satisfy agreement

ref https://photos.app.goo.gl/95oDxCQgkoGpoW4N8

solution: dolve-strong protocol