Byzantine General's problem and Bitcoin