byzentine general problem with digital signature