def verify(SIG, m, W): HM = BLS_H(m) D = ECp() D.fromBytes(SIG) if D.isinf() : return False if not (curve.r*D).isinf() : return False D = -D PK = ECp2() PK.fromBytes(W) # Use new multi-pairing mechanism r = pair.initmp() pair.another_pc(r, G2_TAB, D) pair.another(r, PK, HM) v = pair.miller(r) #.. or alternatively # G=ecp2.generator() # if G.isinf() : # return False # v = pair.double_ate(G, D, PK, HM) v = pair.fexp(v) if v.isone(): return True return False
def server(ID, Y, SS, U, V): P = H(ID) y = big.from_bytes(Y) Q = ecp2.generator() P = y * P sQ = ECp2() if not sQ.fromBytes(SS): return (False, Fp12(), Fp12()) TU = ECp() if not TU.fromBytes(U): return (False, bytearray(0), bytearray(0)) TV = ECp() if not TV.fromBytes(V): return (False, bytearray(0), bytearray(0)) TU.add(P) # TU.affine() r = pair.double_ate(Q, TV, sQ, TU) r = pair.fexp(r) if r.isone(): return (True, bytearray(0), bytearray(0)) # failed - diagnose it E = r.toBytes() r = pair.e(Q, TU) F = r.toBytes() return (False, E, F)
def verify(SIG,m,W): HM=BLS_H(m) G=ecp2.generator() D=ECp() D.fromBytes(SIG) PK=ECp2() PK.fromBytes(W) D=-D # Use new multi-pairing mechanism r=pair.initmp() pair.another(r,G,D) pair.another(r,PK,HM) v=pair.miller(r) #.. or alternatively # v = pair.double_ate(G, D, PK, HM) v = pair.fexp(v) if v.isone(): return True return False
def verify(SIG, m, W): HM = BLS_H(m) G = ecp2.generator() D = ECp() D.fromBytes(SIG) PK = ECp2() PK.fromBytes(W) D = -D # Use new multi-pairing mechanism r = pair.initmp() pair.another(r, G, D) pair.another(r, PK, HM) v = pair.miller(r) #.. or alternatively # v = pair.double_ate(G, D, PK, HM) v = pair.fexp(v) if v.isone(): return True return False