201 lines
9.6 KiB
Java
201 lines
9.6 KiB
Java
|
package org.bouncycastle.math.ec.custom.sec;
|
||
|
|
|
||
|
|
import org.bouncycastle.math.ec.ECCurve;
|
||
|
|
import org.bouncycastle.math.ec.ECFieldElement;
|
||
|
|
import org.bouncycastle.math.ec.ECPoint;
|
||
|
|
import org.bouncycastle.math.raw.Nat;
|
||
|
|
|
||
|
|
/* loaded from: classes6.dex */
|
||
|
|
public class SecP521R1Point extends ECPoint.AbstractFp {
|
||
|
|
protected ECFieldElement two(ECFieldElement eCFieldElement) {
|
||
|
|
return eCFieldElement.add(eCFieldElement);
|
||
|
|
}
|
||
|
|
|
||
|
|
@Override // org.bouncycastle.math.ec.ECPoint
|
||
|
|
public ECPoint twicePlus(ECPoint eCPoint) {
|
||
|
|
if (this == eCPoint) {
|
||
|
|
return threeTimes();
|
||
|
|
}
|
||
|
|
return isInfinity() ? eCPoint : eCPoint.isInfinity() ? twice() : this.y.isZero() ? eCPoint : twice().add(eCPoint);
|
||
|
|
}
|
||
|
|
|
||
|
|
@Override // org.bouncycastle.math.ec.ECPoint
|
||
|
|
public ECPoint twice() {
|
||
|
|
if (isInfinity()) {
|
||
|
|
return this;
|
||
|
|
}
|
||
|
|
ECCurve curve = getCurve();
|
||
|
|
SecP521R1FieldElement secP521R1FieldElement = (SecP521R1FieldElement) this.y;
|
||
|
|
if (secP521R1FieldElement.isZero()) {
|
||
|
|
return curve.getInfinity();
|
||
|
|
}
|
||
|
|
SecP521R1FieldElement secP521R1FieldElement2 = (SecP521R1FieldElement) this.x;
|
||
|
|
SecP521R1FieldElement secP521R1FieldElement3 = (SecP521R1FieldElement) this.zs[0];
|
||
|
|
int[] create = Nat.create(17);
|
||
|
|
int[] create2 = Nat.create(17);
|
||
|
|
int[] create3 = Nat.create(17);
|
||
|
|
SecP521R1Field.square(secP521R1FieldElement.x, create3);
|
||
|
|
int[] create4 = Nat.create(17);
|
||
|
|
SecP521R1Field.square(create3, create4);
|
||
|
|
boolean isOne = secP521R1FieldElement3.isOne();
|
||
|
|
int[] iArr = secP521R1FieldElement3.x;
|
||
|
|
if (!isOne) {
|
||
|
|
SecP521R1Field.square(secP521R1FieldElement3.x, create2);
|
||
|
|
iArr = create2;
|
||
|
|
}
|
||
|
|
SecP521R1Field.subtract(secP521R1FieldElement2.x, iArr, create);
|
||
|
|
SecP521R1Field.add(secP521R1FieldElement2.x, iArr, create2);
|
||
|
|
SecP521R1Field.multiply(create2, create, create2);
|
||
|
|
Nat.addBothTo(17, create2, create2, create2);
|
||
|
|
SecP521R1Field.reduce23(create2);
|
||
|
|
SecP521R1Field.multiply(create3, secP521R1FieldElement2.x, create3);
|
||
|
|
Nat.shiftUpBits(17, create3, 2, 0);
|
||
|
|
SecP521R1Field.reduce23(create3);
|
||
|
|
Nat.shiftUpBits(17, create4, 3, 0, create);
|
||
|
|
SecP521R1Field.reduce23(create);
|
||
|
|
SecP521R1FieldElement secP521R1FieldElement4 = new SecP521R1FieldElement(create4);
|
||
|
|
SecP521R1Field.square(create2, secP521R1FieldElement4.x);
|
||
|
|
SecP521R1Field.subtract(secP521R1FieldElement4.x, create3, secP521R1FieldElement4.x);
|
||
|
|
SecP521R1Field.subtract(secP521R1FieldElement4.x, create3, secP521R1FieldElement4.x);
|
||
|
|
SecP521R1FieldElement secP521R1FieldElement5 = new SecP521R1FieldElement(create3);
|
||
|
|
SecP521R1Field.subtract(create3, secP521R1FieldElement4.x, secP521R1FieldElement5.x);
|
||
|
|
SecP521R1Field.multiply(secP521R1FieldElement5.x, create2, secP521R1FieldElement5.x);
|
||
|
|
SecP521R1Field.subtract(secP521R1FieldElement5.x, create, secP521R1FieldElement5.x);
|
||
|
|
SecP521R1FieldElement secP521R1FieldElement6 = new SecP521R1FieldElement(create2);
|
||
|
|
SecP521R1Field.twice(secP521R1FieldElement.x, secP521R1FieldElement6.x);
|
||
|
|
if (!isOne) {
|
||
|
|
SecP521R1Field.multiply(secP521R1FieldElement6.x, secP521R1FieldElement3.x, secP521R1FieldElement6.x);
|
||
|
|
}
|
||
|
|
return new SecP521R1Point(curve, secP521R1FieldElement4, secP521R1FieldElement5, new ECFieldElement[]{secP521R1FieldElement6}, this.withCompression);
|
||
|
|
}
|
||
|
|
|
||
|
|
@Override // org.bouncycastle.math.ec.ECPoint
|
||
|
|
public ECPoint threeTimes() {
|
||
|
|
return (isInfinity() || this.y.isZero()) ? this : twice().add(this);
|
||
|
|
}
|
||
|
|
|
||
|
|
protected ECFieldElement three(ECFieldElement eCFieldElement) {
|
||
|
|
return two(eCFieldElement).add(eCFieldElement);
|
||
|
|
}
|
||
|
|
|
||
|
|
@Override // org.bouncycastle.math.ec.ECPoint
|
||
|
|
public ECPoint negate() {
|
||
|
|
return isInfinity() ? this : new SecP521R1Point(this.curve, this.x, this.y.negate(), this.zs, this.withCompression);
|
||
|
|
}
|
||
|
|
|
||
|
|
protected ECFieldElement four(ECFieldElement eCFieldElement) {
|
||
|
|
return two(two(eCFieldElement));
|
||
|
|
}
|
||
|
|
|
||
|
|
protected ECFieldElement eight(ECFieldElement eCFieldElement) {
|
||
|
|
return four(two(eCFieldElement));
|
||
|
|
}
|
||
|
|
|
||
|
|
protected ECFieldElement doubleProductFromSquares(ECFieldElement eCFieldElement, ECFieldElement eCFieldElement2, ECFieldElement eCFieldElement3, ECFieldElement eCFieldElement4) {
|
||
|
|
return eCFieldElement.add(eCFieldElement2).square().subtract(eCFieldElement3).subtract(eCFieldElement4);
|
||
|
|
}
|
||
|
|
|
||
|
|
@Override // org.bouncycastle.math.ec.ECPoint
|
||
|
|
public ECPoint detach() {
|
||
|
|
return new SecP521R1Point(null, getAffineXCoord(), getAffineYCoord());
|
||
|
|
}
|
||
|
|
|
||
|
|
@Override // org.bouncycastle.math.ec.ECPoint
|
||
|
|
public ECPoint add(ECPoint eCPoint) {
|
||
|
|
int[] iArr;
|
||
|
|
int[] iArr2;
|
||
|
|
int[] iArr3;
|
||
|
|
int[] iArr4;
|
||
|
|
if (isInfinity()) {
|
||
|
|
return eCPoint;
|
||
|
|
}
|
||
|
|
if (eCPoint.isInfinity()) {
|
||
|
|
return this;
|
||
|
|
}
|
||
|
|
if (this == eCPoint) {
|
||
|
|
return twice();
|
||
|
|
}
|
||
|
|
ECCurve curve = getCurve();
|
||
|
|
SecP521R1FieldElement secP521R1FieldElement = (SecP521R1FieldElement) this.x;
|
||
|
|
SecP521R1FieldElement secP521R1FieldElement2 = (SecP521R1FieldElement) this.y;
|
||
|
|
SecP521R1FieldElement secP521R1FieldElement3 = (SecP521R1FieldElement) eCPoint.getXCoord();
|
||
|
|
SecP521R1FieldElement secP521R1FieldElement4 = (SecP521R1FieldElement) eCPoint.getYCoord();
|
||
|
|
SecP521R1FieldElement secP521R1FieldElement5 = (SecP521R1FieldElement) this.zs[0];
|
||
|
|
SecP521R1FieldElement secP521R1FieldElement6 = (SecP521R1FieldElement) eCPoint.getZCoord(0);
|
||
|
|
int[] create = Nat.create(17);
|
||
|
|
int[] create2 = Nat.create(17);
|
||
|
|
int[] create3 = Nat.create(17);
|
||
|
|
int[] create4 = Nat.create(17);
|
||
|
|
boolean isOne = secP521R1FieldElement5.isOne();
|
||
|
|
if (isOne) {
|
||
|
|
iArr = secP521R1FieldElement3.x;
|
||
|
|
iArr2 = secP521R1FieldElement4.x;
|
||
|
|
} else {
|
||
|
|
SecP521R1Field.square(secP521R1FieldElement5.x, create3);
|
||
|
|
SecP521R1Field.multiply(create3, secP521R1FieldElement3.x, create2);
|
||
|
|
SecP521R1Field.multiply(create3, secP521R1FieldElement5.x, create3);
|
||
|
|
SecP521R1Field.multiply(create3, secP521R1FieldElement4.x, create3);
|
||
|
|
iArr = create2;
|
||
|
|
iArr2 = create3;
|
||
|
|
}
|
||
|
|
boolean isOne2 = secP521R1FieldElement6.isOne();
|
||
|
|
if (isOne2) {
|
||
|
|
iArr3 = secP521R1FieldElement.x;
|
||
|
|
iArr4 = secP521R1FieldElement2.x;
|
||
|
|
} else {
|
||
|
|
SecP521R1Field.square(secP521R1FieldElement6.x, create4);
|
||
|
|
SecP521R1Field.multiply(create4, secP521R1FieldElement.x, create);
|
||
|
|
SecP521R1Field.multiply(create4, secP521R1FieldElement6.x, create4);
|
||
|
|
SecP521R1Field.multiply(create4, secP521R1FieldElement2.x, create4);
|
||
|
|
iArr3 = create;
|
||
|
|
iArr4 = create4;
|
||
|
|
}
|
||
|
|
int[] create5 = Nat.create(17);
|
||
|
|
SecP521R1Field.subtract(iArr3, iArr, create5);
|
||
|
|
SecP521R1Field.subtract(iArr4, iArr2, create2);
|
||
|
|
if (Nat.isZero(17, create5)) {
|
||
|
|
return Nat.isZero(17, create2) ? twice() : curve.getInfinity();
|
||
|
|
}
|
||
|
|
SecP521R1Field.square(create5, create3);
|
||
|
|
int[] create6 = Nat.create(17);
|
||
|
|
SecP521R1Field.multiply(create3, create5, create6);
|
||
|
|
SecP521R1Field.multiply(create3, iArr3, create3);
|
||
|
|
SecP521R1Field.multiply(iArr4, create6, create);
|
||
|
|
SecP521R1FieldElement secP521R1FieldElement7 = new SecP521R1FieldElement(create4);
|
||
|
|
SecP521R1Field.square(create2, secP521R1FieldElement7.x);
|
||
|
|
SecP521R1Field.add(secP521R1FieldElement7.x, create6, secP521R1FieldElement7.x);
|
||
|
|
SecP521R1Field.subtract(secP521R1FieldElement7.x, create3, secP521R1FieldElement7.x);
|
||
|
|
SecP521R1Field.subtract(secP521R1FieldElement7.x, create3, secP521R1FieldElement7.x);
|
||
|
|
SecP521R1FieldElement secP521R1FieldElement8 = new SecP521R1FieldElement(create6);
|
||
|
|
SecP521R1Field.subtract(create3, secP521R1FieldElement7.x, secP521R1FieldElement8.x);
|
||
|
|
SecP521R1Field.multiply(secP521R1FieldElement8.x, create2, create2);
|
||
|
|
SecP521R1Field.subtract(create2, create, secP521R1FieldElement8.x);
|
||
|
|
SecP521R1FieldElement secP521R1FieldElement9 = new SecP521R1FieldElement(create5);
|
||
|
|
if (!isOne) {
|
||
|
|
SecP521R1Field.multiply(secP521R1FieldElement9.x, secP521R1FieldElement5.x, secP521R1FieldElement9.x);
|
||
|
|
}
|
||
|
|
if (!isOne2) {
|
||
|
|
SecP521R1Field.multiply(secP521R1FieldElement9.x, secP521R1FieldElement6.x, secP521R1FieldElement9.x);
|
||
|
|
}
|
||
|
|
return new SecP521R1Point(curve, secP521R1FieldElement7, secP521R1FieldElement8, new ECFieldElement[]{secP521R1FieldElement9}, this.withCompression);
|
||
|
|
}
|
||
|
|
|
||
|
|
/* JADX INFO: Access modifiers changed from: package-private */
|
||
|
|
public SecP521R1Point(ECCurve eCCurve, ECFieldElement eCFieldElement, ECFieldElement eCFieldElement2, ECFieldElement[] eCFieldElementArr, boolean z) {
|
||
|
|
super(eCCurve, eCFieldElement, eCFieldElement2, eCFieldElementArr);
|
||
|
|
this.withCompression = z;
|
||
|
|
}
|
||
|
|
|
||
|
|
public SecP521R1Point(ECCurve eCCurve, ECFieldElement eCFieldElement, ECFieldElement eCFieldElement2, boolean z) {
|
||
|
|
super(eCCurve, eCFieldElement, eCFieldElement2);
|
||
|
|
if ((eCFieldElement == null) != (eCFieldElement2 == null)) {
|
||
|
|
throw new IllegalArgumentException("Exactly one of the field elements is null");
|
||
|
|
}
|
||
|
|
this.withCompression = z;
|
||
|
|
}
|
||
|
|
|
||
|
|
public SecP521R1Point(ECCurve eCCurve, ECFieldElement eCFieldElement, ECFieldElement eCFieldElement2) {
|
||
|
|
this(eCCurve, eCFieldElement, eCFieldElement2, false);
|
||
|
|
}
|
||
|
|
}
|