public void TestMultiplication_Three()
{
var field = new PrimeField(97);
var curve = new RealCurve(field, field.Value(2), field.Value(3));
var a = new Point(field.Value(3), field.Value(6));
var c = Point.Multiply(curve, field.Value(3), a);
Assert.Equal(field.Value(80), c.X);
Assert.Equal(field.Value(87), c.Y);
}
public void TestAddition_Same()
{
var field = new PrimeField(97);
var curve = new RealCurve(field, field.Value(2), field.Value(3));
var a = new Point(field.Value(59), field.Value(32));
var c = Point.Add(curve, a, a) !;
Assert.Equal(field.Value(80), c.X);
Assert.Equal(field.Value(10), c.Y);
}
public void TestAddition_Basic()
{
var field = new PrimeField(97);
var curve = new RealCurve(field, field.Value(2), field.Value(3));
var a = new Point(field.Value(3), field.Value(6));
var b = new Point(field.Value(11), field.Value(17));
var c = Point.Add(curve, a, b) !;
Assert.Equal(field.Value(47), c.X);
Assert.Equal(field.Value(79), c.Y);
}
public override bool Equals(object obj)
{
if (this == obj)
{
return(true);
}
PrimeField other = obj as PrimeField;
if (null == other)
{
return(false);
}
return(characteristic.Equals(other.characteristic));
}
public override bool Equals(object obj)
{
if (this == obj)
{
return(true);
}
PrimeField primeField = obj as PrimeField;
if (primeField == null)
{
return(false);
}
return(characteristic.Equals(primeField.characteristic));
}
static Secp256K1()
{
var prime = "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEFFFFFC2F".HexToBigInteger();
var field = new PrimeField(prime);
var curve = new PrimeCurve(field, field.Value(0), field.Value(7));
// cofactor = 4
Parameters = new PrimeDomainParameters(
p: prime,
a: curve.A.Value,
b: curve.B.Value,
g: curve.PointFromBinary(HexConverter.FromHex("0479BE667EF9DCBBAC55A06295CE870B07029BFCDB2DCE28D959F2815B16F81798483ADA7726A3C4655DA4FBFC0E1108A8FD17B448A68554199C47D08FFB10D4B8")),
n: "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141".HexToBigInteger());
}
static Secp256R1()
{
var prime = "FFFFFFFF00000001000000000000000000000000FFFFFFFFFFFFFFFFFFFFFFFF".HexToBigInteger();
var field = new PrimeField(prime);
var a = "FFFFFFFF00000001000000000000000000000000FFFFFFFFFFFFFFFFFFFFFFFC".HexToBigInteger();
var b = "5AC635D8AA3A93E7B3EBBD55769886BC651D06B0CC53B0F63BCE3C3E27D2604B".HexToBigInteger();
var curve = new PrimeCurve(field, field.Value(a), field.Value(b));
Parameters = new PrimeDomainParameters(
p: prime,
a: curve.A.Value,
b: curve.B.Value,
g: curve.PointFromBinary(HexConverter.FromHex("046B17D1F2E12C4247F8BCE6E563A440F277037D812DEB33A0F4A13945D898C2964FE342E2FE1A7F9B8EE7EB4A7C0F9E162BCE33576B315ECECBB6406837BF51F5")),
n: "FFFFFFFF00000000FFFFFFFFFFFFFFFFBCE6FAADA7179E84F3B9CAC2FC632551".HexToBigInteger());
}
public void TestAddition()
{
var field = new PrimeField(23);
Assert.Equal(field.Value(4), field.Add(field.Value(18), field.Value(9)));
}
public void TestMultiplicativeInverse()
{
var field = new PrimeField(23);
Assert.Equal(field.Value(18), field.Divide(field.Value(1), field.Value(9)));
}
public void TestAdditiveInverse()
{
var field = new PrimeField(23);
Assert.Equal(field.Value(0), field.Add(field.Value(5), field.Value(-5)));
}
public void TestNegation()
{
var field = new PrimeField(23);
Assert.Equal(field.Value(18), field.Negate(field.Value(5)));
}
public void TestMultiplication()
{
var field = new PrimeField(23);
Assert.Equal(field.Value(5), field.Multiply(field.Value(4), field.Value(7)));
}
public void TestSubtraction()
{
var field = new PrimeField(23);
Assert.Equal(field.Value(16), field.Sub(field.Value(7), field.Value(14)));
}