def __init__(self, sig: bytes = bytes()) -> None: self.value: G1Obj = G1Obj() if len(sig) == 0: MilagroPairing.ECP_BLS381_inf(byref(self.value)) return g: Tuple[bool, bool, bool, Big384] = parse(sig) if g[0] != g[1]: raise Exception("Infinite flag set improperly.") if g[0]: MilagroPairing.ECP_BLS381_inf(byref(self.value)) return if MilagroPairing.ECP_BLS381_setx(byref(self.value), g[3], 0) != 1: raise Exception("Invalid G1.") yNeg: FP1Obj = FP1Obj() MilagroPairing.FP_BLS381_neg(byref(yNeg), byref(self.value.y)) a: Big384 = Big384() b: Big384 = Big384() MilagroCurve.FP_BLS381_redc(a, byref(self.value.y)) MilagroCurve.FP_BLS381_redc(b, byref(yNeg)) if (MilagroCurve.BIG_384_58_comp(a, b) == 1) != g[2]: if MilagroPairing.ECP_BLS381_setx(byref(self.value), g[3], 1) != 1: raise Exception("Setting a proven valid X failed.")
def __init__(self, key: bytes = bytes()) -> None: self.value: G2Obj = G2Obj() if len(key) == 0: MilagroPairing.ECP2_BLS381_inf(byref(self.value)) return if len(key) != 96: raise Exception("Invalid length Public Key.") if key[48] != (key[48] & CLEAR_FLAGS): raise Exception("G2's second G has flags set.") g1: Tuple[bool, bool, bool, Big384] = parse(key[0:48]) g2: Tuple[bool, bool, bool, Big384] = parse(key[48:96], True) if g1[0] != (g1[1] & g2[1]): raise Exception("Infinite flag set improperly.") if g1[0]: MilagroPairing.ECP2_BLS381_inf(byref(self.value)) return x: FP2Obj = FP2Obj() MilagroPairing.FP2_BLS381_from_BIGs(byref(x), g2[3], g1[3]) if MilagroPairing.ECP2_BLS381_setx(byref(self.value), byref(x)) == 0: raise Exception("Invalid G2.") yNeg: FP2Obj = FP2Obj() cmpRes: int MilagroPairing.FP2_BLS381_neg(byref(yNeg), byref(self.value.y)) a: Big384 = Big384() b: Big384 = Big384() MilagroCurve.FP_BLS381_redc(a, byref(self.value.y.b)) MilagroCurve.FP_BLS381_redc(b, byref(yNeg.b)) cmpRes = MilagroCurve.BIG_384_58_comp(a, b) if cmpRes == 0: MilagroCurve.FP_BLS381_redc(a, byref(self.value.y.a)) MilagroCurve.FP_BLS381_redc(b, byref(yNeg.a)) cmpRes = MilagroCurve.BIG_384_58_comp(a, b) if (cmpRes == 1) != g1[2]: self.value.y = yNeg
def serialize(self) -> bytes: yNeg: FP2Obj = FP2Obj() cmpRes: int MilagroPairing.FP2_BLS381_neg(byref(yNeg), byref(self.value.y)) a: Big384 = Big384() b: Big384 = Big384() MilagroCurve.FP_BLS381_redc(a, byref(self.value.y.b)) MilagroCurve.FP_BLS381_redc(b, byref(yNeg.b)) cmpRes = MilagroCurve.BIG_384_58_comp(a, b) if cmpRes == 0: MilagroCurve.FP_BLS381_redc(a, byref(self.value.y.a)) MilagroCurve.FP_BLS381_redc(b, byref(yNeg.a)) cmpRes = MilagroCurve.BIG_384_58_comp(a, b) MilagroCurve.FP_BLS381_redc(a, byref(self.value.x.a)) MilagroCurve.FP_BLS381_redc(b, byref(self.value.x.b)) result: bytearray = serialize(b, cmpRes == 1) result += serialize(a, False) result[48] = result[48] & CLEAR_FLAGS return bytes(result)