Which of the following options is a classic Byzantine fault-tolerant consensus mechanism?