GM "The system is secure as long as honest nodes collectively control more CPU power than any cooperating group of attacker nodes."