bigint-mod-arith/README.md

246 lines
9.6 KiB
Markdown
Raw Normal View History

[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)
2020-04-06 22:49:13 +00:00
[![JavaScript Style Guide](https://img.shields.io/badge/code_style-standard-brightgreen.svg)](https://standardjs.com)
![Node CI](https://github.com/juanelas/bigint-mod-arith/workflows/Node%20CI/badge.svg)
[![Coverage Status](https://coveralls.io/repos/github/juanelas/bigint-mod-arith/badge.svg?branch=master)](https://coveralls.io/github/juanelas/bigint-mod-arith?branch=master)
2019-03-17 08:40:35 +00:00
2020-04-06 22:49:13 +00:00
# bigint-mod-arith
2019-04-06 08:50:29 +00:00
2020-04-06 22:49:13 +00:00
Some extra functions to work with modular arithmetic using native JS ([ES-2020](https://tc39.es/ecma262/#sec-bigint-objects)) implementation of BigInt. It can be used by any [Web Browser or webview supporting BigInt](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/BigInt#Browser_compatibility) and with Node.js (>=10.4.0).
2019-04-06 08:50:29 +00:00
2020-04-06 22:49:13 +00:00
> The operations supported on BigInts are not constant time. BigInt can be therefore **[unsuitable for use in cryptography](https://www.chosenplaintext.ca/articles/beginners-guide-constant-time-cryptography.html).** Many platforms provide native support for cryptography, such as [Web Cryptography API](https://w3c.github.io/webcrypto/) or [Node.js Crypto](https://nodejs.org/dist/latest/docs/api/crypto.html).
2019-04-06 08:50:29 +00:00
## Installation
2020-04-06 22:49:13 +00:00
bigint-mod-arith is distributed for [web browsers and/or webviews supporting BigInt](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/BigInt#Browser_compatibility) as an ES6 module or an IIFE file; and for Node.js (>=10.4.0), as a CJS module.
2019-04-06 08:50:29 +00:00
bigint-mod-arith can be imported to your project with `npm`:
2020-04-06 22:49:13 +00:00
2019-04-06 08:50:29 +00:00
```bash
npm install bigint-mod-arith
```
NPM installation defaults to the ES6 module for browsers and the CJS one for Node.js. For web browsers, you can also directly download the [IIFE bundle](https://raw.githubusercontent.com/juanelas/bigint-mod-arith/master/lib/index.browser.bundle.iife.js) or the [ESM bundle](https://raw.githubusercontent.com/juanelas/bigint-mod-arith/master/lib/index.browser.bundle.mod.js) from the repository.
2019-03-17 08:40:35 +00:00
## Usage example
2019-03-17 08:40:35 +00:00
2020-04-06 22:49:13 +00:00
Import your module as :
- Node.js
```javascript
2020-04-06 23:05:56 +00:00
const bigintModArith = require('bigint-mod-arith')
2020-04-06 22:49:13 +00:00
... // your code here
```
2020-04-30 23:40:13 +00:00
- JavaScript native or TypeScript project (including React and Angular)
2020-04-06 22:49:13 +00:00
```javascript
2020-04-06 23:05:56 +00:00
import * as bigintModArith from 'bigint-mod-arith'
2020-04-06 22:49:13 +00:00
... // your code here
```
2020-04-30 23:40:13 +00:00
- JavaScript native browser ES module
2020-04-06 22:49:13 +00:00
```html
<script type="module">
2020-04-08 09:53:15 +00:00
import * as bigintModArith from 'lib/index.browser.bundle.mod.js' // Use you actual path to the broser mod bundle
... // your code here
</script>
2020-04-06 22:49:13 +00:00
```
- JavaScript native browser IIFE
```html
2020-04-30 23:40:13 +00:00
<head>
...
<script src="../../lib/index.browser.bundle.iife.js"></script> <!-- Use you actual path to the browser bundle -->
</head>
<body>
...
<script>
... // your code here
</script>
</body>
2020-04-06 22:49:13 +00:00
```
2020-04-08 09:53:15 +00:00
2020-04-30 23:40:13 +00:00
An example of usage could be:
2019-04-06 10:41:11 +00:00
2020-04-06 22:49:13 +00:00
```javascript
/* Stage 3 BigInts with value 666 can be declared as BigInt('666')
or the shorter syntax 666n.
Notice that you can also pass a number, e.g. BigInt(666), but it is not
recommended since values over 2**53 - 1 won't be safe but no warning will
be raised.
*/
2020-04-06 22:49:13 +00:00
const a = BigInt('5')
const b = BigInt('2')
const n = 19n
2020-04-06 23:05:56 +00:00
console.log(bigintModArith.modPow(a, b, n)) // prints 6
console.log(bigintModArith.modInv(2n, 5n)) // prints 3
2020-04-06 23:05:56 +00:00
console.log(bigintModArith.modInv(BigInt('3'), BigInt('5'))) // prints 2
2019-03-17 08:40:35 +00:00
```
2020-04-07 11:09:27 +00:00
## API reference documentation
2019-03-17 08:40:35 +00:00
2020-04-08 09:53:15 +00:00
<a name="module_bigint-mod-arith"></a>
### bigint-mod-arith
Some common functions for modular arithmetic using native JS implementation of BigInt
* [bigint-mod-arith](#module_bigint-mod-arith)
* [~abs(a)](#module_bigint-mod-arith..abs) ⇒ <code>bigint</code>
* [~bitLength(a)](#module_bigint-mod-arith..bitLength) ⇒ <code>number</code>
* [~eGcd(a, b)](#module_bigint-mod-arith..eGcd) ⇒ <code>egcdReturn</code>
* [~gcd(a, b)](#module_bigint-mod-arith..gcd) ⇒ <code>bigint</code>
* [~lcm(a, b)](#module_bigint-mod-arith..lcm) ⇒ <code>bigint</code>
* [~max(a, b)](#module_bigint-mod-arith..max) ⇒ <code>bigint</code>
* [~min(a, b)](#module_bigint-mod-arith..min) ⇒ <code>bigint</code>
* [~modInv(a, n)](#module_bigint-mod-arith..modInv) ⇒ <code>bigint</code> \| <code>NaN</code>
2020-04-08 09:53:15 +00:00
* [~modPow(b, e, n)](#module_bigint-mod-arith..modPow) ⇒ <code>bigint</code>
* [~toZn(a, n)](#module_bigint-mod-arith..toZn) ⇒ <code>bigint</code>
* [~egcdReturn](#module_bigint-mod-arith..egcdReturn) : <code>Object</code>
<a name="module_bigint-mod-arith..abs"></a>
2019-03-17 08:40:35 +00:00
2020-04-08 09:53:15 +00:00
#### bigint-mod-arith~abs(a) ⇒ <code>bigint</code>
2019-03-17 08:40:35 +00:00
Absolute value. abs(a)==a if a>=0. abs(a)==-a if a<0
2020-04-08 09:53:15 +00:00
**Kind**: inner method of [<code>bigint-mod-arith</code>](#module_bigint-mod-arith)
2019-03-17 08:40:35 +00:00
**Returns**: <code>bigint</code> - the absolute value of a
| Param | Type |
| --- | --- |
| a | <code>number</code> \| <code>bigint</code> |
2020-04-08 09:53:15 +00:00
<a name="module_bigint-mod-arith..bitLength"></a>
2020-04-06 22:49:13 +00:00
2020-04-08 09:53:15 +00:00
#### bigint-mod-arith~bitLength(a) ⇒ <code>number</code>
2020-04-06 22:49:13 +00:00
Returns the bitlength of a number
2020-04-08 09:53:15 +00:00
**Kind**: inner method of [<code>bigint-mod-arith</code>](#module_bigint-mod-arith)
2020-04-06 22:49:13 +00:00
**Returns**: <code>number</code> - - the bit length
| Param | Type |
| --- | --- |
| a | <code>number</code> \| <code>bigint</code> |
2020-04-08 09:53:15 +00:00
<a name="module_bigint-mod-arith..eGcd"></a>
2019-03-17 08:40:35 +00:00
2020-04-08 09:53:15 +00:00
#### bigint-mod-arith~eGcd(a, b) ⇒ <code>egcdReturn</code>
2020-04-06 22:49:13 +00:00
An iterative implementation of the extended euclidean algorithm or extended greatest common divisor algorithm.
Take positive integers a, b as input, and return a triple (g, x, y), such that ax + by = g = gcd(a, b).
2019-03-17 08:40:35 +00:00
2020-04-08 09:53:15 +00:00
**Kind**: inner method of [<code>bigint-mod-arith</code>](#module_bigint-mod-arith)
**Returns**: <code>egcdReturn</code> - A triple (g, x, y), such that ax + by = g = gcd(a, b).
2019-03-17 08:40:35 +00:00
| Param | Type |
| --- | --- |
| a | <code>number</code> \| <code>bigint</code> |
| b | <code>number</code> \| <code>bigint</code> |
2020-04-08 09:53:15 +00:00
<a name="module_bigint-mod-arith..gcd"></a>
2019-03-17 08:40:35 +00:00
2020-04-08 09:53:15 +00:00
#### bigint-mod-arith~gcd(a, b) ⇒ <code>bigint</code>
Greatest-common divisor of two integers based on the iterative binary algorithm.
2019-03-17 08:40:35 +00:00
2020-04-08 09:53:15 +00:00
**Kind**: inner method of [<code>bigint-mod-arith</code>](#module_bigint-mod-arith)
**Returns**: <code>bigint</code> - The greatest common divisor of a and b
2019-03-17 08:40:35 +00:00
| Param | Type |
| --- | --- |
| a | <code>number</code> \| <code>bigint</code> |
| b | <code>number</code> \| <code>bigint</code> |
2020-04-08 09:53:15 +00:00
<a name="module_bigint-mod-arith..lcm"></a>
2019-03-17 08:40:35 +00:00
2020-04-08 09:53:15 +00:00
#### bigint-mod-arith~lcm(a, b) ⇒ <code>bigint</code>
The least common multiple computed as abs(a*b)/gcd(a,b)
2019-03-17 08:40:35 +00:00
2020-04-08 09:53:15 +00:00
**Kind**: inner method of [<code>bigint-mod-arith</code>](#module_bigint-mod-arith)
**Returns**: <code>bigint</code> - The least common multiple of a and b
2019-03-17 08:40:35 +00:00
| Param | Type |
| --- | --- |
| a | <code>number</code> \| <code>bigint</code> |
| b | <code>number</code> \| <code>bigint</code> |
2020-04-08 09:53:15 +00:00
<a name="module_bigint-mod-arith..max"></a>
2020-04-06 22:49:13 +00:00
2020-04-08 09:53:15 +00:00
#### bigint-mod-arith~max(a, b) ⇒ <code>bigint</code>
2020-04-06 22:49:13 +00:00
Maximum. max(a,b)==a if a>=b. max(a,b)==b if a<=b
2020-04-08 09:53:15 +00:00
**Kind**: inner method of [<code>bigint-mod-arith</code>](#module_bigint-mod-arith)
2020-04-06 22:49:13 +00:00
**Returns**: <code>bigint</code> - maximum of numbers a and b
| Param | Type |
| --- | --- |
| a | <code>number</code> \| <code>bigint</code> |
| b | <code>number</code> \| <code>bigint</code> |
2020-04-08 09:53:15 +00:00
<a name="module_bigint-mod-arith..min"></a>
2020-04-06 22:49:13 +00:00
2020-04-08 09:53:15 +00:00
#### bigint-mod-arith~min(a, b) ⇒ <code>bigint</code>
2020-04-06 22:49:13 +00:00
Minimum. min(a,b)==b if a>=b. min(a,b)==a if a<=b
2020-04-08 09:53:15 +00:00
**Kind**: inner method of [<code>bigint-mod-arith</code>](#module_bigint-mod-arith)
2020-04-06 22:49:13 +00:00
**Returns**: <code>bigint</code> - minimum of numbers a and b
| Param | Type |
| --- | --- |
| a | <code>number</code> \| <code>bigint</code> |
| b | <code>number</code> \| <code>bigint</code> |
2020-04-08 09:53:15 +00:00
<a name="module_bigint-mod-arith..modInv"></a>
2019-03-17 08:40:35 +00:00
#### bigint-mod-arith~modInv(a, n) ⇒ <code>bigint</code> \| <code>NaN</code>
2019-03-17 08:40:35 +00:00
Modular inverse.
2020-04-08 09:53:15 +00:00
**Kind**: inner method of [<code>bigint-mod-arith</code>](#module_bigint-mod-arith)
**Returns**: <code>bigint</code> \| <code>NaN</code> - the inverse modulo n or NaN if it does not exist
2019-03-17 08:40:35 +00:00
| Param | Type | Description |
| --- | --- | --- |
| a | <code>number</code> \| <code>bigint</code> | The number to find an inverse for |
| n | <code>number</code> \| <code>bigint</code> | The modulo |
2020-04-08 09:53:15 +00:00
<a name="module_bigint-mod-arith..modPow"></a>
2019-03-17 08:40:35 +00:00
2020-04-08 09:53:15 +00:00
#### bigint-mod-arith~modPow(b, e, n) ⇒ <code>bigint</code>
2020-04-06 22:49:13 +00:00
Modular exponentiation b**e mod n. Currently using the right-to-left binary method
2019-03-17 08:40:35 +00:00
2020-04-08 09:53:15 +00:00
**Kind**: inner method of [<code>bigint-mod-arith</code>](#module_bigint-mod-arith)
2020-04-06 22:49:13 +00:00
**Returns**: <code>bigint</code> - b**e mod n
2019-03-17 08:40:35 +00:00
| Param | Type | Description |
| --- | --- | --- |
2020-04-06 22:49:13 +00:00
| b | <code>number</code> \| <code>bigint</code> | base |
| e | <code>number</code> \| <code>bigint</code> | exponent |
2019-03-17 08:40:35 +00:00
| n | <code>number</code> \| <code>bigint</code> | modulo |
2020-04-08 09:53:15 +00:00
<a name="module_bigint-mod-arith..toZn"></a>
2020-04-08 09:53:15 +00:00
#### bigint-mod-arith~toZn(a, n) ⇒ <code>bigint</code>
Finds the smallest positive element that is congruent to a in modulo n
2020-04-08 09:53:15 +00:00
**Kind**: inner method of [<code>bigint-mod-arith</code>](#module_bigint-mod-arith)
**Returns**: <code>bigint</code> - The smallest positive representation of a in modulo n
| Param | Type | Description |
| --- | --- | --- |
| a | <code>number</code> \| <code>bigint</code> | An integer |
| n | <code>number</code> \| <code>bigint</code> | The modulo |
2020-04-08 09:53:15 +00:00
<a name="module_bigint-mod-arith..egcdReturn"></a>
2019-03-17 08:40:35 +00:00
2020-04-08 09:53:15 +00:00
#### bigint-mod-arith~egcdReturn : <code>Object</code>
2019-03-17 08:40:35 +00:00
A triple (g, x, y), such that ax + by = g = gcd(a, b).
2020-04-08 09:53:15 +00:00
**Kind**: inner typedef of [<code>bigint-mod-arith</code>](#module_bigint-mod-arith)
2019-03-17 08:40:35 +00:00
**Properties**
| Name | Type |
| --- | --- |
| g | <code>bigint</code> |
| x | <code>bigint</code> |
| y | <code>bigint</code> |