seed.py 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484
  1. #!/usr/bin/env python3
  2. #
  3. # mmgen = Multi-Mode GENerator, command-line Bitcoin cold storage solution
  4. # Copyright (C)2013-2022 The MMGen Project <mmgen@tuta.io>
  5. #
  6. # This program is free software: you can redistribute it and/or modify
  7. # it under the terms of the GNU General Public License as published by
  8. # the Free Software Foundation, either version 3 of the License, or
  9. # (at your option) any later version.
  10. #
  11. # This program is distributed in the hope that it will be useful,
  12. # but WITHOUT ANY WARRANTY; without even the implied warranty of
  13. # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  14. # GNU General Public License for more details.
  15. #
  16. # You should have received a copy of the GNU General Public License
  17. # along with this program. If not, see <http://www.gnu.org/licenses/>.
  18. """
  19. seed.py: Seed-related classes and methods for the MMGen suite
  20. """
  21. from .common import *
  22. from .obj import *
  23. from .crypto import get_random,scramble_seed
  24. class SeedBase(MMGenObject):
  25. data = ImmutableAttr(bytes,typeconv=False)
  26. sid = ImmutableAttr(SeedID,typeconv=False)
  27. def __init__(self,seed_bin=None):
  28. if not seed_bin:
  29. # Truncate random data for smaller seed lengths
  30. seed_bin = sha256(get_random(1033)).digest()[:(opt.seed_len or g.dfl_seed_len)//8]
  31. elif len(seed_bin)*8 not in g.seed_lens:
  32. die(3,f'{len(seed_bin)}: invalid seed length')
  33. self.data = seed_bin
  34. self.sid = SeedID(seed=self)
  35. @property
  36. def bitlen(self):
  37. return len(self.data) * 8
  38. @property
  39. def byte_len(self):
  40. return len(self.data)
  41. @property
  42. def hexdata(self):
  43. return self.data.hex()
  44. @property
  45. def fn_stem(self):
  46. return self.sid
  47. class SubSeedList(MMGenObject):
  48. have_short = True
  49. nonce_start = 0
  50. debug_last_share_sid_len = 3
  51. def __init__(self,parent_seed):
  52. self.member_type = SubSeed
  53. self.parent_seed = parent_seed
  54. self.data = { 'long': IndexedDict(), 'short': IndexedDict() }
  55. def __len__(self):
  56. return len(self.data['long'])
  57. def get_subseed_by_ss_idx(self,ss_idx_in,print_msg=False):
  58. ss_idx = SubSeedIdx(ss_idx_in)
  59. if print_msg:
  60. msg_r('{} {} of {}...'.format(
  61. green('Generating subseed'),
  62. ss_idx.hl(),
  63. self.parent_seed.sid.hl(),
  64. ))
  65. if ss_idx.idx > len(self):
  66. self._generate(ss_idx.idx)
  67. sid = self.data[ss_idx.type].key(ss_idx.idx-1)
  68. idx,nonce = self.data[ss_idx.type][sid]
  69. if idx != ss_idx.idx:
  70. die(3, "{} != {}: self.data[{t!r}].key(i) does not match self.data[{t!r}][i]!".format(
  71. idx,
  72. ss_idx.idx,
  73. t = ss_idx.type ))
  74. if print_msg:
  75. msg(f'\b\b\b => {SeedID.hlc(sid)}')
  76. seed = self.member_type(self,idx,nonce,length=ss_idx.type)
  77. assert seed.sid == sid, f'{seed.sid} != {sid}: Seed ID mismatch!'
  78. return seed
  79. def get_subseed_by_seed_id(self,sid,last_idx=None,print_msg=False):
  80. def get_existing_subseed_by_seed_id(sid):
  81. for k in ('long','short') if self.have_short else ('long',):
  82. if sid in self.data[k]:
  83. idx,nonce = self.data[k][sid]
  84. return self.member_type(self,idx,nonce,length=k)
  85. def do_msg(subseed):
  86. if print_msg:
  87. qmsg('{} {} ({}:{})'.format(
  88. green('Found subseed'),
  89. subseed.sid.hl(),
  90. self.parent_seed.sid.hl(),
  91. subseed.ss_idx.hl(),
  92. ))
  93. if last_idx == None:
  94. last_idx = g.subseeds
  95. subseed = get_existing_subseed_by_seed_id(sid)
  96. if subseed:
  97. do_msg(subseed)
  98. return subseed
  99. if len(self) >= last_idx:
  100. return None
  101. self._generate(last_idx,last_sid=sid)
  102. subseed = get_existing_subseed_by_seed_id(sid)
  103. if subseed:
  104. do_msg(subseed)
  105. return subseed
  106. def _collision_debug_msg(self,sid,idx,nonce,nonce_desc='nonce',debug_last_share=False):
  107. slen = 'short' if sid in self.data['short'] else 'long'
  108. m1 = f'add_subseed(idx={idx},{slen}):'
  109. if sid == self.parent_seed.sid:
  110. m2 = f'collision with parent Seed ID {sid},'
  111. else:
  112. if debug_last_share:
  113. sl = self.debug_last_share_sid_len
  114. colliding_idx = [d[:sl] for d in self.data[slen].keys].index(sid[:sl]) + 1
  115. sid = sid[:sl]
  116. else:
  117. colliding_idx = self.data[slen][sid][0]
  118. m2 = f'collision with ID {sid} (idx={colliding_idx},{slen}),'
  119. msg(f'{m1:30} {m2:46} incrementing {nonce_desc} to {nonce+1}')
  120. def _generate(self,last_idx=None,last_sid=None):
  121. if last_idx == None:
  122. last_idx = g.subseeds
  123. first_idx = len(self) + 1
  124. if first_idx > last_idx:
  125. return None
  126. if last_sid != None:
  127. last_sid = SeedID(sid=last_sid)
  128. def add_subseed(idx,length):
  129. for nonce in range(self.nonce_start,self.member_type.max_nonce+1): # handle SeedID collisions
  130. sid = make_chksum_8(self.member_type.make_subseed_bin(self,idx,nonce,length))
  131. if sid in self.data['long'] or sid in self.data['short'] or sid == self.parent_seed.sid:
  132. if g.debug_subseed: # should get ≈450 collisions for first 1,000,000 subseeds
  133. self._collision_debug_msg(sid,idx,nonce)
  134. else:
  135. self.data[length][sid] = (idx,nonce)
  136. return last_sid == sid
  137. else: # must exit here, as this could leave self.data in inconsistent state
  138. raise SubSeedNonceRangeExceeded('add_subseed(): nonce range exceeded')
  139. for idx in SubSeedIdxRange(first_idx,last_idx).iterate():
  140. match1 = add_subseed(idx,'long')
  141. match2 = add_subseed(idx,'short') if self.have_short else False
  142. if match1 or match2:
  143. break
  144. def format(self,first_idx,last_idx):
  145. r = SubSeedIdxRange(first_idx,last_idx)
  146. if len(self) < last_idx:
  147. self._generate(last_idx)
  148. fs1 = '{:>18} {:>18}\n'
  149. fs2 = '{i:>7}L: {:8} {i:>7}S: {:8}\n'
  150. hdr = f' Parent Seed: {self.parent_seed.sid.hl()} ({self.parent_seed.bitlen} bits)\n\n'
  151. hdr += fs1.format('Long Subseeds','Short Subseeds')
  152. hdr += fs1.format('-------------','--------------')
  153. sl = self.data['long'].keys
  154. ss = self.data['short'].keys
  155. body = (fs2.format( sl[n-1], ss[n-1], i=n ) for n in r.iterate())
  156. return hdr + ''.join(body)
  157. class Seed(SeedBase):
  158. def __init__(self,seed_bin=None):
  159. self.subseeds = SubSeedList(self)
  160. SeedBase.__init__(self,seed_bin=seed_bin)
  161. def subseed(self,ss_idx_in,print_msg=False):
  162. return self.subseeds.get_subseed_by_ss_idx(ss_idx_in,print_msg=print_msg)
  163. def subseed_by_seed_id(self,sid,last_idx=None,print_msg=False):
  164. return self.subseeds.get_subseed_by_seed_id(sid,last_idx=last_idx,print_msg=print_msg)
  165. def split(self,count,id_str=None,master_idx=None):
  166. return SeedShareList(self,count,id_str,master_idx)
  167. @staticmethod
  168. def join_shares(seed_list,master_idx=None,id_str=None):
  169. if not hasattr(seed_list,'__next__'): # seed_list can be iterator or iterable
  170. seed_list = iter(seed_list)
  171. class d(object):
  172. byte_len,ret,count = None,0,0
  173. def add_share(ss):
  174. if d.byte_len:
  175. assert ss.byte_len == d.byte_len, f'Seed length mismatch! {ss.byte_len} != {d.byte_len}'
  176. else:
  177. d.byte_len = ss.byte_len
  178. d.ret ^= int(ss.data.hex(),16)
  179. d.count += 1
  180. if master_idx:
  181. master_share = next(seed_list)
  182. for ss in seed_list:
  183. add_share(ss)
  184. if master_idx:
  185. add_share(SeedShareMasterJoining(master_idx,master_share,id_str,d.count+1).derived_seed)
  186. SeedShareCount(d.count)
  187. return Seed(seed_bin=d.ret.to_bytes(d.byte_len,'big'))
  188. class SubSeed(SeedBase):
  189. idx = ImmutableAttr(int,typeconv=False)
  190. nonce = ImmutableAttr(int,typeconv=False)
  191. ss_idx = ImmutableAttr(SubSeedIdx)
  192. max_nonce = 1000
  193. def __init__(self,parent_list,idx,nonce,length):
  194. self.idx = idx
  195. self.nonce = nonce
  196. self.ss_idx = str(idx) + { 'long': 'L', 'short': 'S' }[length]
  197. self.parent_list = parent_list
  198. SeedBase.__init__(self,seed_bin=type(self).make_subseed_bin(parent_list,idx,nonce,length))
  199. @staticmethod
  200. def make_subseed_bin(parent_list,idx:int,nonce:int,length:str):
  201. seed = parent_list.parent_seed
  202. short = { 'short': True, 'long': False }[length]
  203. # field maximums: idx: 4294967295 (1000000), nonce: 65535 (1000), short: 255 (1)
  204. scramble_key = idx.to_bytes(4,'big') + nonce.to_bytes(2,'big') + short.to_bytes(1,'big')
  205. return scramble_seed(seed.data,scramble_key)[:16 if short else seed.byte_len]
  206. class SeedShareList(SubSeedList):
  207. have_short = False
  208. split_type = 'N-of-N'
  209. count = ImmutableAttr(SeedShareCount)
  210. id_str = ImmutableAttr(SeedSplitIDString)
  211. def __init__(self,parent_seed,count,id_str=None,master_idx=None,debug_last_share=False):
  212. self.member_type = SeedShare
  213. self.parent_seed = parent_seed
  214. self.id_str = id_str or 'default'
  215. self.count = count
  216. def make_master_share():
  217. for nonce in range(SeedShare.max_nonce+1):
  218. ms = SeedShareMaster(self,master_idx,nonce)
  219. if ms.sid == parent_seed.sid:
  220. if g.debug_subseed:
  221. msg(f'master_share seed ID collision with parent seed, incrementing nonce to {nonce+1}')
  222. else:
  223. return ms
  224. raise SubSeedNonceRangeExceeded('nonce range exceeded')
  225. def last_share_debug(last_share):
  226. if not debug_last_share:
  227. return False
  228. sid_len = self.debug_last_share_sid_len
  229. lsid = last_share.sid[:sid_len]
  230. psid = parent_seed.sid[:sid_len]
  231. ssids = [d[:sid_len] for d in self.data['long'].keys]
  232. return (lsid in ssids or lsid == psid)
  233. self.master_share = make_master_share() if master_idx else None
  234. for nonce in range(SeedShare.max_nonce+1):
  235. self.nonce_start = nonce
  236. self.data = { 'long': IndexedDict(), 'short': IndexedDict() } # 'short' is required as a placeholder
  237. if self.master_share:
  238. self.data['long'][self.master_share.sid] = (1,self.master_share.nonce)
  239. self._generate(count-1)
  240. self.last_share = ls = SeedShareLast(self)
  241. if last_share_debug(ls) or ls.sid in self.data['long'] or ls.sid == parent_seed.sid:
  242. # collision: throw out entire split list and redo with new start nonce
  243. if g.debug_subseed:
  244. self._collision_debug_msg(ls.sid,count,nonce,'nonce_start',debug_last_share)
  245. else:
  246. self.data['long'][ls.sid] = (count,nonce)
  247. break
  248. else:
  249. raise SubSeedNonceRangeExceeded('nonce range exceeded')
  250. if g.debug_subseed:
  251. A = parent_seed.data
  252. B = self.join().data
  253. assert A == B, f'Data mismatch!\noriginal seed: {A!r}\nrejoined seed: {B!r}'
  254. def get_share_by_idx(self,idx,base_seed=False):
  255. if idx < 1 or idx > self.count:
  256. raise RangeError(f'{idx}: share index out of range')
  257. elif idx == self.count:
  258. return self.last_share
  259. elif self.master_share and idx == 1:
  260. return self.master_share if base_seed else self.master_share.derived_seed
  261. else:
  262. ss_idx = SubSeedIdx(str(idx) + 'L')
  263. return self.get_subseed_by_ss_idx(ss_idx)
  264. def get_share_by_seed_id(self,sid,base_seed=False):
  265. if sid == self.data['long'].key(self.count-1):
  266. return self.last_share
  267. elif self.master_share and sid == self.data['long'].key(0):
  268. return self.master_share if base_seed else self.master_share.derived_seed
  269. else:
  270. return self.get_subseed_by_seed_id(sid)
  271. def join(self):
  272. return Seed.join_shares(self.get_share_by_idx(i+1) for i in range(len(self)))
  273. def format(self):
  274. assert self.split_type == 'N-of-N'
  275. fs1 = ' {}\n'
  276. fs2 = '{i:>5}: {}\n'
  277. mfs1,mfs2,midx,msid = ('','','','')
  278. if self.master_share:
  279. mfs1,mfs2 = (' with master share #{} ({})',' (master share #{})')
  280. midx,msid = (self.master_share.idx,self.master_share.sid)
  281. hdr = ' {} {} ({} bits)\n'.format('Seed:',self.parent_seed.sid.hl(),self.parent_seed.bitlen)
  282. hdr += ' {} {c}-of-{c} (XOR){m}\n'.format('Split Type:',c=self.count,m=mfs1.format(midx,msid))
  283. hdr += ' {} {}\n\n'.format('ID String:',self.id_str.hl())
  284. hdr += fs1.format('Shares')
  285. hdr += fs1.format('------')
  286. sl = self.data['long'].keys
  287. body1 = fs2.format(sl[0]+mfs2.format(midx),i=1)
  288. body = (fs2.format(sl[n],i=n+1) for n in range(1,len(self)))
  289. return hdr + body1 + ''.join(body)
  290. class SeedShareBase(MMGenObject):
  291. @property
  292. def fn_stem(self):
  293. pl = self.parent_list
  294. msdata = f'_with_master{pl.master_share.idx}' if pl.master_share else ''
  295. return '{}-{}-{}of{}{}[{}]'.format(
  296. pl.parent_seed.sid,
  297. pl.id_str,
  298. self.idx,
  299. pl.count,
  300. msdata,
  301. self.sid)
  302. @property
  303. def desc(self):
  304. return self.get_desc()
  305. def get_desc(self,ui=False):
  306. pl = self.parent_list
  307. mss = f', with master share #{pl.master_share.idx}' if pl.master_share else ''
  308. if ui:
  309. m = ( yellow("(share {} of {} of ")
  310. + pl.parent_seed.sid.hl()
  311. + yellow(', split id ')
  312. + pl.id_str.hl(encl="''")
  313. + yellow('{})') )
  314. else:
  315. m = "share {} of {} of " + pl.parent_seed.sid + ", split id '" + pl.id_str + "'{}"
  316. return m.format(self.idx,pl.count,mss)
  317. class SeedShare(SeedShareBase,SubSeed):
  318. @staticmethod
  319. def make_subseed_bin(parent_list,idx:int,nonce:int,length:str):
  320. seed = parent_list.parent_seed
  321. assert parent_list.have_short == False
  322. assert length == 'long'
  323. # field maximums: id_str: none (256 chars), count: 65535 (1024), idx: 65535 (1024), nonce: 65535 (1000)
  324. scramble_key = (
  325. f'{parent_list.split_type}:{parent_list.id_str}:'.encode() +
  326. parent_list.count.to_bytes(2,'big') +
  327. idx.to_bytes(2,'big') +
  328. nonce.to_bytes(2,'big')
  329. )
  330. if parent_list.master_share:
  331. scramble_key += (
  332. b':master:' +
  333. parent_list.master_share.idx.to_bytes(2,'big')
  334. )
  335. return scramble_seed(seed.data,scramble_key)[:seed.byte_len]
  336. class SeedShareLast(SeedShareBase,SeedBase):
  337. idx = ImmutableAttr(SeedShareIdx)
  338. nonce = 0
  339. def __init__(self,parent_list):
  340. self.idx = parent_list.count
  341. self.parent_list = parent_list
  342. SeedBase.__init__(self,seed_bin=self.make_subseed_bin(parent_list))
  343. @staticmethod
  344. def make_subseed_bin(parent_list):
  345. seed_list = (parent_list.get_share_by_idx(i+1) for i in range(len(parent_list)))
  346. seed = parent_list.parent_seed
  347. ret = int(seed.data.hex(),16)
  348. for ss in seed_list:
  349. ret ^= int(ss.data.hex(),16)
  350. return ret.to_bytes(seed.byte_len,'big')
  351. class SeedShareMaster(SeedBase,SeedShareBase):
  352. idx = ImmutableAttr(MasterShareIdx)
  353. nonce = ImmutableAttr(int,typeconv=False)
  354. def __init__(self,parent_list,idx,nonce):
  355. self.idx = idx
  356. self.nonce = nonce
  357. self.parent_list = parent_list
  358. SeedBase.__init__(self,self.make_base_seed_bin())
  359. self.derived_seed = SeedBase(self.make_derived_seed_bin(parent_list.id_str,parent_list.count))
  360. @property
  361. def fn_stem(self):
  362. return '{}-MASTER{}[{}]'.format(
  363. self.parent_list.parent_seed.sid,
  364. self.idx,
  365. self.sid )
  366. def make_base_seed_bin(self):
  367. seed = self.parent_list.parent_seed
  368. # field maximums: idx: 65535 (1024)
  369. scramble_key = b'master_share:' + self.idx.to_bytes(2,'big') + self.nonce.to_bytes(2,'big')
  370. return scramble_seed(seed.data,scramble_key)[:seed.byte_len]
  371. # Don't bother with avoiding seed ID collision here, as sid of derived seed is not used
  372. # by user as an identifier
  373. def make_derived_seed_bin(self,id_str,count):
  374. # field maximums: id_str: none (256 chars), count: 65535 (1024)
  375. scramble_key = id_str.encode() + b':' + count.to_bytes(2,'big')
  376. return scramble_seed(self.data,scramble_key)[:self.byte_len]
  377. def get_desc(self,ui=False):
  378. psid = self.parent_list.parent_seed.sid
  379. mss = f'master share #{self.idx} of '
  380. return yellow('(' + mss) + psid.hl() + yellow(')') if ui else mss + psid
  381. class SeedShareMasterJoining(SeedShareMaster):
  382. id_str = ImmutableAttr(SeedSplitIDString)
  383. count = ImmutableAttr(SeedShareCount)
  384. def __init__(self,idx,base_seed,id_str,count):
  385. SeedBase.__init__(self,seed_bin=base_seed.data)
  386. self.id_str = id_str or 'default'
  387. self.count = count
  388. self.derived_seed = SeedBase(self.make_derived_seed_bin(self.id_str,self.count))