"Bitcoin solved the Byzantine Generals problem, but it hasn’t solved the Byzantine Core Developers problem."