Honest nodes collectively control more CPU power than any cooperating group of attacker nodes