seedsplit.py 9.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310
  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. seedsplit.py: Seed split classes and methods for the MMGen suite
  20. """
  21. from .globalvars import g
  22. from .color import yellow
  23. from .exception import RangeError
  24. from .obj import MMGenPWIDString,MMGenIdx
  25. from .subseed import *
  26. class SeedShareIdx(MMGenIdx):
  27. max_val = 1024
  28. class SeedShareCount(SeedShareIdx):
  29. min_val = 2
  30. class MasterShareIdx(MMGenIdx):
  31. max_val = 1024
  32. class SeedSplitSpecifier(str,Hilite,InitErrors,MMGenObject):
  33. color = 'red'
  34. def __new__(cls,s):
  35. if type(s) == cls:
  36. return s
  37. try:
  38. arr = s.split(':')
  39. assert len(arr) in (2,3), 'cannot be parsed'
  40. a,b,c = arr if len(arr) == 3 else ['default'] + arr
  41. me = str.__new__(cls,s)
  42. me.id = SeedSplitIDString(a)
  43. me.idx = SeedShareIdx(b)
  44. me.count = SeedShareCount(c)
  45. assert me.idx <= me.count, 'share index greater than share count'
  46. return me
  47. except Exception as e:
  48. return cls.init_fail(e,s)
  49. def is_seed_split_specifier(s):
  50. return get_obj( SeedSplitSpecifier, s=s, silent=True, return_bool=True )
  51. class SeedSplitIDString(MMGenPWIDString):
  52. desc = 'seed split ID string'
  53. class SeedShareList(SubSeedList):
  54. have_short = False
  55. split_type = 'N-of-N'
  56. count = ImmutableAttr(SeedShareCount)
  57. id_str = ImmutableAttr(SeedSplitIDString)
  58. def __init__(self,parent_seed,count,id_str=None,master_idx=None,debug_last_share=False):
  59. self.member_type = SeedShare
  60. self.parent_seed = parent_seed
  61. self.id_str = id_str or 'default'
  62. self.count = count
  63. self.len = 2 # placeholder, always overridden
  64. def make_master_share():
  65. for nonce in range(SeedShare.max_nonce+1):
  66. ms = SeedShareMaster(self,master_idx,nonce)
  67. if ms.sid == parent_seed.sid:
  68. if g.debug_subseed:
  69. msg(f'master_share seed ID collision with parent seed, incrementing nonce to {nonce+1}')
  70. else:
  71. return ms
  72. raise SubSeedNonceRangeExceeded('nonce range exceeded')
  73. def last_share_debug(last_share):
  74. if not debug_last_share:
  75. return False
  76. sid_len = self.debug_last_share_sid_len
  77. lsid = last_share.sid[:sid_len]
  78. psid = parent_seed.sid[:sid_len]
  79. ssids = [d[:sid_len] for d in self.data['long'].keys]
  80. return (lsid in ssids or lsid == psid)
  81. self.master_share = make_master_share() if master_idx else None
  82. for nonce in range(SeedShare.max_nonce+1):
  83. self.nonce_start = nonce
  84. self.data = { 'long': IndexedDict(), 'short': IndexedDict() } # 'short' is required as a placeholder
  85. if self.master_share:
  86. self.data['long'][self.master_share.sid] = (1,self.master_share.nonce)
  87. self._generate(count-1)
  88. self.last_share = ls = SeedShareLast(self)
  89. if last_share_debug(ls) or ls.sid in self.data['long'] or ls.sid == parent_seed.sid:
  90. # collision: throw out entire split list and redo with new start nonce
  91. if g.debug_subseed:
  92. self._collision_debug_msg(ls.sid,count,nonce,'nonce_start',debug_last_share)
  93. else:
  94. self.data['long'][ls.sid] = (count,nonce)
  95. break
  96. else:
  97. raise SubSeedNonceRangeExceeded('nonce range exceeded')
  98. if g.debug_subseed:
  99. A = parent_seed.data
  100. B = self.join().data
  101. assert A == B, f'Data mismatch!\noriginal seed: {A!r}\nrejoined seed: {B!r}'
  102. def get_share_by_idx(self,idx,base_seed=False):
  103. if idx < 1 or idx > self.count:
  104. raise RangeError(f'{idx}: share index out of range')
  105. elif idx == self.count:
  106. return self.last_share
  107. elif self.master_share and idx == 1:
  108. return self.master_share if base_seed else self.master_share.derived_seed
  109. else:
  110. ss_idx = SubSeedIdx(str(idx) + 'L')
  111. return self.get_subseed_by_ss_idx(ss_idx)
  112. def get_share_by_seed_id(self,sid,base_seed=False):
  113. if sid == self.data['long'].key(self.count-1):
  114. return self.last_share
  115. elif self.master_share and sid == self.data['long'].key(0):
  116. return self.master_share if base_seed else self.master_share.derived_seed
  117. else:
  118. return self.get_subseed_by_seed_id(sid)
  119. def join(self):
  120. return Seed.join_shares(self.get_share_by_idx(i+1) for i in range(len(self)))
  121. def format(self):
  122. assert self.split_type == 'N-of-N'
  123. fs1 = ' {}\n'
  124. fs2 = '{i:>5}: {}\n'
  125. mfs1,mfs2,midx,msid = ('','','','')
  126. if self.master_share:
  127. mfs1,mfs2 = (' with master share #{} ({})',' (master share #{})')
  128. midx,msid = (self.master_share.idx,self.master_share.sid)
  129. hdr = ' {} {} ({} bits)\n'.format('Seed:',self.parent_seed.sid.hl(),self.parent_seed.bitlen)
  130. hdr += ' {} {c}-of-{c} (XOR){m}\n'.format('Split Type:',c=self.count,m=mfs1.format(midx,msid))
  131. hdr += ' {} {}\n\n'.format('ID String:',self.id_str.hl())
  132. hdr += fs1.format('Shares')
  133. hdr += fs1.format('------')
  134. sl = self.data['long'].keys
  135. body1 = fs2.format(sl[0]+mfs2.format(midx),i=1)
  136. body = (fs2.format(sl[n],i=n+1) for n in range(1,len(self)))
  137. return hdr + body1 + ''.join(body)
  138. class SeedShareBase(MMGenObject):
  139. @property
  140. def fn_stem(self):
  141. pl = self.parent_list
  142. msdata = f'_with_master{pl.master_share.idx}' if pl.master_share else ''
  143. return '{}-{}-{}of{}{}[{}]'.format(
  144. pl.parent_seed.sid,
  145. pl.id_str,
  146. self.idx,
  147. pl.count,
  148. msdata,
  149. self.sid)
  150. @property
  151. def desc(self):
  152. return self.get_desc()
  153. def get_desc(self,ui=False):
  154. pl = self.parent_list
  155. mss = f', with master share #{pl.master_share.idx}' if pl.master_share else ''
  156. if ui:
  157. m = ( yellow("(share {} of {} of ")
  158. + pl.parent_seed.sid.hl()
  159. + yellow(', split id ')
  160. + pl.id_str.hl(encl="''")
  161. + yellow('{})') )
  162. else:
  163. m = "share {} of {} of " + pl.parent_seed.sid + ", split id '" + pl.id_str + "'{}"
  164. return m.format(self.idx,pl.count,mss)
  165. class SeedShare(SeedShareBase,SubSeed):
  166. @staticmethod
  167. def make_subseed_bin(parent_list,idx:int,nonce:int,length:str):
  168. seed = parent_list.parent_seed
  169. assert parent_list.have_short == False
  170. assert length == 'long'
  171. # field maximums: id_str: none (256 chars), count: 65535 (1024), idx: 65535 (1024), nonce: 65535 (1000)
  172. scramble_key = (
  173. f'{parent_list.split_type}:{parent_list.id_str}:'.encode() +
  174. parent_list.count.to_bytes(2,'big') +
  175. idx.to_bytes(2,'big') +
  176. nonce.to_bytes(2,'big')
  177. )
  178. if parent_list.master_share:
  179. scramble_key += (
  180. b':master:' +
  181. parent_list.master_share.idx.to_bytes(2,'big')
  182. )
  183. return scramble_seed(seed.data,scramble_key)[:seed.byte_len]
  184. class SeedShareLast(SeedShareBase,SeedBase):
  185. idx = ImmutableAttr(SeedShareIdx)
  186. nonce = 0
  187. def __init__(self,parent_list):
  188. self.idx = parent_list.count
  189. self.parent_list = parent_list
  190. SeedBase.__init__(self,seed_bin=self.make_subseed_bin(parent_list))
  191. @staticmethod
  192. def make_subseed_bin(parent_list):
  193. seed_list = (parent_list.get_share_by_idx(i+1) for i in range(len(parent_list)))
  194. seed = parent_list.parent_seed
  195. ret = int(seed.data.hex(),16)
  196. for ss in seed_list:
  197. ret ^= int(ss.data.hex(),16)
  198. return ret.to_bytes(seed.byte_len,'big')
  199. class SeedShareMaster(SeedBase,SeedShareBase):
  200. idx = ImmutableAttr(MasterShareIdx)
  201. nonce = ImmutableAttr(int,typeconv=False)
  202. def __init__(self,parent_list,idx,nonce):
  203. self.idx = idx
  204. self.nonce = nonce
  205. self.parent_list = parent_list
  206. SeedBase.__init__(self,self.make_base_seed_bin())
  207. self.derived_seed = SeedBase(self.make_derived_seed_bin(parent_list.id_str,parent_list.count))
  208. @property
  209. def fn_stem(self):
  210. return '{}-MASTER{}[{}]'.format(
  211. self.parent_list.parent_seed.sid,
  212. self.idx,
  213. self.sid )
  214. def make_base_seed_bin(self):
  215. seed = self.parent_list.parent_seed
  216. # field maximums: idx: 65535 (1024)
  217. scramble_key = b'master_share:' + self.idx.to_bytes(2,'big') + self.nonce.to_bytes(2,'big')
  218. return scramble_seed(seed.data,scramble_key)[:seed.byte_len]
  219. # Don't bother with avoiding seed ID collision here, as sid of derived seed is not used
  220. # by user as an identifier
  221. def make_derived_seed_bin(self,id_str,count):
  222. # field maximums: id_str: none (256 chars), count: 65535 (1024)
  223. scramble_key = id_str.encode() + b':' + count.to_bytes(2,'big')
  224. return scramble_seed(self.data,scramble_key)[:self.byte_len]
  225. def get_desc(self,ui=False):
  226. psid = self.parent_list.parent_seed.sid
  227. mss = f'master share #{self.idx} of '
  228. return yellow('(' + mss) + psid.hl() + yellow(')') if ui else mss + psid
  229. class SeedShareMasterJoining(SeedShareMaster):
  230. id_str = ImmutableAttr(SeedSplitIDString)
  231. count = ImmutableAttr(SeedShareCount)
  232. def __init__(self,idx,base_seed,id_str,count):
  233. SeedBase.__init__(self,seed_bin=base_seed.data)
  234. self.id_str = id_str or 'default'
  235. self.count = count
  236. self.derived_seed = SeedBase(self.make_derived_seed_bin(self.id_str,self.count))
  237. def join_shares(seed_list,master_idx=None,id_str=None):
  238. if not hasattr(seed_list,'__next__'): # seed_list can be iterator or iterable
  239. seed_list = iter(seed_list)
  240. class d(object):
  241. byte_len,ret,count = None,0,0
  242. def add_share(ss):
  243. if d.byte_len:
  244. assert ss.byte_len == d.byte_len, f'Seed length mismatch! {ss.byte_len} != {d.byte_len}'
  245. else:
  246. d.byte_len = ss.byte_len
  247. d.ret ^= int(ss.data.hex(),16)
  248. d.count += 1
  249. if master_idx:
  250. master_share = next(seed_list)
  251. for ss in seed_list:
  252. add_share(ss)
  253. if master_idx:
  254. add_share(SeedShareMasterJoining(master_idx,master_share,id_str,d.count+1).derived_seed)
  255. SeedShareCount(d.count)
  256. return Seed(seed_bin=d.ret.to_bytes(d.byte_len,'big'))