Example #1
0
 public override ECFieldElement Divide(ECFieldElement b)
 {
     uint[] z = Nat160.Create();
     Mod.Invert(SecP160R1Field.P, ((SecP160R1FieldElement)b).x, z);
     SecP160R1Field.Multiply(z, x, z);
     return(new SecP160R1FieldElement(z));
 }
Example #2
0
 public SecP160R1FieldElement(BigInteger x)
 {
     if (x == null || x.SignValue < 0 || x.CompareTo(Q) >= 0)
     {
         throw new ArgumentException("value invalid for SecP160R1FieldElement", "x");
     }
     this.x = SecP160R1Field.FromBigInteger(x);
 }
Example #3
0
 public override ECFieldElement Sqrt()
 {
     uint[] y = x;
     if (Nat160.IsZero(y) || Nat160.IsOne(y))
     {
         return(this);
     }
     uint[] array = Nat160.Create();
     SecP160R1Field.Square(y, array);
     SecP160R1Field.Multiply(array, y, array);
     uint[] array2 = Nat160.Create();
     SecP160R1Field.SquareN(array, 2, array2);
     SecP160R1Field.Multiply(array2, array, array2);
     uint[] array3 = array;
     SecP160R1Field.SquareN(array2, 4, array3);
     SecP160R1Field.Multiply(array3, array2, array3);
     uint[] array4 = array2;
     SecP160R1Field.SquareN(array3, 8, array4);
     SecP160R1Field.Multiply(array4, array3, array4);
     uint[] array5 = array3;
     SecP160R1Field.SquareN(array4, 16, array5);
     SecP160R1Field.Multiply(array5, array4, array5);
     uint[] array6 = array4;
     SecP160R1Field.SquareN(array5, 32, array6);
     SecP160R1Field.Multiply(array6, array5, array6);
     uint[] array7 = array5;
     SecP160R1Field.SquareN(array6, 64, array7);
     SecP160R1Field.Multiply(array7, array6, array7);
     uint[] array8 = array6;
     SecP160R1Field.Square(array7, array8);
     SecP160R1Field.Multiply(array8, y, array8);
     uint[] z = array8;
     SecP160R1Field.SquareN(z, 29, z);
     uint[] array9 = array7;
     SecP160R1Field.Square(z, array9);
     if (!Nat160.Eq(y, array9))
     {
         return(null);
     }
     return(new SecP160R1FieldElement(z));
 }
    public override ECPoint Add(ECPoint b)
    {
        if (base.IsInfinity)
        {
            return(b);
        }
        if (b.IsInfinity)
        {
            return(this);
        }
        if (this == b)
        {
            return(Twice());
        }
        ECCurve curve = Curve;
        SecP160R1FieldElement secP160R1FieldElement  = (SecP160R1FieldElement)base.RawXCoord;
        SecP160R1FieldElement secP160R1FieldElement2 = (SecP160R1FieldElement)base.RawYCoord;
        SecP160R1FieldElement secP160R1FieldElement3 = (SecP160R1FieldElement)b.RawXCoord;
        SecP160R1FieldElement secP160R1FieldElement4 = (SecP160R1FieldElement)b.RawYCoord;
        SecP160R1FieldElement secP160R1FieldElement5 = (SecP160R1FieldElement)base.RawZCoords[0];
        SecP160R1FieldElement secP160R1FieldElement6 = (SecP160R1FieldElement)b.RawZCoords[0];

        uint[] array  = Nat160.CreateExt();
        uint[] array2 = Nat160.Create();
        uint[] array3 = Nat160.Create();
        uint[] array4 = Nat160.Create();
        bool   isOne  = secP160R1FieldElement5.IsOne;

        uint[] array5;
        uint[] array6;
        if (isOne)
        {
            array5 = secP160R1FieldElement3.x;
            array6 = secP160R1FieldElement4.x;
        }
        else
        {
            array6 = array3;
            SecP160R1Field.Square(secP160R1FieldElement5.x, array6);
            array5 = array2;
            SecP160R1Field.Multiply(array6, secP160R1FieldElement3.x, array5);
            SecP160R1Field.Multiply(array6, secP160R1FieldElement5.x, array6);
            SecP160R1Field.Multiply(array6, secP160R1FieldElement4.x, array6);
        }
        bool isOne2 = secP160R1FieldElement6.IsOne;

        uint[] array7;
        uint[] array8;
        if (isOne2)
        {
            array7 = secP160R1FieldElement.x;
            array8 = secP160R1FieldElement2.x;
        }
        else
        {
            array8 = array4;
            SecP160R1Field.Square(secP160R1FieldElement6.x, array8);
            array7 = array;
            SecP160R1Field.Multiply(array8, secP160R1FieldElement.x, array7);
            SecP160R1Field.Multiply(array8, secP160R1FieldElement6.x, array8);
            SecP160R1Field.Multiply(array8, secP160R1FieldElement2.x, array8);
        }
        uint[] array9 = Nat160.Create();
        SecP160R1Field.Subtract(array7, array5, array9);
        uint[] array10 = array2;
        SecP160R1Field.Subtract(array8, array6, array10);
        if (Nat160.IsZero(array9))
        {
            if (Nat160.IsZero(array10))
            {
                return(Twice());
            }
            return(curve.Infinity);
        }
        uint[] array11 = array3;
        SecP160R1Field.Square(array9, array11);
        uint[] array12 = Nat160.Create();
        SecP160R1Field.Multiply(array11, array9, array12);
        uint[] array13 = array3;
        SecP160R1Field.Multiply(array11, array7, array13);
        SecP160R1Field.Negate(array12, array12);
        Nat160.Mul(array8, array12, array);
        uint x = Nat160.AddBothTo(array13, array13, array12);

        SecP160R1Field.Reduce32(x, array12);
        SecP160R1FieldElement secP160R1FieldElement7 = new SecP160R1FieldElement(array4);

        SecP160R1Field.Square(array10, secP160R1FieldElement7.x);
        SecP160R1Field.Subtract(secP160R1FieldElement7.x, array12, secP160R1FieldElement7.x);
        SecP160R1FieldElement secP160R1FieldElement8 = new SecP160R1FieldElement(array12);

        SecP160R1Field.Subtract(array13, secP160R1FieldElement7.x, secP160R1FieldElement8.x);
        SecP160R1Field.MultiplyAddToExt(secP160R1FieldElement8.x, array10, array);
        SecP160R1Field.Reduce(array, secP160R1FieldElement8.x);
        SecP160R1FieldElement secP160R1FieldElement9 = new SecP160R1FieldElement(array9);

        if (!isOne)
        {
            SecP160R1Field.Multiply(secP160R1FieldElement9.x, secP160R1FieldElement5.x, secP160R1FieldElement9.x);
        }
        if (!isOne2)
        {
            SecP160R1Field.Multiply(secP160R1FieldElement9.x, secP160R1FieldElement6.x, secP160R1FieldElement9.x);
        }
        ECFieldElement[] zs = new ECFieldElement[1]
        {
            secP160R1FieldElement9
        };
        return(new SecP160R1Point(curve, secP160R1FieldElement7, secP160R1FieldElement8, zs, base.IsCompressed));
    }
    public override ECPoint Twice()
    {
        if (base.IsInfinity)
        {
            return(this);
        }
        ECCurve curve = Curve;
        SecP160R1FieldElement secP160R1FieldElement = (SecP160R1FieldElement)base.RawYCoord;

        if (secP160R1FieldElement.IsZero)
        {
            return(curve.Infinity);
        }
        SecP160R1FieldElement secP160R1FieldElement2 = (SecP160R1FieldElement)base.RawXCoord;
        SecP160R1FieldElement secP160R1FieldElement3 = (SecP160R1FieldElement)base.RawZCoords[0];

        uint[] array  = Nat160.Create();
        uint[] array2 = Nat160.Create();
        uint[] array3 = Nat160.Create();
        SecP160R1Field.Square(secP160R1FieldElement.x, array3);
        uint[] array4 = Nat160.Create();
        SecP160R1Field.Square(array3, array4);
        bool isOne = secP160R1FieldElement3.IsOne;

        uint[] array5 = secP160R1FieldElement3.x;
        if (!isOne)
        {
            array5 = array2;
            SecP160R1Field.Square(secP160R1FieldElement3.x, array5);
        }
        SecP160R1Field.Subtract(secP160R1FieldElement2.x, array5, array);
        uint[] array6 = array2;
        SecP160R1Field.Add(secP160R1FieldElement2.x, array5, array6);
        SecP160R1Field.Multiply(array6, array, array6);
        uint x = Nat160.AddBothTo(array6, array6, array6);

        SecP160R1Field.Reduce32(x, array6);
        uint[] array7 = array3;
        SecP160R1Field.Multiply(array3, secP160R1FieldElement2.x, array7);
        x = Nat.ShiftUpBits(5, array7, 2, 0u);
        SecP160R1Field.Reduce32(x, array7);
        x = Nat.ShiftUpBits(5, array4, 3, 0u, array);
        SecP160R1Field.Reduce32(x, array);
        SecP160R1FieldElement secP160R1FieldElement4 = new SecP160R1FieldElement(array4);

        SecP160R1Field.Square(array6, secP160R1FieldElement4.x);
        SecP160R1Field.Subtract(secP160R1FieldElement4.x, array7, secP160R1FieldElement4.x);
        SecP160R1Field.Subtract(secP160R1FieldElement4.x, array7, secP160R1FieldElement4.x);
        SecP160R1FieldElement secP160R1FieldElement5 = new SecP160R1FieldElement(array7);

        SecP160R1Field.Subtract(array7, secP160R1FieldElement4.x, secP160R1FieldElement5.x);
        SecP160R1Field.Multiply(secP160R1FieldElement5.x, array6, secP160R1FieldElement5.x);
        SecP160R1Field.Subtract(secP160R1FieldElement5.x, array, secP160R1FieldElement5.x);
        SecP160R1FieldElement secP160R1FieldElement6 = new SecP160R1FieldElement(array6);

        SecP160R1Field.Twice(secP160R1FieldElement.x, secP160R1FieldElement6.x);
        if (!isOne)
        {
            SecP160R1Field.Multiply(secP160R1FieldElement6.x, secP160R1FieldElement3.x, secP160R1FieldElement6.x);
        }
        return(new SecP160R1Point(curve, secP160R1FieldElement4, secP160R1FieldElement5, new ECFieldElement[1]
        {
            secP160R1FieldElement6
        }, base.IsCompressed));
    }
Example #6
0
 public override ECFieldElement Square()
 {
     uint[] z = Nat160.Create();
     SecP160R1Field.Square(x, z);
     return(new SecP160R1FieldElement(z));
 }
Example #7
0
 public override ECFieldElement Multiply(ECFieldElement b)
 {
     uint[] z = Nat160.Create();
     SecP160R1Field.Multiply(x, ((SecP160R1FieldElement)b).x, z);
     return(new SecP160R1FieldElement(z));
 }
Example #8
0
 public override ECFieldElement Subtract(ECFieldElement b)
 {
     uint[] z = Nat160.Create();
     SecP160R1Field.Subtract(x, ((SecP160R1FieldElement)b).x, z);
     return(new SecP160R1FieldElement(z));
 }