Consensus
Formal
Consensus makes sure all the ledgers have the exact same copy of the particular Blockchain history. This is realized when all network participants agree on the validity of the transactions.
Practical
Consensus makes sure all the ledgers have the exact same copy of the particular Blockchain history. The ones that do not are ruled out of the network and do not get rewarded a mining fee.
