Yes, the problem is about not what happens on one machine, but N machines globally. That is a system that scales linearly and does not use proof-of-work. One needs to solve the Byzantine General Problem in a more general way than Bitcoin does.