From bd0fbdad953076e0b6c34b91bc28784e585bd3e8 Mon Sep 17 00:00:00 2001 From: Kresh Date: Mon, 23 Sep 2024 13:57:13 +0400 Subject: [PATCH] docs: certora - clarify "unpredictable create2 address creation" --- src/interfaces/common/IFactory.sol | 3 ++- src/interfaces/common/IMigratablesFactory.sol | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/interfaces/common/IFactory.sol b/src/interfaces/common/IFactory.sol index 809a2487..b2dd4130 100644 --- a/src/interfaces/common/IFactory.sol +++ b/src/interfaces/common/IFactory.sol @@ -71,7 +71,8 @@ interface IFactory is IRegistry { * @param data initial data for the entity creation * @return address of the entity * @dev CREATE2 salt is constructed from the given parameters. - * However, the real parameters may differ if initialized later. + * However, the real parameters may differ if initialized later + * (not necessarily by the creator if there is no initialization during the creation's transaction). */ function create(uint64 type_, bool withInitialize, bytes calldata data) external returns (address); } diff --git a/src/interfaces/common/IMigratablesFactory.sol b/src/interfaces/common/IMigratablesFactory.sol index 8787bc54..11730fab 100644 --- a/src/interfaces/common/IMigratablesFactory.sol +++ b/src/interfaces/common/IMigratablesFactory.sol @@ -83,7 +83,8 @@ interface IMigratablesFactory is IRegistry { * @param data initial data for the entity creation * @return address of the entity * @dev CREATE2 salt is constructed from the given parameters. - * However, the real parameters may differ if initialized later. + * However, the real parameters may differ if initialized later + * (not necessarily by the creator if there is no initialization during the creation's transaction). */ function create( uint64 version,