@gkucmierz/utils 1.7.0 → 1.9.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/package-lock.json +2 -2
- package/package.json +1 -1
- package/spec/mod.spec.mjs +35 -0
- package/spec/tonelli-shanks.spec.mjs +15 -0
- package/src/mod.mjs +14 -0
- package/src/tonelli-shanks.mjs +44 -0
package/package-lock.json
CHANGED
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@gkucmierz/utils",
|
|
3
|
-
"version": "1.
|
|
3
|
+
"version": "1.9.0",
|
|
4
4
|
"lockfileVersion": 2,
|
|
5
5
|
"requires": true,
|
|
6
6
|
"packages": {
|
|
7
7
|
"": {
|
|
8
8
|
"name": "@gkucmierz/utils",
|
|
9
|
-
"version": "1.
|
|
9
|
+
"version": "1.9.0",
|
|
10
10
|
"license": "MIT",
|
|
11
11
|
"devDependencies": {
|
|
12
12
|
"husky": "^8.0.1",
|
package/package.json
CHANGED
|
@@ -0,0 +1,35 @@
|
|
|
1
|
+
|
|
2
|
+
import {
|
|
3
|
+
mod,
|
|
4
|
+
modBI,
|
|
5
|
+
} from '../src/mod.mjs';
|
|
6
|
+
|
|
7
|
+
describe('mod', () => {
|
|
8
|
+
it('mod', () => {
|
|
9
|
+
expect(mod(4, 100)).toEqual(4);
|
|
10
|
+
expect(mod(104, 100)).toEqual(4);
|
|
11
|
+
expect(mod(4 - 100, 100)).toEqual(4);
|
|
12
|
+
});
|
|
13
|
+
|
|
14
|
+
it('mod sign', () => {
|
|
15
|
+
expect(mod(4, 100)).toEqual(4);
|
|
16
|
+
expect(mod(-4, 100)).toEqual(96);
|
|
17
|
+
expect(mod(4, -100)).toEqual(-96);
|
|
18
|
+
expect(mod(-4, -100)).toEqual(-4);
|
|
19
|
+
});
|
|
20
|
+
});
|
|
21
|
+
|
|
22
|
+
describe('mod BI', () => {
|
|
23
|
+
it('mod', () => {
|
|
24
|
+
expect(modBI(4n, 100n)).toEqual(4n);
|
|
25
|
+
expect(modBI(104n, 100n)).toEqual(4n);
|
|
26
|
+
expect(modBI(4n - 100n, 100n)).toEqual(4n);
|
|
27
|
+
});
|
|
28
|
+
|
|
29
|
+
it('mod sign', () => {
|
|
30
|
+
expect(modBI(4n, 100n)).toEqual(4n);
|
|
31
|
+
expect(modBI(-4n, 100n)).toEqual(96n);
|
|
32
|
+
expect(modBI(4n, -100n)).toEqual(-96n);
|
|
33
|
+
expect(modBI(-4n, -100n)).toEqual(-4n);
|
|
34
|
+
});
|
|
35
|
+
});
|
|
@@ -0,0 +1,15 @@
|
|
|
1
|
+
|
|
2
|
+
import {
|
|
3
|
+
tonelliShanksBI,
|
|
4
|
+
} from '../src/tonelli-shanks.mjs';
|
|
5
|
+
|
|
6
|
+
describe('tonelli-shanks', () => {
|
|
7
|
+
it('tonelliShanksBI', () => {
|
|
8
|
+
const a = 8479994658316772151941616510097127087554541274812435112009425778595495359700244470400642403747058566807127814165396640215844192327900454116257979487432016769329970767046735091249898678088061634796559556704959846424131820416048436501387617211770124292793308079214153179977624440438616958575058361193975686620046439877308339989295604537867493683872778843921771307305602776398786978353866231661453376056771972069776398999013769588936194859344941268223184197231368887060609212875507518936172060702209557124430477137421847130682601666968691651447236917018634902407704797328509461854842432015009878011354022108661461024768n;
|
|
9
|
+
const p = 30531851861994333252675935111487950694414332763909083514133769861350960895076504687261369815735742549428789138300843082086550059082835141454526618160634109969195486322015775943030060449557090064811940139431735209185996454739163555910726493597222646855506445602953689527405362207926990442391705014604777038685880527537489845359101552442292804398472642356609304810680731556542002301547846635101455995732584071355903010856718680732337369128498655255277003643669031694516851390505923416710601212618443109844041514942401969629158975457079026906304328749039997262960301209158175920051890620947063936347307238412281568760161n;
|
|
10
|
+
const r = tonelliShanksBI(a, p);
|
|
11
|
+
|
|
12
|
+
expect((r * r) % p).toEqual(a);
|
|
13
|
+
});
|
|
14
|
+
|
|
15
|
+
});
|
package/src/mod.mjs
ADDED
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
|
|
2
|
+
// python like mod implementation
|
|
3
|
+
|
|
4
|
+
const getMod = ZERO => {
|
|
5
|
+
return (dividend, divisor) => {
|
|
6
|
+
if ((dividend < ZERO) ^ (divisor < ZERO)) {
|
|
7
|
+
return divisor - (-dividend % divisor);
|
|
8
|
+
}
|
|
9
|
+
return dividend % divisor;
|
|
10
|
+
};
|
|
11
|
+
};
|
|
12
|
+
|
|
13
|
+
export const mod = getMod(0);
|
|
14
|
+
export const modBI = getMod(0n);
|
|
@@ -0,0 +1,44 @@
|
|
|
1
|
+
|
|
2
|
+
import {
|
|
3
|
+
powModBI,
|
|
4
|
+
} from './pow-mod.mjs';
|
|
5
|
+
|
|
6
|
+
/* Takes as input an odd prime p and n < p and returns r
|
|
7
|
+
* such that r * r = n [mod p]. */
|
|
8
|
+
export const tonelliShanksBI = (n, p) => {
|
|
9
|
+
let s = 0n;
|
|
10
|
+
let q = p - 1n;
|
|
11
|
+
while ((q & 1n) === 0n) {
|
|
12
|
+
q /= 2n;
|
|
13
|
+
++s;
|
|
14
|
+
}
|
|
15
|
+
if (s === 1n) {
|
|
16
|
+
const r = powModBI(n, (p+1n) / 4n, p);
|
|
17
|
+
if ((r * r) % p === n) return r;
|
|
18
|
+
return 0n;
|
|
19
|
+
}
|
|
20
|
+
// Find the first quadratic non-residue z by brute-force search
|
|
21
|
+
let z = 1n;
|
|
22
|
+
while (powModBI(++z, (p-1n)/2n, p) !== p - 1n);
|
|
23
|
+
let c = powModBI(z, q, p);
|
|
24
|
+
let r = powModBI(n, (q+1n)/2n, p);
|
|
25
|
+
let t = powModBI(n, q, p);
|
|
26
|
+
let m = s;
|
|
27
|
+
while (t !== 1n) {
|
|
28
|
+
let tt = t;
|
|
29
|
+
let i = 0n;
|
|
30
|
+
while (tt !== 1n) {
|
|
31
|
+
tt = (tt * tt) % p;
|
|
32
|
+
++i;
|
|
33
|
+
if (i === m) return 0n;
|
|
34
|
+
}
|
|
35
|
+
let b = powModBI(c, powModBI(2n, m-i-1n, p-1n), p);
|
|
36
|
+
let b2 = (b * b) % p;
|
|
37
|
+
r = (r * b) % p;
|
|
38
|
+
t = (t * b2) % p;
|
|
39
|
+
c = b2;
|
|
40
|
+
m = i;
|
|
41
|
+
}
|
|
42
|
+
if ((r * r) % p === n) return r;
|
|
43
|
+
return 0n;
|
|
44
|
+
};
|