Exemple #1
0
    def getVerifyCoefficientForPlayer(self, groupId, hiddenEvals, hiddenPolys,
                                      fromOrdinal, toOrdinal):

        # get the coefficients that 'from' player sent to all, where 'from' and 'to' are ordinals
        resCoeffEC = None
        multplier = toOrdinal
        multplierBN = Nakasendo.BigNum(str(toOrdinal), self.modulo)
        toOrdinalBN = Nakasendo.BigNum(str(toOrdinal), self.modulo)

        encryptedCoeffs = hiddenPolys[fromOrdinal]
        resCoeffEC = Player.getECPoint(encryptedCoeffs[0])
        for coeff in encryptedCoeffs[1:]:
            coeffEC = Player.getECPoint(coeff)
            labelTimesPoints = coeffEC.multipleScalar(multplierBN)
            resCoeffEC = resCoeffEC + labelTimesPoints
            multplierBN = multplierBN * toOrdinalBN

        for ofOrdinal, pubPoly in hiddenEvals[fromOrdinal].items():
            pubPoly = Player.getECPoint(pubPoly)
            if (ofOrdinal == toOrdinal):
                if (pubPoly == resCoeffEC):
                    return True
                else:
                    return False

        return False
Exemple #2
0
def test_InitFromListHex():

    for x in range(10, 20):

        fx = Nakasendo.BigNum().value
        modulo = str(randint(1000, 100000))
        listCoefficients = []

        for i in range(x):
            # Generate random coefficients for the polynomial
            listCoefficients.append(Nakasendo.BigNum().value)

        # create a Polynomial from a list of coefficients
        allCoeffeicient = Nakasendo.Polynomial.initFromListHex(
            listCoefficients)
        assert len(allCoeffeicient.coefficients) == x, "Test failed"

        # Calling evaluate polynomial function
        allCoeffeicient.modulo = modulo
        polynomial_EvaluateFX = allCoeffeicient(fx)

        # convert list of coefficients from string to decimal
        lst = []
        for i in (allCoeffeicient.coefficients):
            lst.append(int(i, 16))

        fx = int(fx, 16)
        modulo = int(modulo, 16)
        actualValue = polynomial_evaluate(lst, fx, modulo)
        assert polynomial_EvaluateFX.lstrip("0") == hex(
            actualValue).upper().lstrip("0X"), "Test failed"
Exemple #3
0
    def polynomialPreCalculation(self, poly, mod, ordinal):

        self.transientData.reset()

        # evaluate polynomial for own ordinal
        # polynomial is set to Hex, so convert the ordinal to hex string
        self.transientData.f_x = poly(str(ordinal))
        bignum = Nakasendo.BigNum(self.transientData.f_x, mod)
        self.transientData.hiddenEvals[self.ordinal] = \
            str(Nakasendo.ECPoint().GetGeneratorPoint().multipleScalar(bignum))

        # evaluate polynomials for the group ordinals
        for ord in self.ordinalList:
            self.transientData.evals[ord[0]] = poly(str(ord[0]))
            bignum = Nakasendo.BigNum(self.transientData.evals[ord[0]], mod)
            self.transientData.hiddenEvals[ord[0]] = \
                str(Nakasendo.ECPoint().GetGeneratorPoint().multipleScalar(bignum))

        # hide own polynomial using generator point
        GEN = Nakasendo.ECPoint()
        GENPOINT = GEN.GetGeneratorPoint()

        for index in poly.coefficients:
            bignum = Nakasendo.BigNum(index, mod)
            res = GENPOINT.multipleScalar(bignum)
            self.transientData.hiddenPolynomial.append(res.value)
Exemple #4
0
    def sign(self, groupId, message, signatureData):

        group = self.groups[groupId]
        self.ptw(
            "Player.sign: groupId = {0}, message = {1}, signatureData = {2}\n".
            format(groupId, message, signatureData))

        # convert dictionary to list of points
        points = list(signatureData.items())
        interpolator = Nakasendo.LGInterpolator \
            ( points, Player.modulo, decimal=False)

        s_at_zero = interpolator('0')

        #DER format
        mod_bn = Nakasendo.BigNum(Player.modulo, Player.modulo)

        TWO = Nakasendo.BigNum('2', Player.modulo, isDec=False)
        modDivByTwo = mod_bn / TWO
        canonizedInteropolated_s = s_at_zero

        if (s_at_zero > modDivByTwo):

            canonizedInteropolated_s = mod_bn - s_at_zero

        DerFormatSig = Nakasendo.createDERFormat(group.signer_r,
                                                 canonizedInteropolated_s)

        mySignature = [group.signer_r, s_at_zero]

        self.ptw("DER formatted signature = {0}, signature = {1}"\
            .format(DerFormatSig,mySignature ))
        return mySignature
Exemple #5
0
def DerivePubKey(Players, modulo=None, isDec=False):
    #Multiply the zero element by G and add them up
    #secretKeys = []
    secret = Nakasendo.BigNum(Players[0].polynomial.coefficients[0], modulo,
                              isDec)
    for i in range(1, len(Players)):
        secret = secret + Nakasendo.BigNum(
            Players[i].polynomial.coefficients[0], modulo, isDec)
    return secret
Exemple #6
0
def HashMsg(msg, modulo=None, IsDec=False):
    HASHMSG = Nakasendo.hash256(msg)
    if (IsDec):
        Hm = Nakasendo.BigNum(str(int(HASHMSG.value, 16)),
                              modulo.value,
                              isDec=True)
    else:
        Hm = Nakasendo.BigNum(HASHMSG.value, modulo.value, isDec=False)
    return Hm
Exemple #7
0
def __calc_matrix_sum_col(matrix, modulo=None, dec=False):
    vect_sum_col = []
    for i in range(len(matrix[0])):
        bn = Nakasendo.BigNum('0', modulo, dec)
        bn.isDec = dec
        vect_sum_col.append(bn)

    for row_i in matrix:
        for j in range(len(row_i)):
            x_ij = Nakasendo.BigNum(row_i[j], modulo, isDec=dec)
            vect_sum_col[j] = vect_sum_col[j] + x_ij
    return vect_sum_col
Exemple #8
0
    def createSecret(self, groupId, calcType, hiddenPolys, hiddenEvals):

        self.ptw("creating a secret....")
        group = self.groups[groupId]

        group.transientData.allHiddenPolynomials = hiddenPolys

        result = group.transientData.sumOfEvals
        if calcType == 'PRIVATEKEYSHARE':
            group.privateKeyShare = result
            group.publicKeyShare = group.createPublicKey()
        elif calcType == 'LITTLEK':
            group.littleK = result
        elif calcType == 'ALPHA':
            group.alpha = result
        else:
            msg = "Player:createSecret.calcType is not recognised: {0}".format(
                calcType)
            self.ptw(msg)
            raise PlayerError(msg)

        self.verificationOfHonesty(groupId, hiddenEvals, hiddenPolys)
        self.verifyCorrectness(groupId, hiddenEvals, hiddenPolys)

        # reset evals
        group.transientData.evalCounter = 0
        group.transientData.sumOfEvals = Nakasendo.BigNum('0', Player.modulo)
        return groupId, result
Exemple #9
0
def test_InitFromListModuloHex():

    for x in range(10, 20):
        modHex = "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141"
        fx = Nakasendo.BigNum().value
        degree = randint(10, 15)

        # create a random polynomial
        listCoefficients = Nakasendo.Polynomial.initRandomHex(degree, modHex)
        assert len(listCoefficients.coefficients) == (degree +
                                                      1), "Test failed"

        # create a Polynomial from a list of coefficient with modulo
        coefficientsWithModulo = Nakasendo.Polynomial.initFromListModuloHex(
            listCoefficients.coefficients, modHex)
        assert len(
            coefficientsWithModulo.coefficients) == degree + 1, "Test failed"

        # calling evaluate polynomial function
        polynomial_EvaluateFX = coefficientsWithModulo(fx)

        # convert list of coefficients from string to decimal
        lst = []
        for i in (coefficientsWithModulo.coefficients):
            lst.append(int(i, 16))

        fx = int(fx, 16)
        modulo = int(modHex, 16)
        actualValue = polynomial_evaluate(lst, fx, modulo)
        assert polynomial_EvaluateFX.lstrip("0") == hex(
            actualValue).upper().lstrip("0X"), "Test failed"
Exemple #10
0
def test_RandomPolynomialMinMaxHex():

    for x in range(10):
        fx = Nakasendo.BigNum().value
        degree = randint(10, 15)
        modulo = hex(randint(10000, 1000000)).lstrip("0x")
        min = hex(randint(10000, 10000000)).lstrip("0x")
        max = hex(randint(10000001, 100000000)).lstrip("0x")

        # create a random polynomial with range of min..max
        listCoefficients = Nakasendo.Polynomial.initRandomMinMaxHex(
            degree, modulo, min, max)
        assert len(listCoefficients.coefficients) == (degree +
                                                      1), "Test failed"

        # calling evaluate polynomial function
        polynomial_EvaluateFX = listCoefficients(fx)

        # convert list of coefficients from string to decimal
        lst = []
        for i in (listCoefficients.coefficients):
            lst.append(int(i, 16))

        fx = int(fx, 16)
        modulo = int(modulo, 16)
        actualValue = polynomial_evaluate(lst, fx, modulo)
        assert polynomial_EvaluateFX.lstrip("0") == hex(
            actualValue).upper().lstrip("0X"), "Test failed"
Exemple #11
0
def test_RandomPolynomialFixed_a_0_Hex():

    for x in range(10):
        fx = Nakasendo.BigNum().value
        degree = randint(10, 15)
        modulo = hex(randint(10000, 1000000)).lstrip("0x")
        a_0 = hex(randint(1000, 2000)).lstrip("0x").upper()

        # create a random polynomial with fixed a_0
        listCoefficients = Nakasendo.Polynomial.initRandomFixed_a_0_Hex(
            degree, modulo, a_0)
        assert listCoefficients.coefficients[0].lstrip(
            "0") == a_0, "Test failed"
        assert len(listCoefficients.coefficients) == (degree +
                                                      1), "Test failed"

        # calling evaluate polynomial function
        polynomial_EvaluateFX = listCoefficients(fx)

        # convert list of coefficients from string to decimal
        lst = []
        for i in (listCoefficients.coefficients):
            lst.append(int(i, 16))

        fx = int(fx, 16)
        modulo = int(modulo, 16)
        actualValue = polynomial_evaluate(lst, fx, modulo)
        assert polynomial_EvaluateFX.lstrip("0") == hex(
            actualValue).upper().lstrip("0X"), "Test failed"
Exemple #12
0
def test_AddFromDec_HexWithBigNumApi():

    for i in range(10):

        hexValue = "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141"
        num = int(hexValue, 16)
        b = str(randint(100000000, num))
        c = str(randint(100000000, num))
        x = Nakasendo.BigNum()
        y = Nakasendo.BigNum()
        b = Nakasendo.BigNum(b, isDec=True)
        c = Nakasendo.BigNum(c, isDec=True)

        z = y.__add__(x)
        a = b.__add__(c)

        assert z == (x + y) and a == (b + c), "Test failed"
Exemple #13
0
def test_LGInterpolatorFullHex():

    listTupleObj = [(2, "A"), (3, "F")]
    modulo = "0"
    hex_value = 0

    for x in range(100, 200):
        randomX = Nakasendo.BigNum()
        xValue = str(randomX.value)
        # LGInterpolator, full evaluation of the polynomial at xValue
        lgInterpolatorX = Nakasendo.LGInterpolator(listTupleObj, modulo,
                                                   hex_value)
        lgInterpolatorX = lgInterpolatorX(xValue)
        TestVal = Nakasendo.BigNum(value=hex(int(randomX.value, 16) *
                                             5).lstrip("0x").upper(),
                                   mod=modulo,
                                   isDec=hex_value)
        assert lgInterpolatorX == TestVal, "Test failed"
Exemple #14
0
    def reset(self):

        self.f_x = None  # f(x): Polynomial evaluated for own ordinal
        self.evals = {}  # dict ordinal:evaluated for each o in ordinallist
        self.sumOfEvals = \
            Nakasendo.BigNum('0', self.modulo) # running total of evals
        self.evalCounter = 0  # counter of eval messages received from other Players
        self.hiddenEvals = {
        }  # Polynomial evaluations multiplied by generator point
        self.hiddenPolynomial = []  # coeffs multiplied by generator point
        self.allHiddenPolynomials = {}
        self.allVWshares = {}  # dict of V W shares from all players
Exemple #15
0
    def allEvalsReceived(self, groupId, toOrdinal, fromOrdinal, f_x):
        group = self.groups[groupId]

        #check toOrdinal matches own ordinal
        if toOrdinal != group.ordinal:
            msg = "allEvalsReceived toOrdinal is not correct. Received {0}, expected {1}".format \
                (group.ordinal, toOrdinal)
            self.ptw(msg)
            raise PlayerError(msg)

        # add onto running total
        group.transientData.sumOfEvals += Nakasendo.BigNum(f_x, Player.modulo)
        # increment counter
        group.transientData.evalCounter += 1

        if group.transientData.evalCounter != len(group.ordinalList):
            return False
        else:
            # last one, add on the evaluation for own ordinal
            group.transientData.sumOfEvals += Nakasendo.BigNum(str \
                ( group.transientData.f_x), Player.modulo )
            return True
Exemple #16
0
def test_LGInterpolatorFullDec():

    listTupleObj = [(2, "10"), (3, "15")]
    modulo = "0"
    dec = 1

    for x in range(100, 101):
        randomX = randint(1000, 1000000)
        xValue = str(randomX)

        # LGInterpolator, full evaluation of the polynomial at xValue
        lgInterpolatorX = Nakasendo.LGInterpolator(listTupleObj, modulo, dec)
        lgInterpolatorX = lgInterpolatorX(xValue)
        TestVal = Nakasendo.BigNum(value=str(randomX * 5),
                                   mod=modulo,
                                   isDec=dec)
        assert lgInterpolatorX == TestVal, "Test failed"
Exemple #17
0
    def calculateEphemeralKey(self, groupId):

        group = self.groups[groupId]
        self.ptw("Calculating Ephemeral Key...")

        xfx_v = []
        xfx_w = []

        allOrdinals = group.allOrdinals()
        #allOrdinals = []
        #for i in group.ordinalList :
        #    allOrdinals.append( i[0] )
        #allOrdinals.append(group.ordinal)

        for ord in allOrdinals:
            vw = group.transientData.allVWshares[ord]
            xfx_v.append((ord, vw[0]))
            point = Nakasendo.ECPoint()
            point.SetValue(vw[1])
            w_points = point.GetAffineCoOrdinates()

            xfx_w.append((str(ord), w_points[0], w_points[1]))


        v_interpolator = Nakasendo.LGInterpolator \
            ( xfx_v, Player.modulo, decimal=False)
        w_interpolator = Nakasendo.LGECInterpolator \
            ( xfx_w, Player.modulo, decimal=False)

        vZeroVal = v_interpolator('0')
        wZeroVal = w_interpolator('0')

        vZeroValInv = vZeroVal.inverse()

        interpolated_r = wZeroVal.multipleScalar(vZeroValInv)
        if (interpolated_r.IsPointOnCurve() is not True):
            msg = ("Error in Player:calculateEphemeralKey: point not on curve")
            self.ptw(msg)
            raise PlayerError(msg)

        interpolated_r_points = interpolated_r.GetAffineCoOrdinates()

        r_bn = Nakasendo.BigNum(interpolated_r_points[0], Player.modulo)
        ephemeralKey = [group.littleK, r_bn]

        group.ephemeralKeyList.append(ephemeralKey)
Exemple #18
0
def test_MultiplyByGenerator():

    # Generating Random EC
    for x in range(10):
        # using the integer value of NID secp256k1, which is 714
        nID = 714

        # Generate a Random EC Point with default NID ==> NID_secp256k1
        hexValue = Nakasendo.ECPoint(nID)
        bigNumB = Nakasendo.BigNum()
        # EC Point GetAffineCoOrdinates_GFp with default NID => NID_secp256k1
        x_axis, y_axis = hexValue.GetAffineCoOrdinates()
        assert len(x_axis) == 62 or len(x_axis) == 64, "Test failed"

        # EC Point Scalar multiply on curve with supplied ID
        actualValue = str(
            Nakasendo.MultiplyByGenerator(bigNumB, compressed=True))
        assert len(actualValue) == 66, "Test failed"
Exemple #19
0
    def requestSignatureData(self, groupId, message):
        group = self.groups[groupId]

        ephemeralKey = group.ephemeralKeyList.pop()
        littleK = ephemeralKey[0]
        r_bn = ephemeralKey[1]
        pks = group.privateKeyShare

        if group.signingInitiator == True:
            group.signer_r = r_bn

        # message needs to be in BigNum format
        Hm = Nakasendo.BigNum(message, Player.modulo)

        s = littleK * (Hm + (pks * r_bn))

        #self.ptw("s = {0}".format(s))

        return [groupId, group.ordinal, s.value, message]
Exemple #20
0
    def requestSignatureData(self, groupId, index, message):
        group = self.groups[groupId]

        # check the index
        if not self.validIndex(groupId, index):
            return [groupId, group.ordinal, '', message]

        ephemeralKey = group.ephemeralKeyList.pop(index)
        littleK = ephemeralKey[0]
        r_bn = ephemeralKey[1]
        pks = group.privateKeyShare

        if group.signingInitiator == True:
            group.signer_r = r_bn

        # message needs to be in BigNum format
        Hm = Nakasendo.BigNum(message, Player.modulo)

        s = littleK * (Hm + (pks * r_bn))

        return [groupId, group.ordinal, s.value, message]
Exemple #21
0
def test_LGECInterpolatorFull():

    # modulo = PyBigNumbers.GenerateRandPrimeHex(1000)
    modulo = "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141"
    xValue = Nakasendo.BigNum().value
    listTupleObj = []
    hex_value = False
    # Generating Random EC
    for x in range(10, 50):
        # Generate a Random EC Point with default NID ==> NID_secp256k1
        hexValue = Nakasendo.ECPoint()
        print(hexValue.value)
        # Check if the point is on the curve with the supplied NID default NID ==> NID_secp256k1
        assert hexValue.IsPointOnCurve(), "Test failed"

        x_Axis, y_axis = hexValue.GetAffineCoOrdinates()
        # EC Point GetAffineCoOrdinates_GFp with default NID => NID_secp256k1
        listTupleObj.append((str(x), x_Axis, y_axis))

    lgInterpolatorX = Nakasendo.LGECInterpolator(listTupleObj, modulo,
                                                 hex_value)
    lgInterpolatorX = lgInterpolatorX(xValue)
    assert type(lgInterpolatorX) == Nakasendo.ECPoint, "Test failed"
Exemple #22
0
    except getopt.GetopError:
        print ('TSSteps.py -t <threshold> -m <MESSAGE>')
        sys.exit(2)
    
    
    
    # define the group size
    for opt,arg in opts:
        if opt in ("-t","--threshold"):
            tt = arg
        elif opt in ("-m","--message"):
            msg = arg
    '''

    #n is the order
    modulo_n = Nakasendo.BigNum()
    modulo_n.value = 'FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141'
    #modulo_n.value = '115792089237316195423570985008687907852837564279074904382605163141518161494337'
    #p is the finite fielf
    modulo_p = Nakasendo.BigNum()
    modulo_p.value = 'FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEFFFFFC2F'

    Hm = HashMsg(msg, modulo_n)
    margin = random.randint(0, 15)
    #tt = 2
    #nn = 2 * tt + 1 + margin
    nn = 2 * tt + 1
    print('the degree t %s, the Signing Threshold is %s and group size %s' %
          (tt, (2 * tt + 1), nn))

    #calculate Key shares & the private key
Exemple #23
0
    import PyMessageHash
    import PyAsymKey
    import PyPolynomial
    import PyBSVAddress
    import Nakasendo
except ImportError as e:
    print('Error while loading SDKLibraries python modules {}'.format(
        e.message))
    print(
        'Try to define environment variable SDKLIBRARIES_ROOT pointing to the location of installed SDKLibraries or add this to PYTHONPATH'
    )
    raise ImportError('Unable to load SDKLibraries python modules')

if __name__ == "__main__":
    print("starting.....")
    bigNumA = Nakasendo.BigNum()
    bigNumB = Nakasendo.BigNum()

    c = bigNumA + bigNumB
    print("operator A ->  %s, ..... operator B-> %s" % (bigNumA, bigNumB))
    print("...result of addition %s", c)

    ECPointA = Nakasendo.ECPoint()
    print("ECPointA output %s" % ECPointA)

    ECPointB = Nakasendo.ECPoint()
    print("ECPointB output %s " % ECPointB)

    ECPointC = ECPointA + ECPointB
    print("ECPointC (ECPointA + ECPointB) output %s " % ECPointC)
Exemple #24
0
def __calc_shared_secret(polynomials, modulo=None, isDec=False):
    sharedSecret = Nakasendo.BigNum('0', modulo, isDec)
    for polynomial_i in polynomials:
        hiddenVal = Nakasendo.BigNum(polynomial_i.coefficients[0], modulo)
        sharedSecret = sharedSecret + hiddenVal
    return sharedSecret
    
    ECPointA  = Nakasendo.ECPoint ()
    print ("ECPointA output %s" % ECPointA ) 

    ECPointB = Nakasendo.ECPoint ()
    print ("ECPointB output %s " % ECPointB)


    coordsA = ECPointA.GetAffineCoOrdinates()
    print ("Random Elliptic Curve Point A:\n x = %s \ny= %s" % (coordsA[0], coordsA[1]))
    
    coordsB = ECPointB.GetAffineCoOrdinates()
    print ("Random Elliptic Curve Point B:\n x = %s \ny= %s" % (coordsB[0], coordsB[1]))
    
    
    bigNumA = Nakasendo.BigNum()
    bigNumB = Nakasendo.BigNum(ECPointA.value)
    print (bigNumB)
    
    GENPOINTA = ECPointA.GetGeneratorPoint()
    GENPOINTB = ECPointB.GetGeneratorPoint()
    print (GENPOINTA)
    print (GENPOINTB)
    
    
   # print ("Random Elliptic Curve Point GEN \n x = %s \ny= %s" % (coordsGen[0], coordsGen[1]))
    
    G = ecdsa.SECP256k1.generator
    print (G)
    
    
Exemple #26
0
    if (pubkeytestB.verifies(int(hmMessage.value, 16), thresHoldSigLocalCal)):
        print(
            "SUCESS WITH TS via ECDSA library .. point constructed from public key parameter"
        )
    else:
        print("FAILURE WITH TS via ECDSA library")

    if (dersigStr is not None):
        orderlen = (1 + len("%x" % N)) // 2
        print(orderlen)
        print(len(dersigStr))
        print(len(bytes(dersigStr, 'utf-8')))

        rBN = Nakasendo.BigNum(
            value=sigRStr,
            mod=
            "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141")
        sBN = Nakasendo.BigNum(
            value=sigSStr,
            mod=
            "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141")
        derSigInputBN = Nakasendo.BigNum(
            value=dersigStr,
            mod=
            "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141")
        DerFormatSigTest = Nakasendo.createDERFormat(rBN, sBN)
        assert (DerFormatSigTest == DerFormatSigTest)

        val = Nakasendo.verifyDER(message, pempubkey, dersigStr, False)
        if (val == True):
            print('TS DER format verified')