micro-zk-proofs/msm.js

Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography

/**
 * MSM - Multi Scalar Multiplication. Done in parallel using micro-wrkr.
 * MSM is a fast algorithm to add & multiply many elliptic curve points at once.
 * @module
 */
import {} from '@noble/curves/abstract/modular';
import {} from '@noble/curves/abstract/weierstrass';
import { bn254 } from '@noble/curves/bn254';
import { wrkr } from 'micro-wrkr';
import {} from "./msm-worker.js";
function reducePoint(p) {
    return (lst) => lst.map((i) => new p(i.px, i.py, i.pz)).reduce((acc, i) => acc.add(i), p.ZERO);
}
export function initMSM() {
    const { methods, terminate } = wrkr.initBatch(() => new Worker(new URL('./msm-worker.js', import.meta.url), { type: 'module' }), {
        bn254_msmG1: reducePoint(bn254.G1.ProjectivePoint),
        bn254_msmG2: reducePoint(bn254.G2.ProjectivePoint),
    });
    return { methods, terminate };
}
export function modifyArgs(field, point, fn) {
    return async (points, scalars) => {
        if (points.length !== scalars.length)
            throw new Error('points.length !== scalars.length');
        const input = [];
        for (let i = 0; i < points.length; i++) {
            const scalar = scalars[i];
            if (field.is0(scalar))
                continue;
            input.push({ point: points[i], scalar });
        }
        // NOTE: buildGroth accepts curve and can be build with different version of @noble/curves,
        // so we convert it here.
        const res = (await fn(input));
        return res instanceof point ? res : new point(res.px, res.py, res.pz);
    };
}
//# sourceMappingURL=msm.js.map