Info added

safe-global · Jul 16, 2024 · f721078 · f721078
1 parent 3df8b0c
commit f721078
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git 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
@@ -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;