share.sage 3.3 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980
  1. load('pedersen.sage')
  2. load('ec_share.sage')
  3. def open_2pc(party0_share, party1_share):
  4. return party0_share + party1_share
  5. def verify_2pc_mac_check(party0_mac, party1_mac):
  6. assert party0_mac+party1_mac == 0
  7. global_key = random.randint(0, p)
  8. class AuthenticatedShare(object):
  9. """
  10. additive share
  11. """
  12. def __init__(self, share, mac=None, modifier=None):
  13. self.share = share
  14. self.mac = global_key * self.share if mac==None else mac
  15. self.public_modifier = 0 if modifier == None else modifier # carry out extra addition/subtraction by public scalars until opening
  16. def __repr__(self):
  17. return "share: %s, mac: %s"%(self.share, self.mac)
  18. # SPDZ mac authentication
  19. def authenticated_open(self, peer_authenticated_share):
  20. opened_share = open_2pc(self.share, peer_authenticated_share.share)
  21. mac_key = random.randint(0,global_key)
  22. mac_share = mac_key * (opened_share + self.public_modifier) - self.mac
  23. peer_mac_key = global_key - mac_key
  24. peer_mac_share = peer_mac_key * (opened_share + peer_authenticated_share.public_modifier) - peer_authenticated_share.mac
  25. assert (mac_share + peer_mac_share) == 0
  26. return opened_share
  27. def sub_scalar(self, scalar, party_id):
  28. return AuthenticatedShare(self.share - scalar, self.mac, self.public_modifier + scalar) if party_id == 0 else AuthenticatedShare(self.share , self.mac, self.public_modifier + scalar)
  29. def add_scalar(self, scalar, party_id):
  30. return AuthenticatedShare(self.share + scalar, self.mac , self.public_modifier - scalar) if party_id ==0 else AuthenticatedShare(self.share, self.mac, self.public_modifier - scalar)
  31. def mul_scalar(self, scalar):
  32. return AuthenticatedShare(self.share * scalar, self.mac * scalar, self.public_modifier * scalar)
  33. def mul_point(self, point):
  34. return ECAuthenticatedShare(self.share * point, self.mac * point, self.public_modifier * point)
  35. def __add__(self, rhs):
  36. '''
  37. add additive shares
  38. '''
  39. return AuthenticatedShare(self.share + rhs.share, self.mac + rhs.mac, self.public_modifier + rhs.public_modifier)
  40. def __sub__(self, rhs):
  41. '''
  42. sub additive shares
  43. '''
  44. return AuthenticatedShare(self.share - rhs.share, self.mac - rhs.mac, self.public_modifier - rhs.public_modifier)
  45. class MultiplicationAuthenticatedShares(object):
  46. def __init__(self, alpha, beta, triplet, party_id):
  47. # authenticated shares
  48. self.alpha_as = alpha
  49. self.beta_as = beta
  50. self.a_as = triplet[0]
  51. self.b_as = triplet[1]
  52. self.c_as = triplet[2]
  53. self.party_id = party_id
  54. def __mul__(self, peer_share):
  55. masked_d_share = self.alpha_as - self.a_as
  56. peer_masked_d_share = peer_share.alpha_as - peer_share.a_as
  57. d = open_2pc(masked_d_share.share, peer_masked_d_share.share)
  58. masked_e_share = self.beta_as - self.b_as
  59. peer_masked_e_share = peer_share.beta_as - peer_share.b_as
  60. e = open_2pc(masked_e_share.share, peer_masked_e_share.share)
  61. return (self.b_as.mul_scalar(d) + self.a_as.mul_scalar(e) + self.c_as).add_scalar(d*e, self.party_id)