ec_share.sage 3.0 KB

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