@tokamak-zk-evm/synthesizer
Version:
Tokamak zk-EVM Synthesizer - Processes Ethereum transactions into wire maps for Tokamak zk-SNARK proof generation
40 lines • 1.41 kB
JavaScript
import { bytesToHex, setLengthRight } from "@synthesizer-libs/util";
import { EvmErrorResult, OOGResult } from '../evm.js';
import { gasLimitCheck } from './util.js';
import { getPrecompileName } from './index.js';
export function precompile07(opts) {
const pName = getPrecompileName('07');
const gasUsed = opts.common.param('bn254MulGas');
if (!gasLimitCheck(opts, gasUsed, pName)) {
return OOGResult(opts.gasLimit);
}
// > 128 bytes: chop off extra bytes
// < 128 bytes: right-pad with 0-s
const input = setLengthRight(opts.data.subarray(0, 128), 128);
let returnData;
try {
returnData = opts._EVM['_bn254'].mul(input);
}
catch (e) {
if (opts._debug !== undefined) {
opts._debug(`${pName} failed: ${e.message}`);
}
return EvmErrorResult(e, opts.gasLimit);
}
// check ecmul success or failure by comparing the output length
if (returnData.length !== 64) {
if (opts._debug !== undefined) {
opts._debug(`${pName} failed: OOG`);
}
// TODO: should this really return OOG?
return OOGResult(opts.gasLimit);
}
if (opts._debug !== undefined) {
opts._debug(`${pName} return value=${bytesToHex(returnData)}`);
}
return {
executionGasUsed: gasUsed,
returnValue: returnData,
};
}
//# sourceMappingURL=07-bn254-mul.js.map