Consensus Proof and Reductions (TODO) Consensus Proof and Reductions (TODO) Consensus Proof and Reductions (TODO)