private static boolean checkScalarVar(byte[] s) { int[] n = new int[SCALAR_INTS]; decodeScalar(s, 0, n); return !Nat256.gte(n, L); }
public static void multiplyAddToExt(int[] x, int[] y, int[] zz) { int c = Nat128.mulAddTo(x, y, zz); if (c != 0 || ((zz[7] >>> 1) >= PExt7s1 && Nat256.gte(zz, PExt))) { Nat.addTo(PExtInv.length, PExtInv, zz); } }
public static void addOne(int[] x, int[] z) { int c = Nat.inc(8, x, z); if (c != 0 || ((z[7] >>> 1) >= P7s1 && Nat256.gte(z, P))) { addPInvTo(z); } }
public static void twice(int[] x, int[] z) { int c = Nat.shiftUpBit(8, x, 0, z); if (c != 0 || ((z[7] >>> 1) >= P7s1 && Nat256.gte(z, P))) { addPInvTo(z); } }
public static void add(int[] x, int[] y, int[] z) { Nat256.add(x, y, z); if (Nat256.gte(z, P)) { subPFrom(z); } }
public static int[] fromBigInteger(BigInteger x) { int[] z = Nat256.fromBigInteger(x); if ((z[7] >>> 1) >= P7s1 && Nat256.gte(z, P)) { Nat256.subFrom(P, z); } return z; }
public static void add(int[] x, int[] y, int[] z) { int c = Nat256.add(x, y, z); if (c != 0 || (z[7] == P7 && Nat256.gte(z, P))) { Nat.add33To(8, PInv33, z); } }
public static void reduce32(int x, int[] z) { if ((x != 0 && Nat256.mul33WordAdd(PInv33, x, z, 0) != 0) || (z[7] == P7 && Nat256.gte(z, P))) { Nat.add33To(8, PInv33, z); } }
public static void addOne(int[] x, int[] z) { Nat.inc(8, x, z); if (Nat256.gte(z, P)) { subPFrom(z); } }
public static int[] fromBigInteger(BigInteger x) { int[] z = Nat256.fromBigInteger(x); while (Nat256.gte(z, P)) { Nat256.subFrom(P, z); } return z; }
public static void reduce32(int x, int[] z) { if ((x != 0 && Nat256.mul33WordAdd(PInv33, x, z, 0) != 0) || (z[7] == P7 && Nat256.gte(z, P))) { Nat.add33To(8, PInv33, z); } }
public static void add(int[] x, int[] y, int[] z) { int c = Nat256.add(x, y, z); if (c != 0 || (z[7] == P7 && Nat256.gte(z, P))) { addPInvTo(z); } }
public static int[] fromBigInteger(BigInteger x) { int[] z = Nat256.fromBigInteger(x); if (z[7] == P7 && Nat256.gte(z, P)) { Nat256.subFrom(P, z); } return z; }
public static void twice(int[] x, int[] z) { Nat.shiftUpBit(8, x, 0, z); if (Nat256.gte(z, P)) { subPFrom(z); } }
public static void addOne(int[] x, int[] z) { int c = Nat.inc(8, x, z); if (c != 0 || (z[7] == P7 && Nat256.gte(z, P))) { addPInvTo(z); } }
public static void twice(int[] x, int[] z) { int c = Nat.shiftUpBit(8, x, 0, z); if (c != 0 || (z[7] == P7 && Nat256.gte(z, P))) { addPInvTo(z); } }
public static void add(int[] x, int[] y, int[] z) { int c = Nat256.add(x, y, z); if (c != 0 || (z[7] == P7 && Nat256.gte(z, P))) { Nat.add33To(8, PInv33, z); } }
public static void twice(int[] x, int[] z) { int c = Nat.shiftUpBit(8, x, 0, z); if (c != 0 || (z[7] == P7 && Nat256.gte(z, P))) { addPInvTo(z); } }
public static void twice(int[] x, int[] z) { int c = Nat.shiftUpBit(8, x, 0, z); if (c != 0 || (z[7] == P7 && Nat256.gte(z, P))) { Nat.add33To(8, PInv33, z); } } }
public static void reduce(int[] xx, int[] z) { long cc = Nat256.mul33Add(PInv33, xx, 8, xx, 0, z, 0); int c = Nat256.mul33DWordAdd(PInv33, cc, z, 0); // assert c == 0L || c == 1L; if (c != 0 || (z[7] == P7 && Nat256.gte(z, P))) { Nat.add33To(8, PInv33, z); } }