UNPKG

@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
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