12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667 |
- import { CurveFn } from './abstract/bls.js';
- import * as mod from './abstract/modular.js';
- declare const Fp: Readonly<mod.IField<bigint> & Required<Pick<mod.IField<bigint>, "isOdd">>>;
- type Fp = bigint;
- type BigintTuple = [bigint, bigint];
- type Fp2 = {
- c0: bigint;
- c1: bigint;
- };
- type Fp2Utils = {
- fromBigTuple: (tuple: BigintTuple | bigint[]) => Fp2;
- reim: (num: Fp2) => {
- re: bigint;
- im: bigint;
- };
- mulByNonresidue: (num: Fp2) => Fp2;
- multiplyByB: (num: Fp2) => Fp2;
- frobeniusMap(num: Fp2, power: number): Fp2;
- };
- declare const Fp2: mod.IField<Fp2> & Fp2Utils;
- type BigintSix = [bigint, bigint, bigint, bigint, bigint, bigint];
- type Fp6 = {
- c0: Fp2;
- c1: Fp2;
- c2: Fp2;
- };
- type Fp6Utils = {
- fromBigSix: (tuple: BigintSix) => Fp6;
- mulByNonresidue: (num: Fp6) => Fp6;
- frobeniusMap(num: Fp6, power: number): Fp6;
- multiplyBy1(num: Fp6, b1: Fp2): Fp6;
- multiplyBy01(num: Fp6, b0: Fp2, b1: Fp2): Fp6;
- multiplyByFp2(lhs: Fp6, rhs: Fp2): Fp6;
- };
- declare const Fp6: mod.IField<Fp6> & Fp6Utils;
- type Fp12 = {
- c0: Fp6;
- c1: Fp6;
- };
- type BigintTwelve = [
- bigint,
- bigint,
- bigint,
- bigint,
- bigint,
- bigint,
- bigint,
- bigint,
- bigint,
- bigint,
- bigint,
- bigint
- ];
- type Fp12Utils = {
- fromBigTwelve: (t: BigintTwelve) => Fp12;
- frobeniusMap(num: Fp12, power: number): Fp12;
- multiplyBy014(num: Fp12, o0: Fp2, o1: Fp2, o4: Fp2): Fp12;
- multiplyByFp2(lhs: Fp12, rhs: Fp2): Fp12;
- conjugate(num: Fp12): Fp12;
- finalExponentiate(num: Fp12): Fp12;
- _cyclotomicSquare(num: Fp12): Fp12;
- _cyclotomicExp(num: Fp12, n: bigint): Fp12;
- };
- declare const Fp12: mod.IField<Fp12> & Fp12Utils;
- export declare const bls12_381: CurveFn<Fp, Fp2, Fp6, Fp12>;
- export {};
- //# sourceMappingURL=bls12-381.d.ts.map
|