ByNobleID
    Correctness proof for the majority consensus algorithm | NobleID