Test 7702 via proper code etching with Prague hardfork

[filmakarov]

PR-Codex overview

This PR focuses on updating the configurations and tests related to the evm_version and ERC7702 functionality in the smart contract testing framework. It enhances the assumptions in tests and modifies the implementation details for better compatibility with the ERC7702 standard.

Detailed summary

• Updated evm_version in foundry.toml from cancun to prague.
• Changed assumption in testFuzz_ExecuteSingleFromExecutor to ensure target address is greater than 255.
• Revised the comment in the _amIERC7702 function for clarity.
• Updated the vm.etch call in _doEIP7702 to properly encode the ACCOUNT_IMPLEMENTATION address.
• Restored the test for amIERC7702 functionality in test_amIERC7702_success to work correctly with the new vm.etch implementation.

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}

[github-actions]

🤖 Slither Analysis Report 🔎

Slither report

# Slither report

THIS CHECKLIST IS NOT COMPLETE. Use --show-ignored-findings to show all the results.
Summary
🟡 - locked-ether (1 results) (Medium)
🟡 - unused-return (1 results) (Medium)

• constable-states (2 results) (Optimization)

locked-ether

🟡 Impact: Medium
🔴 Confidence: High

• ID-0
  Contract locking ether found:
  Contract NexusBootstrap has payable functions:
  • ModuleManager.receive()
  • ModuleManager.fallback(bytes)
  • NexusBootstrap.initNexusWithSingleValidator(IModule,bytes,IERC7484,address[],uint8)
  • NexusBootstrap.initNexus(BootstrapConfig[],BootstrapConfig[],BootstrapConfig,BootstrapConfig[],IERC7484,address[],uint8)
  • NexusBootstrap.initNexusScoped(BootstrapConfig[],BootstrapConfig,IERC7484,address[],uint8)
    But does not have a function to withdraw the ether

utils/NexusBootstrap.sol#L33-L189

unused-return

🟡 Impact: Medium
🟡 Confidence: Medium

• ID-1
  ExecLib.hashExecutionBatch(Execution[]) ignores return value by a.set(i,executions[i].hashExecution())

lib/ExecLib.sol#L125-L139

constable-states

Impact: Optimization
🔴 Confidence: High

• ID-2
  RegistryAdapter.registry should be constant

base/RegistryAdapter.sol#L10

• ID-3
  RegistryFactory.threshold should be constant

factory/RegistryFactory.sol#L38

_This comment was automatically generated by the GitHub Actions workflow._

[openzeppelin-code]

Test 7702 via proper code etching with Prague hardfork

Generated at commit: 77622cb227b4790c95e84c6642de726665270eeb

🚨 Report Summary

	Severity Level	Results
Contracts	Critical High Medium Low Note Total	1 1 0 7 30 39

---

For more details view the full report in OpenZeppelin Code Inspector