From f72107828db4c06d3a81ee1563dca721a54e845a Mon Sep 17 00:00:00 2001 From: Shebin John Date: Tue, 16 Jul 2024 17:17:34 +0200 Subject: [PATCH] Info added --- modules/4337/certora/conf/SignatureLengthCheck.conf | 2 +- modules/4337/certora/harnesses/Account.sol | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/modules/4337/certora/conf/SignatureLengthCheck.conf b/modules/4337/certora/conf/SignatureLengthCheck.conf index a18b86fd..b7090c48 100644 --- a/modules/4337/certora/conf/SignatureLengthCheck.conf +++ b/modules/4337/certora/conf/SignatureLengthCheck.conf @@ -4,7 +4,7 @@ "certora/harnesses/Account.sol", ], "loop_iter": "3", - "optimistic_loop": true, + "optimistic_loop": true, "msg": "Safe4337Module: Signatures Length Check", "rule_sanity": "basic", "solc": "solc8.23", diff --git a/modules/4337/certora/harnesses/Account.sol b/modules/4337/certora/harnesses/Account.sol index 913c9aed..c114e28f 100644 --- a/modules/4337/certora/harnesses/Account.sol +++ b/modules/4337/certora/harnesses/Account.sol @@ -70,6 +70,8 @@ contract Account is Safe { "ffffff" // excess data Both will have the same canonical hash: 0xc860b1a81652620308a8138a17ef5105d9b18e6e766516ffd3de9897260d1320 + + For more details: https://docs.safe.global/advanced/smart-account-signatures */ function canonicalSignatureHash(bytes calldata signatures, uint256 safeThreshold) public pure returns (bytes32 canonical) { uint256 dynamicOffset = safeThreshold * 0x41;