feat: add core contracts

Author: livingrockrises

.gitmodules

@@ -16,3 +16,9 @@
 [submodule "lib/account-abstraction"]
 	path = lib/account-abstraction
 	url = https://github.com/eth-infinitism/account-abstraction
+[submodule "lib/sentinellist"]
+	path = lib/sentinellist
+	url = https://github.com/rhinestonewtf/sentinellist
+[submodule "lib/ExcessivelySafeCall"]
+	path = lib/ExcessivelySafeCall
+	url = https://github.com/nomad-xyz/ExcessivelySafeCall

lib/ExcessivelySafeCall

@@ -1,9 +1,10 @@
 halmos-cheatcodes=node_modules/halmos-cheatcodes
-
 forge-std/=lib/forge-std/src/
 solady/=lib/solady/src/
 @account-abstraction/=lib/account-abstraction/
 @openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/
 @openzeppelin/contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/contracts/
 openzeppelin-contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/
-openzeppelin-contracts/=lib/openzeppelin-contracts/
+openzeppelin-contracts/=lib/openzeppelin-contracts/
+sentinellist=lib/sentinellist/src/
+excessively-safe-call=lib/ExcessivelySafeCall/src/

lib/sentinellist

@@ -0,0 +1,25 @@
+// SPDX-License-Identifier: MIT
+pragma solidity ^0.8.28;
+
+import {IAllStorage} from '../interfaces/core/IAllStorage.sol';
+
+/// @title Startale - Storage
+/// @notice Manages isolated storage spaces for Modular Smart Account in compliance with ERC-7201 standard to ensure collision-resistant storage.
+/// @dev Implements the ERC-7201 namespaced storage pattern to maintain secure and isolated storage sections for different states within Startale suite.
+/// @author Startale Labs
+contract AllStorage is IAllStorage {
+  /// @custom:storage-location erc7201:startale.account.storage
+  /// ERC-7201 namespaced via `keccak256(abi.encode(uint256(keccak256(bytes("startale.account.storage"))) - 1)) & ~bytes32(uint256(0xff));`
+  bytes32 private constant _STORAGE_LOCATION = 0x9195d48440658ac27f13a7bd256a2e74da1f2416f468d66228b37e6ac4790c00;
+
+  /// @dev Utilizes ERC-7201's namespaced storage pattern for isolated storage access. This method computes
+  /// the storage slot based on a predetermined location, ensuring collision-resistant storage for contract states.
+  /// @custom:storage-location ERC-7201 formula applied to "startale.account.storage", facilitating unique
+  /// namespace identification and storage segregation, as detailed in the specification.
+  /// @return $ The proxy to the `AccountStorage` struct, providing a reference to the namespaced storage slot.
+  function _getAccountStorage() internal pure returns (AccountStorage storage $) {
+    assembly {
+      $.slot := _STORAGE_LOCATION
+    }
+  }
+}

remappings.txt

@@ -8,7 +8,7 @@ import {IEntryPoint} from 'account-abstraction/interfaces/IEntryPoint.sol';
 /// @notice Implements ERC-4337 and ERC-7579 standards for account management and access control.
 /// @dev Manages entry points and configurations as specified in the ERC-4337 and ERC-7579 documentation.
 /// @author Startale Labs
-/// Special thanks to the Biconomy team for https://github.com/bcnmy/nexus/ on which this implementation is highly based on.
+/// Special thanks to the Biconomy team for https://github.com/bcnmy/nexus/ and ERC7579 reference implementation on which this implementation is highly based on.
 contract BaseAccount is IBaseAccount {
   /// @notice Identifier for this implementation on the network
   string internal constant _ACCOUNT_IMPLEMENTATION_ID = 'startale.smart-account.0.0.1';

src/core/AllStorage.sol

@@ -0,0 +1,68 @@
+// SPDX-License-Identifier: MIT
+pragma solidity ^0.8.28;
+
+import {IERC7779} from '../interfaces/IERC7779.sol';
+
+// Note: To inherit from when we are ready to utilize 7702 fully.
+
+abstract contract ERC7779Adapter is IERC7779 {
+  error NonAuthorizedOnRedelegationCaller();
+
+  // keccak256(abi.encode(uint256(keccak256(bytes("InteroperableDelegatedAccount.ERC.Storage"))) -
+  // 1)) & ~bytes32(uint256(0xff));
+  bytes32 internal constant ERC7779_STORAGE_BASE = 0xc473de86d0138e06e4d4918a106463a7cc005258d2e21915272bcb4594c18900;
+
+  struct ERC7779Storage {
+    bytes32[] storageBases;
+  }
+  /*
+    * @dev    Externally shares the storage bases that has been used throughout the account.
+    *         Majority of 7702 accounts will have their distinctive storage base to reduce the
+    chance of storage collision.
+    *         This allows the external entities to know what the storage base is of the account.
+    *         Wallets willing to redelegate already-delegated accounts should call
+    accountStorageBase() to check if it confirms with the account it plans to redelegate.
+    *
+    *         The bytes32 array should be stored at the storage slot:
+    keccak(keccak('InteroperableDelegatedAccount.ERC.Storage')-1) & ~0xff
+    *         This is an append-only array so newly redelegated accounts should not overwrite the
+    storage at this slot, but just append their base to the array.
+    *         This append operation should be done during the initialization of the account.
+    */
+
+  function accountStorageBases() external view returns (bytes32[] memory) {
+    ERC7779Storage storage $;
+    assembly {
+      $.slot := ERC7779_STORAGE_BASE
+    }
+    return $.storageBases;
+  }
+
+  function _addStorageBase(bytes32 storageBase) internal {
+    ERC7779Storage storage $;
+    assembly {
+      $.slot := ERC7779_STORAGE_BASE
+    }
+    $.storageBases.push(storageBase);
+  }
+
+  /*
+    * @dev    Function called before redelegation.
+    *         This function should prepare the account for a delegation to a different
+    implementation.
+    *         This function could be triggered by the new wallet that wants to redelegate an already
+    delegated EOA.
+    *         It should uninitialize storages if needed and execute wallet-specific logic to prepare
+    for redelegation.
+    *         msg.sender should be the owner of the account.
+    */
+  function onRedelegation() external returns (bool) {
+    require(msg.sender == address(this), NonAuthorizedOnRedelegationCaller());
+    _onRedelegation();
+    return true;
+  }
+
+  /// @dev This function is called before redelegation.
+  /// @dev Account should override this function to implement the specific logic.
+  function _onRedelegation() internal virtual;
+}