fix: Tenderly simulation initCode split, 7702 sentinel forms, and bigint precision #223
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,157 @@ | ||
| // Regression tests for EIP-7702 handling in the Tenderly simulation helpers: | ||
| // short/padded factory markers, fresh-delegation code overrides, and | ||
| // non-empty factoryData (sender initialization). Mocks global fetch and | ||
| // inspects the simulate-bundle request bodies. | ||
|
|
||
| const ak = require("../dist/index.cjs"); | ||
|
|
||
| const ENTRYPOINT_V8 = "0x4337084d9e255ff0702461cf8895ce9e3b5ff108"; | ||
| const SENDER_CREATOR_V8 = "0x449ed7c3e6fee6a97311d4b55475df59c44add33"; | ||
| const PADDED_MARKER = "0x7702000000000000000000000000000000000000"; | ||
| const SENDER = "0x1f9090aae28b8a3dceadf281b0f12828e676c326"; | ||
| const DELEGATEE = "0xe6cae83bde06e4c305530e199d7217f42808555b"; | ||
| const DELEGATION_CODE = `0xef0100${DELEGATEE.slice(2)}`; | ||
|
|
||
| function makeV8UserOperation(overrides = {}) { | ||
| return { | ||
| sender: SENDER, | ||
| nonce: 1n, | ||
| factory: "0x7702", | ||
| factoryData: null, | ||
| callData: "0xb61d27f6", | ||
| callGasLimit: 100000n, | ||
| verificationGasLimit: 100000n, | ||
| preVerificationGas: 50000n, | ||
| maxFeePerGas: 1000000n, | ||
| maxPriorityFeePerGas: 1000000n, | ||
| paymaster: null, | ||
| paymasterVerificationGasLimit: null, | ||
| paymasterPostOpGasLimit: null, | ||
| paymasterData: null, | ||
| signature: "0x", | ||
| eip7702Auth: { address: DELEGATEE }, | ||
| ...overrides, | ||
| }; | ||
| } | ||
|
|
||
| describe("Tenderly EIP-7702 simulation handling", () => { | ||
| const originalFetch = global.fetch; | ||
| let requests; | ||
|
|
||
| beforeEach(() => { | ||
| requests = []; | ||
| global.fetch = async (url, init) => { | ||
| const body = JSON.parse(init.body); | ||
| requests.push({ url, body }); | ||
| return { | ||
| ok: true, | ||
| status: 200, | ||
| statusText: "OK", | ||
| text: async () => | ||
| JSON.stringify({ | ||
| simulation_results: body.simulations.map((_s, i) => ({ | ||
| transaction: {}, | ||
| simulation: { id: `sim-${i}` }, | ||
| })), | ||
| }), | ||
| }; | ||
| }; | ||
| }); | ||
|
|
||
| afterEach(() => { | ||
| global.fetch = originalFetch; | ||
| }); | ||
|
|
||
| describe("full handleOps simulation (simulateUserOperationWithTenderly)", () => { | ||
| async function runFullSimulation(userOperation) { | ||
| await ak.simulateUserOperationWithTenderly( | ||
| "account", | ||
| "project", | ||
| "key", | ||
| 1n, | ||
| ENTRYPOINT_V8, | ||
| userOperation, | ||
| ); | ||
| expect(requests).toHaveLength(1); | ||
| return requests[0].body.simulations[0]; | ||
| } | ||
|
|
||
| test("short marker with non-empty factoryData packs a padded marker head", async () => { | ||
| const sim = await runFullSimulation( | ||
| makeV8UserOperation({ factory: "0x7702", factoryData: "0xdeadbeef" }), | ||
| ); | ||
| // initCode must be 0x7702 right-padded to 20 bytes ‖ factoryData … | ||
| expect(sim.input).toContain(`${PADDED_MARKER.slice(2)}deadbeef`); | ||
| // … not the malformed direct concatenation 0x7702‖factoryData | ||
| expect(sim.input).not.toContain("7702deadbeef"); | ||
| }); | ||
|
|
||
| test("padded marker with non-empty factoryData packs identically", async () => { | ||
| const sim = await runFullSimulation( | ||
| makeV8UserOperation({ factory: PADDED_MARKER, factoryData: "0xdeadbeef" }), | ||
| ); | ||
| expect(sim.input).toContain(`${PADDED_MARKER.slice(2)}deadbeef`); | ||
| }); | ||
|
|
||
| test("installs the sender delegation-code override", async () => { | ||
| const sim = await runFullSimulation(makeV8UserOperation()); | ||
| expect(sim.state_objects[SENDER].code).toBe(DELEGATION_CODE); | ||
| }); | ||
| }); | ||
|
|
||
| describe("direct call-data simulation (simulateUserOperationCallDataWithTenderly)", () => { | ||
| async function runCallDataSimulation(userOperation, stateOverrides) { | ||
| await ak.simulateUserOperationCallDataWithTenderly( | ||
| "account", | ||
| "project", | ||
| "key", | ||
| 1n, | ||
| ENTRYPOINT_V8, | ||
| userOperation, | ||
| null, | ||
| stateOverrides, | ||
| ); | ||
| expect(requests).toHaveLength(1); | ||
| return requests[0].body.simulations; | ||
| } | ||
|
|
||
| test("fresh delegation installs the sender code override", async () => { | ||
| const sims = await runCallDataSimulation(makeV8UserOperation()); | ||
| expect(sims).toHaveLength(1); | ||
| expect(sims[0].to).toBe(SENDER); | ||
| expect(sims[0].state_objects[SENDER].code).toBe(DELEGATION_CODE); | ||
| }); | ||
|
|
||
| test("non-empty factoryData enqueues a SenderCreator-to-sender initialization", async () => { | ||
| const sims = await runCallDataSimulation( | ||
| makeV8UserOperation({ factoryData: "0xdeadbeef" }), | ||
| ); | ||
| expect(sims).toHaveLength(2); | ||
| // initialization call: SenderCreator -> sender with the init data | ||
| expect(sims[0].from).toBe(SENDER_CREATOR_V8); | ||
| expect(sims[0].to).toBe(SENDER); | ||
| expect(sims[0].input).toBe("0xdeadbeef"); | ||
| // call-data execution follows, both with the delegation override | ||
| expect(sims[1].to).toBe(SENDER); | ||
| expect(sims[1].input).toBe("0xb61d27f6"); | ||
| expect(sims[0].state_objects[SENDER].code).toBe(DELEGATION_CODE); | ||
| expect(sims[1].state_objects[SENDER].code).toBe(DELEGATION_CODE); | ||
| }); | ||
|
|
||
| test("without eip7702Auth no code override is installed", async () => { | ||
| const sims = await runCallDataSimulation(makeV8UserOperation({ eip7702Auth: null })); | ||
| expect(sims).toHaveLength(1); | ||
| expect(sims[0].state_objects).toBeUndefined(); | ||
| }); | ||
|
|
||
| test("merges the delegation override without mutating caller state overrides", async () => { | ||
| const callerOverrides = { [SENDER]: { balance: "0x1" } }; | ||
| const sims = await runCallDataSimulation(makeV8UserOperation(), callerOverrides); | ||
| expect(sims[0].state_objects[SENDER]).toEqual({ | ||
| balance: "0x1", | ||
| code: DELEGATION_CODE, | ||
| }); | ||
| expect(callerOverrides).toEqual({ [SENDER]: { balance: "0x1" } }); | ||
| }); | ||
| }); | ||
| }); |
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The expanded padded-marker detection is valid, but the short-marker case is still malformed when
factoryDatais non-empty. TheinitCodeconstruction above concatenates the data immediately after0x7702, producing e.g.0x77021234; EntryPoint requires0x7702right-padded to 20 bytes before the initialization data. A live Tenderly run decoded exactly0x77021234and reverted through the ordinary deployment path withAA10 sender already constructed. Please normalize the short marker duringinitCodeconstruction and add a regression test for non-emptyfactoryData.