Randomized algorithm that achieves multi-valued Byzantine agreement with high probability, and achieves optimal complexity.