@feelyourprotocol/evm 8141.0.0

package/dist/esm/precompiles/0a-kzg-point-evaluation.js

@@ -0,0 +1,64 @@
+import { EthereumJSErrorWithoutCode, bigIntToBytes, bytesToHex, computeVersionedHash, concatBytes, setLengthLeft, } from '@feelyourprotocol/util';
+import { EVMError } from "../errors.js";
+import { EVMErrorResult, OOGResult } from "../evm.js";
+import { getPrecompileName } from "./index.js";
+import { gasLimitCheck } from "./util.js";
+export const BLS_MODULUS = BigInt('52435875175126190479447740508185965837690552500527637822603658699938581184513');
+const modulusBuffer = setLengthLeft(bigIntToBytes(BLS_MODULUS), 32);
+export async function precompile0a(opts) {
+    const pName = getPrecompileName('0a');
+    if (opts.common.customCrypto?.kzg === undefined) {
+        throw EthereumJSErrorWithoutCode('kzg not initialized');
+    }
+    const gasUsed = opts.common.param('kzgPointEvaluationPrecompileGas');
+    if (!gasLimitCheck(opts, gasUsed, pName)) {
+        return OOGResult(opts.gasLimit);
+    }
+    if (opts.data.length !== 192) {
+        return EVMErrorResult(new EVMError(EVMError.errorMessages.INVALID_INPUT_LENGTH), opts.gasLimit);
+    }
+    const version = Number(opts.common.param('blobCommitmentVersionKzg'));
+    const fieldElementsPerBlob = opts.common.param('fieldElementsPerBlob');
+    const versionedHash = bytesToHex(opts.data.subarray(0, 32));
+    const z = bytesToHex(opts.data.subarray(32, 64));
+    const y = bytesToHex(opts.data.subarray(64, 96));
+    const commitment = bytesToHex(opts.data.subarray(96, 144));
+    const kzgProof = bytesToHex(opts.data.subarray(144, 192));
+    if (computeVersionedHash(commitment, version) !== versionedHash) {
+        if (opts._debug !== undefined) {
+            opts._debug(`${pName} failed: INVALID_COMMITMENT`);
+        }
+        return EVMErrorResult(new EVMError(EVMError.errorMessages.INVALID_COMMITMENT), opts.gasLimit);
+    }
+    if (opts._debug !== undefined) {
+        opts._debug(`${pName}: proof verification with commitment=${commitment} z=${z} y=${y} kzgProof=${kzgProof}`);
+    }
+    try {
+        const res = opts.common.customCrypto?.kzg?.verifyProof(commitment, z, y, kzgProof);
+        if (res === false) {
+            return EVMErrorResult(new EVMError(EVMError.errorMessages.INVALID_PROOF), opts.gasLimit);
+        }
+    }
+    catch (err) {
+        if (((err.message.includes('C_KZG_BADARGS') === true) === true) === true) {
+            if (opts._debug !== undefined) {
+                opts._debug(`${pName} failed: INVALID_INPUTS`);
+            }
+            return EVMErrorResult(new EVMError(EVMError.errorMessages.INVALID_INPUTS), opts.gasLimit);
+        }
+        if (opts._debug !== undefined) {
+            opts._debug(`${pName} failed: Unknown error - ${err.message}`);
+        }
+        return EVMErrorResult(new EVMError(EVMError.errorMessages.REVERT), opts.gasLimit);
+    }
+    // Return value - FIELD_ELEMENTS_PER_BLOB and BLS_MODULUS as padded 32 byte big endian values
+    const fieldElementsBuffer = setLengthLeft(bigIntToBytes(fieldElementsPerBlob), 32);
+    if (opts._debug !== undefined) {
+        opts._debug(`${pName} return fieldElements=${bytesToHex(fieldElementsBuffer)} modulus=${bytesToHex(modulusBuffer)}`);
+    }
+    return {
+        executionGasUsed: gasUsed,
+        returnValue: concatBytes(fieldElementsBuffer, modulusBuffer),
+    };
+}
+//# sourceMappingURL=0a-kzg-point-evaluation.js.map

package/dist/esm/precompiles/0a-kzg-point-evaluation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"0a-kzg-point-evaluation.js","sourceRoot":"","sources":["../../../src/precompiles/0a-kzg-point-evaluation.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,0BAA0B,EAC1B,aAAa,EACb,UAAU,EACV,oBAAoB,EACpB,WAAW,EACX,aAAa,GACd,MAAM,kBAAkB,CAAA;AAEzB,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AACvC,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAErD,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAA;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AAKzC,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAC/B,+EAA+E,CAChF,CAAA;AAED,MAAM,aAAa,GAAG,aAAa,CAAC,aAAa,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAA;AAEnE,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAqB;IACtD,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAA;IACrC,IAAI,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,GAAG,KAAK,SAAS,EAAE,CAAC;QAChD,MAAM,0BAA0B,CAAC,qBAAqB,CAAC,CAAA;IACzD,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,iCAAiC,CAAC,CAAA;IACpE,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;QACzC,OAAO,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACjC,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,GAAG,EAAE,CAAC;QAC7B,OAAO,cAAc,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,oBAAoB,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAA;IACjG,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC,CAAA;IACrE,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAA;IACtE,MAAM,aAAa,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IAC3D,MAAM,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;IAChD,MAAM,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;IAChD,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAA;IAC1D,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAA;IAEzD,IAAI,oBAAoB,CAAC,UAAU,EAAE,OAAO,CAAC,KAAK,aAAa,EAAE,CAAC;QAChE,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,6BAA6B,CAAC,CAAA;QACpD,CAAC;QACD,OAAO,cAAc,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,kBAAkB,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAA;IAC/F,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CACT,GAAG,KAAK,wCACN,UACF,MAAM,CAAC,MAAM,CAAC,aAAa,QAAQ,EAAE,CACtC,CAAA;IACH,CAAC;IACD,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,GAAG,EAAE,WAAW,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAA;QAClF,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;YAClB,OAAO,cAAc,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAA;QAC1F,CAAC;IACH,CAAC;IAAC,OAAO,GAAQ,EAAE,CAAC;QAClB,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,KAAK,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACzE,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC9B,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,yBAAyB,CAAC,CAAA;YAChD,CAAC;YACD,OAAO,cAAc,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,cAAc,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAA;QAC3F,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,4BAA4B,GAAG,CAAC,OAAO,EAAE,CAAC,CAAA;QAChE,CAAC;QACD,OAAO,cAAc,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAA;IACnF,CAAC;IAED,6FAA6F;IAC7F,MAAM,mBAAmB,GAAG,aAAa,CAAC,aAAa,CAAC,oBAAoB,CAAC,EAAE,EAAE,CAAC,CAAA;IAElF,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CACT,GAAG,KAAK,yBAAyB,UAAU,CACzC,mBAAmB,CACpB,YAAY,UAAU,CAAC,aAAa,CAAC,EAAE,CACzC,CAAA;IACH,CAAC;IAED,OAAO;QACL,gBAAgB,EAAE,OAAO;QACzB,WAAW,EAAE,WAAW,CAAC,mBAAmB,EAAE,aAAa,CAAC;KAC7D,CAAA;AACH,CAAC"}

package/dist/esm/precompiles/0b-bls12-g1add.d.ts

@@ -0,0 +1,4 @@
+import type { ExecResult } from '../types.ts';
+import type { PrecompileInput } from './types.ts';
+export declare function precompile0b(opts: PrecompileInput): Promise<ExecResult>;
+//# sourceMappingURL=0b-bls12-g1add.d.ts.map

package/dist/esm/precompiles/0b-bls12-g1add.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"0b-bls12-g1add.d.ts","sourceRoot":"","sources":["../../../src/precompiles/0b-bls12-g1add.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAC7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAEjD,wBAAsB,YAAY,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,CAiD7E"}

package/dist/esm/precompiles/0b-bls12-g1add.js

@@ -0,0 +1,46 @@
+import { bytesToHex } from '@feelyourprotocol/util';
+import { EVMError } from "../errors.js";
+import { EVMErrorResult, OOGResult } from "../evm.js";
+import { leading16ZeroBytesCheck } from "./bls12_381/index.js";
+import { getPrecompileName } from "./index.js";
+import { equalityLengthCheck, gasLimitCheck } from "./util.js";
+export async function precompile0b(opts) {
+    const pName = getPrecompileName('0b');
+    const bls = opts._EVM['_bls'];
+    // note: the gas used is constant; even if the input is incorrect.
+    const gasUsed = opts.common.param('bls12381G1AddGas');
+    if (!gasLimitCheck(opts, gasUsed, pName)) {
+        return OOGResult(opts.gasLimit);
+    }
+    if (!equalityLengthCheck(opts, 256, pName)) {
+        return EVMErrorResult(new EVMError(EVMError.errorMessages.BLS_12_381_INVALID_INPUT_LENGTH), opts.gasLimit);
+    }
+    // check if some parts of input are zero bytes.
+    const zeroByteRanges = [
+        [0, 16],
+        [64, 80],
+        [128, 144],
+        [192, 208],
+    ];
+    if (!leading16ZeroBytesCheck(opts, zeroByteRanges, pName)) {
+        return EVMErrorResult(new EVMError(EVMError.errorMessages.BLS_12_381_POINT_NOT_ON_CURVE), opts.gasLimit);
+    }
+    let returnValue;
+    try {
+        returnValue = bls.addG1(opts.data);
+    }
+    catch (e) {
+        if (opts._debug !== undefined) {
+            opts._debug(`${pName} failed: ${e.message}`);
+        }
+        return EVMErrorResult(e, opts.gasLimit);
+    }
+    if (opts._debug !== undefined) {
+        opts._debug(`${pName} return value=${bytesToHex(returnValue)}`);
+    }
+    return {
+        executionGasUsed: gasUsed,
+        returnValue,
+    };
+}
+//# sourceMappingURL=0b-bls12-g1add.js.map

package/dist/esm/precompiles/0b-bls12-g1add.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"0b-bls12-g1add.js","sourceRoot":"","sources":["../../../src/precompiles/0b-bls12-g1add.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAE7C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAEvC,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAErD,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAA;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAA;AAC9C,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AAK9D,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAqB;IACtD,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAA;IACrC,MAAM,GAAG,GAAI,IAAI,CAAC,IAAY,CAAC,MAAM,CAAE,CAAA;IAEvC,kEAAkE;IAClE,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAA;IACrD,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;QACzC,OAAO,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACjC,CAAC;IAED,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,cAAc,CACnB,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,+BAA+B,CAAC,EACpE,IAAI,CAAC,QAAQ,CACd,CAAA;IACH,CAAC;IAED,+CAA+C;IAC/C,MAAM,cAAc,GAAG;QACrB,CAAC,CAAC,EAAE,EAAE,CAAC;QACP,CAAC,EAAE,EAAE,EAAE,CAAC;QACR,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;KACX,CAAA;IACD,IAAI,CAAC,uBAAuB,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,CAAC,EAAE,CAAC;QAC1D,OAAO,cAAc,CACnB,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,6BAA6B,CAAC,EAClE,IAAI,CAAC,QAAQ,CACd,CAAA;IACH,CAAC;IAED,IAAI,WAAW,CAAA;IACf,IAAI,CAAC;QACH,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACpC,CAAC;IAAC,OAAO,CAAM,EAAE,CAAC;QAChB,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,YAAY,CAAC,CAAC,OAAO,EAAE,CAAC,CAAA;QAC9C,CAAC;QACD,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAA;IACzC,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,iBAAiB,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC,CAAA;IACjE,CAAC;IAED,OAAO;QACL,gBAAgB,EAAE,OAAO;QACzB,WAAW;KACZ,CAAA;AACH,CAAC"}

package/dist/esm/precompiles/0c-bls12-g1msm.d.ts

@@ -0,0 +1,4 @@
+import type { ExecResult } from '../types.ts';
+import type { PrecompileInput } from './types.ts';
+export declare function precompile0c(opts: PrecompileInput): Promise<ExecResult>;
+//# sourceMappingURL=0c-bls12-g1msm.d.ts.map

package/dist/esm/precompiles/0c-bls12-g1msm.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"0c-bls12-g1msm.d.ts","sourceRoot":"","sources":["../../../src/precompiles/0c-bls12-g1msm.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAC7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAEjD,wBAAsB,YAAY,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,CAqE7E"}

package/dist/esm/precompiles/0c-bls12-g1msm.js

@@ -0,0 +1,59 @@
+import { bytesToHex } from '@feelyourprotocol/util';
+import { EVMError } from "../errors.js";
+import { EVMErrorResult, OOGResult } from "../evm.js";
+import { BLS_GAS_DISCOUNT_PAIRS_G1, leading16ZeroBytesCheck, msmGasUsed, } from "./bls12_381/index.js";
+import { getPrecompileName } from "./index.js";
+import { gasLimitCheck, moduloLengthCheck } from "./util.js";
+export async function precompile0c(opts) {
+    const pName = getPrecompileName('0d');
+    const bls = opts._EVM['_bls'];
+    const inputData = opts.data;
+    if (inputData.length === 0) {
+        if (opts._debug !== undefined) {
+            opts._debug(`${pName} failed: Empty input`);
+        }
+        return EVMErrorResult(new EVMError(EVMError.errorMessages.BLS_12_381_INPUT_EMPTY), opts.gasLimit); // follow Geth's implementation
+    }
+    // TODO: Double-check respectively confirm that this order is really correct that the gas check
+    // on this eventually to be "floored" pair number should happen before the input length modulo
+    // validation (same for g2msm)
+    const numPairs = Math.floor(inputData.length / 160);
+    const gasUsedPerPair = opts.common.param('bls12381G1MulGas');
+    const gasUsed = msmGasUsed(numPairs, gasUsedPerPair, BLS_GAS_DISCOUNT_PAIRS_G1);
+    if (!gasLimitCheck(opts, gasUsed, pName)) {
+        return OOGResult(opts.gasLimit);
+    }
+    if (!moduloLengthCheck(opts, 160, pName)) {
+        return EVMErrorResult(new EVMError(EVMError.errorMessages.BLS_12_381_INVALID_INPUT_LENGTH), opts.gasLimit);
+    }
+    // prepare pairing list and check for mandatory zero bytes
+    const zeroByteRanges = [
+        [0, 16],
+        [64, 80],
+    ];
+    for (let k = 0; k < numPairs; k++) {
+        // zero bytes check
+        const pairStart = 160 * k;
+        if (!leading16ZeroBytesCheck(opts, zeroByteRanges, pName, pairStart)) {
+            return EVMErrorResult(new EVMError(EVMError.errorMessages.BLS_12_381_POINT_NOT_ON_CURVE), opts.gasLimit);
+        }
+    }
+    let returnValue;
+    try {
+        returnValue = bls.msmG1(opts.data);
+    }
+    catch (e) {
+        if (opts._debug !== undefined) {
+            opts._debug(`${pName} failed: ${e.message}`);
+        }
+        return EVMErrorResult(e, opts.gasLimit);
+    }
+    if (opts._debug !== undefined) {
+        opts._debug(`${pName} return value=${bytesToHex(returnValue)}`);
+    }
+    return {
+        executionGasUsed: gasUsed,
+        returnValue,
+    };
+}
+//# sourceMappingURL=0c-bls12-g1msm.js.map

package/dist/esm/precompiles/0c-bls12-g1msm.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"0c-bls12-g1msm.js","sourceRoot":"","sources":["../../../src/precompiles/0c-bls12-g1msm.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAE7C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAEvC,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAErD,OAAO,EACL,yBAAyB,EACzB,uBAAuB,EACvB,UAAU,GACX,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAA;AAC9C,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAA;AAK5D,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAqB;IACtD,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAA;IACrC,MAAM,GAAG,GAAI,IAAI,CAAC,IAAY,CAAC,MAAM,CAAE,CAAA;IAEvC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAA;IAE3B,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,sBAAsB,CAAC,CAAA;QAC7C,CAAC;QACD,OAAO,cAAc,CACnB,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,sBAAsB,CAAC,EAC3D,IAAI,CAAC,QAAQ,CACd,CAAA,CAAC,+BAA+B;IACnC,CAAC;IAED,+FAA+F;IAC/F,8FAA8F;IAC9F,8BAA8B;IAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,GAAG,CAAC,CAAA;IACnD,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAA;IAC5D,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,EAAE,cAAc,EAAE,yBAAyB,CAAC,CAAA;IAE/E,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;QACzC,OAAO,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACjC,CAAC;IAED,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC;QACzC,OAAO,cAAc,CACnB,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,+BAA+B,CAAC,EACpE,IAAI,CAAC,QAAQ,CACd,CAAA;IACH,CAAC;IAED,0DAA0D;IAC1D,MAAM,cAAc,GAAG;QACrB,CAAC,CAAC,EAAE,EAAE,CAAC;QACP,CAAC,EAAE,EAAE,EAAE,CAAC;KACT,CAAA;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,mBAAmB;QACnB,MAAM,SAAS,GAAG,GAAG,GAAG,CAAC,CAAA;QACzB,IAAI,CAAC,uBAAuB,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;YACrE,OAAO,cAAc,CACnB,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,6BAA6B,CAAC,EAClE,IAAI,CAAC,QAAQ,CACd,CAAA;QACH,CAAC;IACH,CAAC;IAED,IAAI,WAAW,CAAA;IACf,IAAI,CAAC;QACH,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACpC,CAAC;IAAC,OAAO,CAAM,EAAE,CAAC;QAChB,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,YAAY,CAAC,CAAC,OAAO,EAAE,CAAC,CAAA;QAC9C,CAAC;QACD,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAA;IACzC,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,iBAAiB,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC,CAAA;IACjE,CAAC;IAED,OAAO;QACL,gBAAgB,EAAE,OAAO;QACzB,WAAW;KACZ,CAAA;AACH,CAAC"}

package/dist/esm/precompiles/0d-bls12-g2add.d.ts

@@ -0,0 +1,4 @@
+import type { ExecResult } from '../types.ts';
+import type { PrecompileInput } from './types.ts';
+export declare function precompile0d(opts: PrecompileInput): Promise<ExecResult>;
+//# sourceMappingURL=0d-bls12-g2add.d.ts.map

package/dist/esm/precompiles/0d-bls12-g2add.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"0d-bls12-g2add.d.ts","sourceRoot":"","sources":["../../../src/precompiles/0d-bls12-g2add.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAC7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAEjD,wBAAsB,YAAY,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,CAoD7E"}

package/dist/esm/precompiles/0d-bls12-g2add.js

@@ -0,0 +1,48 @@
+import { bytesToHex } from '@feelyourprotocol/util';
+import { EVMError } from "../errors.js";
+import { EVMErrorResult, OOGResult } from "../evm.js";
+import { leading16ZeroBytesCheck } from "./bls12_381/index.js";
+import { getPrecompileName } from "./index.js";
+import { equalityLengthCheck, gasLimitCheck } from "./util.js";
+export async function precompile0d(opts) {
+    const pName = getPrecompileName('0e');
+    const bls = opts._EVM['_bls'];
+    // note: the gas used is constant; even if the input is incorrect.
+    const gasUsed = opts.common.param('bls12381G2AddGas');
+    if (!gasLimitCheck(opts, gasUsed, pName)) {
+        return OOGResult(opts.gasLimit);
+    }
+    if (!equalityLengthCheck(opts, 512, pName)) {
+        return EVMErrorResult(new EVMError(EVMError.errorMessages.BLS_12_381_INVALID_INPUT_LENGTH), opts.gasLimit);
+    }
+    // check if some parts of input are zero bytes.
+    const zeroByteRanges = [
+        [0, 16],
+        [64, 80],
+        [128, 144],
+        [192, 208],
+        [256, 272],
+        [320, 336],
+        [384, 400],
+        [448, 464],
+    ];
+    if (!leading16ZeroBytesCheck(opts, zeroByteRanges, pName)) {
+        return EVMErrorResult(new EVMError(EVMError.errorMessages.BLS_12_381_POINT_NOT_ON_CURVE), opts.gasLimit);
+    }
+    // TODO: verify that point is on G2
+    let returnValue;
+    try {
+        returnValue = bls.addG2(opts.data);
+    }
+    catch (e) {
+        return EVMErrorResult(e, opts.gasLimit);
+    }
+    if (opts._debug !== undefined) {
+        opts._debug(`${pName} return value=${bytesToHex(returnValue)}`);
+    }
+    return {
+        executionGasUsed: gasUsed,
+        returnValue,
+    };
+}
+//# sourceMappingURL=0d-bls12-g2add.js.map

package/dist/esm/precompiles/0d-bls12-g2add.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"0d-bls12-g2add.js","sourceRoot":"","sources":["../../../src/precompiles/0d-bls12-g2add.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAE7C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAEvC,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAErD,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAA;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAA;AAC9C,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AAK9D,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAqB;IACtD,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAA;IACrC,MAAM,GAAG,GAAI,IAAI,CAAC,IAAY,CAAC,MAAM,CAAE,CAAA;IAEvC,kEAAkE;IAClE,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAA;IACrD,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;QACzC,OAAO,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACjC,CAAC;IAED,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,cAAc,CACnB,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,+BAA+B,CAAC,EACpE,IAAI,CAAC,QAAQ,CACd,CAAA;IACH,CAAC;IAED,+CAA+C;IAC/C,MAAM,cAAc,GAAG;QACrB,CAAC,CAAC,EAAE,EAAE,CAAC;QACP,CAAC,EAAE,EAAE,EAAE,CAAC;QACR,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;KACX,CAAA;IACD,IAAI,CAAC,uBAAuB,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,CAAC,EAAE,CAAC;QAC1D,OAAO,cAAc,CACnB,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,6BAA6B,CAAC,EAClE,IAAI,CAAC,QAAQ,CACd,CAAA;IACH,CAAC;IAED,mCAAmC;IAEnC,IAAI,WAAW,CAAA;IACf,IAAI,CAAC;QACH,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACpC,CAAC;IAAC,OAAO,CAAM,EAAE,CAAC;QAChB,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAA;IACzC,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,iBAAiB,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC,CAAA;IACjE,CAAC;IAED,OAAO;QACL,gBAAgB,EAAE,OAAO;QACzB,WAAW;KACZ,CAAA;AACH,CAAC"}

package/dist/esm/precompiles/0e-bls12-g2msm.d.ts

@@ -0,0 +1,4 @@
+import type { ExecResult } from '../types.ts';
+import type { PrecompileInput } from './types.ts';
+export declare function precompile0e(opts: PrecompileInput): Promise<ExecResult>;
+//# sourceMappingURL=0e-bls12-g2msm.d.ts.map

package/dist/esm/precompiles/0e-bls12-g2msm.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"0e-bls12-g2msm.d.ts","sourceRoot":"","sources":["../../../src/precompiles/0e-bls12-g2msm.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAC7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAEjD,wBAAsB,YAAY,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,CAkE7E"}

package/dist/esm/precompiles/0e-bls12-g2msm.js

@@ -0,0 +1,57 @@
+import { bytesToHex } from '@feelyourprotocol/util';
+import { EVMError } from "../errors.js";
+import { EVMErrorResult, OOGResult } from "../evm.js";
+import { BLS_GAS_DISCOUNT_PAIRS_G2, leading16ZeroBytesCheck, msmGasUsed, } from "./bls12_381/index.js";
+import { getPrecompileName } from "./index.js";
+import { gasLimitCheck, moduloLengthCheck } from "./util.js";
+export async function precompile0e(opts) {
+    const pName = getPrecompileName('10');
+    const bls = opts._EVM['_bls'];
+    if (opts.data.length === 0) {
+        if (opts._debug !== undefined) {
+            opts._debug(`${pName} failed: Empty input`);
+        }
+        return EVMErrorResult(new EVMError(EVMError.errorMessages.BLS_12_381_INPUT_EMPTY), opts.gasLimit); // follow Geth's implementation
+    }
+    const numPairs = Math.floor(opts.data.length / 288);
+    const gasUsedPerPair = opts.common.param('bls12381G2MulGas');
+    const gasUsed = msmGasUsed(numPairs, gasUsedPerPair, BLS_GAS_DISCOUNT_PAIRS_G2);
+    if (!gasLimitCheck(opts, gasUsed, pName)) {
+        return OOGResult(opts.gasLimit);
+    }
+    if (!moduloLengthCheck(opts, 288, pName)) {
+        return EVMErrorResult(new EVMError(EVMError.errorMessages.BLS_12_381_INVALID_INPUT_LENGTH), opts.gasLimit);
+    }
+    // prepare pairing list and check for mandatory zero bytes
+    const zeroByteRanges = [
+        [0, 16],
+        [64, 80],
+        [128, 144],
+        [192, 208],
+    ];
+    for (let k = 0; k < numPairs; k++) {
+        // zero bytes check
+        const pairStart = 288 * k;
+        if (!leading16ZeroBytesCheck(opts, zeroByteRanges, pName, pairStart)) {
+            return EVMErrorResult(new EVMError(EVMError.errorMessages.BLS_12_381_POINT_NOT_ON_CURVE), opts.gasLimit);
+        }
+    }
+    let returnValue;
+    try {
+        returnValue = bls.msmG2(opts.data);
+    }
+    catch (e) {
+        if (opts._debug !== undefined) {
+            opts._debug(`${pName} failed: ${e.message}`);
+        }
+        return EVMErrorResult(e, opts.gasLimit);
+    }
+    if (opts._debug !== undefined) {
+        opts._debug(`${pName} return value=${bytesToHex(returnValue)}`);
+    }
+    return {
+        executionGasUsed: gasUsed,
+        returnValue,
+    };
+}
+//# sourceMappingURL=0e-bls12-g2msm.js.map

package/dist/esm/precompiles/0e-bls12-g2msm.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"0e-bls12-g2msm.js","sourceRoot":"","sources":["../../../src/precompiles/0e-bls12-g2msm.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAE7C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAEvC,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAErD,OAAO,EACL,yBAAyB,EACzB,uBAAuB,EACvB,UAAU,GACX,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAA;AAC9C,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAA;AAK5D,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAqB;IACtD,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAA;IACrC,MAAM,GAAG,GAAI,IAAI,CAAC,IAAY,CAAC,MAAM,CAAE,CAAA;IAEvC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,sBAAsB,CAAC,CAAA;QAC7C,CAAC;QACD,OAAO,cAAc,CACnB,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,sBAAsB,CAAC,EAC3D,IAAI,CAAC,QAAQ,CACd,CAAA,CAAC,+BAA+B;IACnC,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,CAAA;IACnD,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAA;IAC5D,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,EAAE,cAAc,EAAE,yBAAyB,CAAC,CAAA;IAE/E,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;QACzC,OAAO,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACjC,CAAC;IAED,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC;QACzC,OAAO,cAAc,CACnB,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,+BAA+B,CAAC,EACpE,IAAI,CAAC,QAAQ,CACd,CAAA;IACH,CAAC;IAED,0DAA0D;IAC1D,MAAM,cAAc,GAAG;QACrB,CAAC,CAAC,EAAE,EAAE,CAAC;QACP,CAAC,EAAE,EAAE,EAAE,CAAC;QACR,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;KACX,CAAA;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,mBAAmB;QACnB,MAAM,SAAS,GAAG,GAAG,GAAG,CAAC,CAAA;QACzB,IAAI,CAAC,uBAAuB,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;YACrE,OAAO,cAAc,CACnB,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,6BAA6B,CAAC,EAClE,IAAI,CAAC,QAAQ,CACd,CAAA;QACH,CAAC;IACH,CAAC;IAED,IAAI,WAAW,CAAA;IACf,IAAI,CAAC;QACH,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACpC,CAAC;IAAC,OAAO,CAAM,EAAE,CAAC;QAChB,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,YAAY,CAAC,CAAC,OAAO,EAAE,CAAC,CAAA;QAC9C,CAAC;QACD,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAA;IACzC,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,iBAAiB,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC,CAAA;IACjE,CAAC;IAED,OAAO;QACL,gBAAgB,EAAE,OAAO;QACzB,WAAW;KACZ,CAAA;AACH,CAAC"}

package/dist/esm/precompiles/0f-bls12-pairing.d.ts

@@ -0,0 +1,4 @@
+import type { ExecResult } from '../types.ts';
+import type { PrecompileInput } from './types.ts';
+export declare function precompile0f(opts: PrecompileInput): Promise<ExecResult>;
+//# sourceMappingURL=0f-bls12-pairing.d.ts.map

package/dist/esm/precompiles/0f-bls12-pairing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"0f-bls12-pairing.d.ts","sourceRoot":"","sources":["../../../src/precompiles/0f-bls12-pairing.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAC7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAEjD,wBAAsB,YAAY,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,CAwE7E"}

package/dist/esm/precompiles/0f-bls12-pairing.js

@@ -0,0 +1,63 @@
+import { bytesToHex } from '@feelyourprotocol/util';
+import { EVMError } from "../errors.js";
+import { EVMErrorResult, OOGResult } from "../evm.js";
+import { leading16ZeroBytesCheck } from "./bls12_381/index.js";
+import { getPrecompileName } from "./index.js";
+import { gasLimitCheck, moduloLengthCheck } from "./util.js";
+export async function precompile0f(opts) {
+    const pName = getPrecompileName('11');
+    const bls = opts._EVM['_bls'];
+    const baseGas = opts.common.param('bls12381PairingBaseGas');
+    // TODO: confirm that this is not a thing for the other precompiles
+    if (opts.data.length === 0) {
+        if (opts._debug !== undefined) {
+            opts._debug(`${pName} failed: Empty input`);
+        }
+        return EVMErrorResult(new EVMError(EVMError.errorMessages.BLS_12_381_INPUT_EMPTY), opts.gasLimit);
+    }
+    const gasUsedPerPair = opts.common.param('bls12381PairingPerPairGas');
+    // TODO: For this precompile it is the only exception that the length check is placed before the
+    // gas check. I will keep it there to not side-change the existing implementation, but we should
+    // check (respectively Jochem can maybe have a word) if this is something intended or not
+    if (!moduloLengthCheck(opts, 384, pName)) {
+        return EVMErrorResult(new EVMError(EVMError.errorMessages.BLS_12_381_INVALID_INPUT_LENGTH), opts.gasLimit);
+    }
+    const gasUsed = baseGas + gasUsedPerPair * BigInt(Math.floor(opts.data.length / 384));
+    if (!gasLimitCheck(opts, gasUsed, pName)) {
+        return OOGResult(opts.gasLimit);
+    }
+    // check for mandatory zero bytes
+    const zeroByteRanges = [
+        [0, 16],
+        [64, 80],
+        [128, 144],
+        [192, 208],
+        [256, 272],
+        [320, 336],
+    ];
+    for (let k = 0; k < opts.data.length / 384; k++) {
+        // zero bytes check
+        const pairStart = 384 * k;
+        if (!leading16ZeroBytesCheck(opts, zeroByteRanges, pName, pairStart)) {
+            return EVMErrorResult(new EVMError(EVMError.errorMessages.BLS_12_381_POINT_NOT_ON_CURVE), opts.gasLimit);
+        }
+    }
+    let returnValue;
+    try {
+        returnValue = bls.pairingCheck(opts.data);
+    }
+    catch (e) {
+        if (opts._debug !== undefined) {
+            opts._debug(`${pName} failed: ${e.message}`);
+        }
+        return EVMErrorResult(e, opts.gasLimit);
+    }
+    if (opts._debug !== undefined) {
+        opts._debug(`${pName} return value=${bytesToHex(returnValue)}`);
+    }
+    return {
+        executionGasUsed: gasUsed,
+        returnValue,
+    };
+}
+//# sourceMappingURL=0f-bls12-pairing.js.map

package/dist/esm/precompiles/0f-bls12-pairing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"0f-bls12-pairing.js","sourceRoot":"","sources":["../../../src/precompiles/0f-bls12-pairing.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAE7C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAEvC,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAErD,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAA;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAA;AAC9C,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAA;AAK5D,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAqB;IACtD,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAA;IACrC,MAAM,GAAG,GAAI,IAAI,CAAC,IAAY,CAAC,MAAM,CAAE,CAAA;IAEvC,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAA;IAE3D,mEAAmE;IACnE,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,sBAAsB,CAAC,CAAA;QAC7C,CAAC;QACD,OAAO,cAAc,CACnB,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,sBAAsB,CAAC,EAC3D,IAAI,CAAC,QAAQ,CACd,CAAA;IACH,CAAC;IAED,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAA;IAErE,gGAAgG;IAChG,gGAAgG;IAChG,yFAAyF;IACzF,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC;QACzC,OAAO,cAAc,CACnB,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,+BAA+B,CAAC,EACpE,IAAI,CAAC,QAAQ,CACd,CAAA;IACH,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,GAAG,cAAc,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAA;IACrF,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;QACzC,OAAO,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACjC,CAAC;IAED,iCAAiC;IACjC,MAAM,cAAc,GAAG;QACrB,CAAC,CAAC,EAAE,EAAE,CAAC;QACP,CAAC,EAAE,EAAE,EAAE,CAAC;QACR,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;KACX,CAAA;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAChD,mBAAmB;QACnB,MAAM,SAAS,GAAG,GAAG,GAAG,CAAC,CAAA;QACzB,IAAI,CAAC,uBAAuB,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;YACrE,OAAO,cAAc,CACnB,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,6BAA6B,CAAC,EAClE,IAAI,CAAC,QAAQ,CACd,CAAA;QACH,CAAC;IACH,CAAC;IAED,IAAI,WAAW,CAAA;IACf,IAAI,CAAC;QACH,WAAW,GAAG,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC3C,CAAC;IAAC,OAAO,CAAM,EAAE,CAAC;QAChB,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,YAAY,CAAC,CAAC,OAAO,EAAE,CAAC,CAAA;QAC9C,CAAC;QACD,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAA;IACzC,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,iBAAiB,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC,CAAA;IACjE,CAAC;IAED,OAAO;QACL,gBAAgB,EAAE,OAAO;QACzB,WAAW;KACZ,CAAA;AACH,CAAC"}

package/dist/esm/precompiles/10-bls12-map-fp-to-g1.d.ts

@@ -0,0 +1,4 @@
+import type { ExecResult } from '../types.ts';
+import type { PrecompileInput } from './types.ts';
+export declare function precompile10(opts: PrecompileInput): Promise<ExecResult>;
+//# sourceMappingURL=10-bls12-map-fp-to-g1.d.ts.map

package/dist/esm/precompiles/10-bls12-map-fp-to-g1.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"10-bls12-map-fp-to-g1.d.ts","sourceRoot":"","sources":["../../../src/precompiles/10-bls12-map-fp-to-g1.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAC7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAEjD,wBAAsB,YAAY,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,CA4C7E"}

package/dist/esm/precompiles/10-bls12-map-fp-to-g1.js

@@ -0,0 +1,41 @@
+import { bytesToHex } from '@feelyourprotocol/util';
+import { EVMError } from "../errors.js";
+import { EVMErrorResult, OOGResult } from "../evm.js";
+import { leading16ZeroBytesCheck } from "./bls12_381/index.js";
+import { getPrecompileName } from "./index.js";
+import { equalityLengthCheck, gasLimitCheck } from "./util.js";
+export async function precompile10(opts) {
+    const pName = getPrecompileName('12');
+    const bls = opts._EVM['_bls'];
+    // note: the gas used is constant; even if the input is incorrect.
+    const gasUsed = opts.common.param('bls12381MapG1Gas');
+    if (!gasLimitCheck(opts, gasUsed, pName)) {
+        return OOGResult(opts.gasLimit);
+    }
+    if (!equalityLengthCheck(opts, 64, pName)) {
+        return EVMErrorResult(new EVMError(EVMError.errorMessages.BLS_12_381_INVALID_INPUT_LENGTH), opts.gasLimit);
+    }
+    // check if some parts of input are zero bytes.
+    const zeroByteRanges = [[0, 16]];
+    if (!leading16ZeroBytesCheck(opts, zeroByteRanges, pName)) {
+        return EVMErrorResult(new EVMError(EVMError.errorMessages.BLS_12_381_POINT_NOT_ON_CURVE), opts.gasLimit);
+    }
+    let returnValue;
+    try {
+        returnValue = bls.mapFPtoG1(opts.data);
+    }
+    catch (e) {
+        if (opts._debug !== undefined) {
+            opts._debug(`${pName} failed: ${e.message}`);
+        }
+        return EVMErrorResult(e, opts.gasLimit);
+    }
+    if (opts._debug !== undefined) {
+        opts._debug(`${pName} return value=${bytesToHex(returnValue)}`);
+    }
+    return {
+        executionGasUsed: gasUsed,
+        returnValue,
+    };
+}
+//# sourceMappingURL=10-bls12-map-fp-to-g1.js.map

package/dist/esm/precompiles/10-bls12-map-fp-to-g1.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"10-bls12-map-fp-to-g1.js","sourceRoot":"","sources":["../../../src/precompiles/10-bls12-map-fp-to-g1.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAE7C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAEvC,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAErD,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAA;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAA;AAC9C,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AAK9D,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAqB;IACtD,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAA;IACrC,MAAM,GAAG,GAAI,IAAI,CAAC,IAAY,CAAC,MAAM,CAAE,CAAA;IAEvC,kEAAkE;IAClE,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAA;IACrD,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;QACzC,OAAO,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACjC,CAAC;IAED,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC;QAC1C,OAAO,cAAc,CACnB,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,+BAA+B,CAAC,EACpE,IAAI,CAAC,QAAQ,CACd,CAAA;IACH,CAAC;IAED,+CAA+C;IAC/C,MAAM,cAAc,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IAChC,IAAI,CAAC,uBAAuB,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,CAAC,EAAE,CAAC;QAC1D,OAAO,cAAc,CACnB,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,6BAA6B,CAAC,EAClE,IAAI,CAAC,QAAQ,CACd,CAAA;IACH,CAAC;IAED,IAAI,WAAW,CAAA;IACf,IAAI,CAAC;QACH,WAAW,GAAG,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACxC,CAAC;IAAC,OAAO,CAAM,EAAE,CAAC;QAChB,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,YAAY,CAAC,CAAC,OAAO,EAAE,CAAC,CAAA;QAC9C,CAAC;QACD,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAA;IACzC,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,iBAAiB,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC,CAAA;IACjE,CAAC;IAED,OAAO;QACL,gBAAgB,EAAE,OAAO;QACzB,WAAW;KACZ,CAAA;AACH,CAAC"}

package/dist/esm/precompiles/100-p256verify.d.ts

@@ -0,0 +1,4 @@
+import type { PrecompileInput } from './types.ts';
+import type { ExecResult } from '../types.ts';
+export declare function precompile100(opts: PrecompileInput): ExecResult;
+//# sourceMappingURL=100-p256verify.d.ts.map

package/dist/esm/precompiles/100-p256verify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"100-p256verify.d.ts","sourceRoot":"","sources":["../../../src/precompiles/100-p256verify.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAGjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAW7C,wBAAgB,aAAa,CAAC,IAAI,EAAE,eAAe,GAAG,UAAU,CAmI/D"}

package/dist/esm/precompiles/100-p256verify.js

@@ -0,0 +1,128 @@
+import { bytesToBigInt, bytesToHex, setLengthLeft } from '@feelyourprotocol/util';
+import { p256 } from '@noble/curves/nist.js';
+import { OOGResult } from "../evm.js";
+import { getPrecompileName } from "./index.js";
+import { gasLimitCheck } from "./util.js";
+const P256VERIFY_GAS_COST = BigInt(6900);
+const SUCCESS_RETURN = new Uint8Array(32).fill(0).map((_, i) => (i === 31 ? 1 : 0));
+// Curve parameters for secp256r1
+const P256_N = BigInt('0xffffffff00000000ffffffffffffffffbce6faada7179e84f3b9cac2fc632551'); // Subgroup order
+const P256_P = BigInt('0xffffffff00000001000000000000000000000000ffffffffffffffffffffffff'); // Base field modulus
+const P256_A = BigInt('0xffffffff00000001000000000000000000000000fffffffffffffffffffffffc'); // Curve coefficient a
+const P256_B = BigInt('0x5ac635d8aa3a93e7b3ebbd55769886bc651d06b0cc53b0f63bce3c3e27d2604b'); // Curve coefficient b
+export function precompile100(opts) {
+    const pName = getPrecompileName('100');
+    const gasUsed = P256VERIFY_GAS_COST;
+    if (!gasLimitCheck(opts, gasUsed, pName)) {
+        return OOGResult(opts.gasLimit);
+    }
+    const data = opts.data;
+    // 1. Input length: Input MUST be exactly 160 bytes
+    if (data.length !== 160) {
+        if (opts._debug !== undefined) {
+            opts._debug(`${pName} failed: invalid input length ${data.length}, expected 160`);
+        }
+        return {
+            executionGasUsed: gasUsed,
+            returnValue: new Uint8Array(),
+        };
+    }
+    const msgHash = data.subarray(0, 32);
+    const r = data.subarray(32, 64);
+    const s = data.subarray(64, 96);
+    const qx = data.subarray(96, 128);
+    const qy = data.subarray(128, 160);
+    const rBigInt = bytesToBigInt(r);
+    const sBigInt = bytesToBigInt(s);
+    const qxBigInt = bytesToBigInt(qx);
+    const qyBigInt = bytesToBigInt(qy);
+    // 2. Signature component bounds: Both r and s MUST satisfy 0 < r < n and 0 < s < n
+    if (!(rBigInt > BigInt(0) && rBigInt < P256_N && sBigInt > BigInt(0) && sBigInt < P256_N)) {
+        if (opts._debug !== undefined) {
+            opts._debug(`${pName} failed: signature component out of bounds: r=${bytesToHex(r)}, s=${bytesToHex(s)}`);
+        }
+        return {
+            executionGasUsed: gasUsed,
+            returnValue: new Uint8Array(),
+        };
+    }
+    // 3. Public key bounds: Both qx and qy MUST satisfy 0 ≤ qx < p and 0 ≤ qy < p
+    if (!(qxBigInt >= BigInt(0) && qxBigInt < P256_P && qyBigInt >= BigInt(0) && qyBigInt < P256_P)) {
+        if (opts._debug !== undefined) {
+            opts._debug(`${pName} failed: public key component out of bounds: qx=${bytesToHex(qx)}, qy=${bytesToHex(qy)}`);
+        }
+        return {
+            executionGasUsed: gasUsed,
+            returnValue: new Uint8Array(),
+        };
+    }
+    // 4. Point validity: The point (qx, qy) MUST satisfy the curve equation qy^2 ≡ qx^3 + a*qx + b (mod p)
+    const leftSide = (qyBigInt * qyBigInt) % P256_P;
+    const rightSide = (qxBigInt * qxBigInt * qxBigInt + P256_A * qxBigInt + P256_B) % P256_P;
+    if (leftSide !== rightSide) {
+        if (opts._debug !== undefined) {
+            opts._debug(`${pName} failed: point not on curve`);
+        }
+        return {
+            executionGasUsed: gasUsed,
+            returnValue: new Uint8Array(),
+        };
+    }
+    // 5. Point not at infinity: The point (qx, qy) MUST NOT be the point at infinity (represented as (0, 0))
+    if (qxBigInt === BigInt(0) && qyBigInt === BigInt(0)) {
+        if (opts._debug !== undefined) {
+            opts._debug(`${pName} failed: public key is point at infinity`);
+        }
+        return {
+            executionGasUsed: gasUsed,
+            returnValue: new Uint8Array(),
+        };
+    }
+    try {
+        // Create public key point
+        const publicKey = p256.Point.fromAffine({
+            x: qxBigInt,
+            y: qyBigInt,
+        });
+        // Create signature
+        const rBytes = setLengthLeft(r, 32);
+        const sBytes = setLengthLeft(s, 32);
+        const signatureBytes = new Uint8Array(64);
+        signatureBytes.set(rBytes, 0);
+        signatureBytes.set(sBytes, 32);
+        const signature = p256.Signature.fromBytes(signatureBytes).toBytes();
+        // Verify signature
+        const isValid = p256.verify(signature, msgHash, publicKey.toBytes(false), {
+            lowS: false,
+            prehash: false,
+        });
+        if (isValid) {
+            if (opts._debug !== undefined) {
+                opts._debug(`${pName} succeeded: signature verification passed`);
+            }
+            return {
+                executionGasUsed: gasUsed,
+                returnValue: SUCCESS_RETURN,
+            };
+        }
+        else {
+            if (opts._debug !== undefined) {
+                opts._debug(`${pName} failed: signature verification failed`);
+            }
+            return {
+                executionGasUsed: gasUsed,
+                returnValue: new Uint8Array(),
+            };
+        }
+    }
+    catch (error) {
+        if (opts._debug !== undefined) {
+            opts._debug(`${pName} failed: verification error: ${error}`);
+        }
+        return {
+            executionGasUsed: gasUsed,
+            returnValue: new Uint8Array(),
+        };
+    }
+}
+//# sourceMappingURL=100-p256verify.js.map