Add ExecutionManager

skalenetwork · Oct 4, 2024 · 3aed53a · 3aed53a
1 parent 8fd64f5
commit 3aed53a
Show file tree

Hide file tree

Showing 37 changed files with 141 additions and 73 deletions.
diff --git a/.solhint.json b/.solhint.json
@@ -1,7 +1,9 @@
 {
   "extends": "solhint:all",
   "rules": {
-    "compiler-version": ["error","^0.6.10"],
+    "foundry-test-functions": "off",
+
+    "compiler-version": ["error","^0.8.8"],
     "state-visibility": "error",
     "no-empty-blocks": "error",
     "check-send-result": "error",

diff --git a/contracts/DomainTypes.sol b/contracts/DomainTypes.sol
@@ -0,0 +1,24 @@
+// SPDX-License-Identifier: AGPL-3.0-only
+
+/**
+ *   DomainTypes.sol - SKALE Interchain Messaging Agent
+ *   Copyright (C) 2024-Present SKALE Labs
+ *   @author Dmytro Stebaiev
+ *
+ *   SKALE IMA is free software: you can redistribute it and/or modify
+ *   it under the terms of the GNU Affero General Public License as published
+ *   by the Free Software Foundation, either version 3 of the License, or
+ *   (at your option) any later version.
+ *
+ *   SKALE IMA is distributed in the hope that it will be useful,
+ *   but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ *   GNU Affero General Public License for more details.
+ *
+ *   You should have received a copy of the GNU Affero General Public License
+ *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
+ */
+pragma solidity >=0.8.8 <0.9.0;
+
+
+type SchainHash is bytes32;
diff --git a/contracts/IGasReimbursable.sol b/contracts/IGasReimbursable.sol
@@ -19,7 +19,7 @@
  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
  */
 
-pragma solidity >=0.6.10 <0.9.0;
+pragma solidity >=0.8.8 <0.9.0;
 
 import "./IMessageReceiver.sol";
 
@@ -32,4 +32,4 @@ interface IGasReimbursable is IMessageReceiver {
     )
         external
         returns (address);
-}
+}
diff --git a/contracts/IMessageListener.sol b/contracts/IMessageListener.sol
@@ -19,7 +19,7 @@
  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
  */
 
-pragma solidity >=0.6.10 <0.9.0;
+pragma solidity >=0.8.8 <0.9.0;
 
 
 interface IMessageListener {

diff --git a/contracts/IMessageProxy.sol b/contracts/IMessageProxy.sol
@@ -19,7 +19,7 @@
  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
  */
 
-pragma solidity >=0.6.10 <0.9.0;
+pragma solidity >=0.8.8 <0.9.0;
 
 import { IMessageListener } from "./IMessageListener.sol";
 

diff --git a/contracts/IMessageReceiver.sol b/contracts/IMessageReceiver.sol
@@ -19,7 +19,7 @@
  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
  */
 
-pragma solidity >=0.6.10 <0.9.0;
+pragma solidity >=0.8.8 <0.9.0;
 
 
 interface IMessageReceiver {
@@ -29,4 +29,4 @@ interface IMessageReceiver {
         bytes calldata data
     )
         external;
-}
+}
diff --git a/contracts/extensions/IERC721ReferenceMintAndMetadataMainnet.sol b/contracts/extensions/IERC721ReferenceMintAndMetadataMainnet.sol
@@ -19,9 +19,9 @@
  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
  */
 
-pragma solidity >=0.6.10 <0.9.0;
+pragma solidity >=0.8.8 <0.9.0;
 
 
 interface IERC721ReferenceMintAndMetadataMainnet {
     function setSenderContractOnSchain(address newSenderContractOnSchain) external;
-}
+}
diff --git a/contracts/extensions/IERC721ReferenceMintAndMetadataSchain.sol b/contracts/extensions/IERC721ReferenceMintAndMetadataSchain.sol
@@ -19,7 +19,7 @@
  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
  */
 
-pragma solidity >=0.6.10 <0.9.0;
+pragma solidity >=0.8.8 <0.9.0;
 
 
 interface IERC721ReferenceMintAndMetadataSchain {
@@ -32,4 +32,4 @@ interface IERC721ReferenceMintAndMetadataSchain {
         external
         pure
         returns (bytes memory data);
-}
+}
diff --git a/contracts/mainnet/DepositBoxes/IDepositBoxERC1155.sol b/contracts/mainnet/DepositBoxes/IDepositBoxERC1155.sol
@@ -19,7 +19,7 @@
  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
  */
 
-pragma solidity >=0.6.10 <0.9.0;
+pragma solidity >=0.8.8 <0.9.0;
 
 import "../IDepositBox.sol";
 
@@ -64,4 +64,4 @@ interface IDepositBoxERC1155 is IDepositBox {
         external
         view
         returns (address[] memory);
-}
+}
diff --git a/contracts/mainnet/DepositBoxes/IDepositBoxERC20.sol b/contracts/mainnet/DepositBoxes/IDepositBoxERC20.sol
@@ -19,7 +19,7 @@
  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
  */
 
-pragma solidity >=0.6.10 <0.9.0;
+pragma solidity >=0.8.8 <0.9.0;
 
 import "../IDepositBox.sol";
 
@@ -63,4 +63,4 @@ interface IDepositBoxERC20 is IDepositBox {
     function getTimeDelay(bytes32 schainHash) external view returns (uint256);
     function getTrustedReceiver(string calldata schainName, uint256 index) external view returns (address);
     function getTrustedReceiversAmount(bytes32 schainHash) external view returns (uint256);
-}
+}
diff --git a/contracts/mainnet/DepositBoxes/IDepositBoxERC721.sol b/contracts/mainnet/DepositBoxes/IDepositBoxERC721.sol
@@ -19,7 +19,7 @@
  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
  */
 
-pragma solidity >=0.6.10 <0.9.0;
+pragma solidity >=0.8.8 <0.9.0;
 
 import "../IDepositBox.sol";
 
@@ -44,4 +44,4 @@ interface IDepositBoxERC721 is IDepositBox {
         external
         view
         returns (address[] memory);
-}
+}
diff --git a/contracts/mainnet/DepositBoxes/IDepositBoxEth.sol b/contracts/mainnet/DepositBoxes/IDepositBoxEth.sol
@@ -19,7 +19,7 @@
  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
  */
 
-pragma solidity >=0.6.10 <0.9.0;
+pragma solidity >=0.8.8 <0.9.0;
 
 import "../IDepositBox.sol";
 
@@ -32,4 +32,4 @@ interface IDepositBoxEth is IDepositBox {
     function getFunds(string calldata schainName, address payable receiver, uint amount) external;
     function enableActiveEthTransfers(string calldata schainName) external;
     function disableActiveEthTransfers(string calldata schainName) external;
-}
+}
diff --git a/contracts/mainnet/ICommunityPool.sol b/contracts/mainnet/ICommunityPool.sol
@@ -19,7 +19,7 @@
  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
  */
 
-pragma solidity >=0.6.10 <0.9.0;
+pragma solidity >=0.8.8 <0.9.0;
 
 import "@skalenetwork/skale-manager-interfaces/IContractManager.sol";
 
@@ -35,17 +35,22 @@ interface ICommunityPool is ITwin {
         ILinker linker,
         IMessageProxyForMainnet messageProxyValue
     ) external;
-    function refundGasByUser(bytes32 schainHash, address payable node, address user, uint gas) external returns (uint);
+    function refundGasByUser(
+        bytes32 schainHash,
+        address payable node,
+        address user,
+        uint256 gas
+    ) external returns (uint256);
     function rechargeUserWallet(string calldata schainName, address user) external payable;
-    function withdrawFunds(string calldata schainName, uint amount) external;
-    function setMinTransactionGas(uint newMinTransactionGas) external;
-    function setMultiplier(uint newMultiplierNumerator, uint newMultiplierDivider) external;
+    function withdrawFunds(string calldata schainName, uint256 amount) external;
+    function setMinTransactionGas(uint256 newMinTransactionGas) external;
+    function setMultiplier(uint256 newMultiplierNumerator, uint256 newMultiplierDivider) external;
     function refundGasBySchainWallet(
         bytes32 schainHash,
         address payable node,
-        uint gas
+        uint256 gas
     ) external returns (bool);
-    function getBalance(address user, string calldata schainName) external view returns (uint);
+    function getBalance(address user, string calldata schainName) external view returns (uint256);
     function checkUserBalance(bytes32 schainHash, address receiver) external view returns (bool);
     function getRecommendedRechargeAmount(bytes32 schainHash, address receiver) external view returns (uint256);
-}
+}
diff --git a/contracts/mainnet/IDepositBox.sol b/contracts/mainnet/IDepositBox.sol
@@ -19,7 +19,7 @@
  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
  */
 
-pragma solidity >=0.6.10 <0.9.0;
+pragma solidity >=0.8.8 <0.9.0;
 
 import "@skalenetwork/skale-manager-interfaces/IContractManager.sol";
 
@@ -39,4 +39,4 @@ interface IDepositBox is ITwin, IMessageReceiver, IGasReimbursable {
     function enableWhitelist(string memory schainName) external;
     function disableWhitelist(string memory schainName) external;
     function isWhitelisted(string memory schainName) external view returns (bool);
-}
+}
diff --git a/contracts/mainnet/ILinker.sol b/contracts/mainnet/ILinker.sol
@@ -19,7 +19,7 @@
  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
  */
 
-pragma solidity >=0.6.10 <0.9.0;
+pragma solidity >=0.8.8 <0.9.0;
 
 import "./ITwin.sol";
 
@@ -33,4 +33,4 @@ interface ILinker is ITwin {
     function isNotKilled(bytes32 schainHash) external view returns (bool);
     function hasMainnetContract(address mainnetContract) external view returns (bool);
     function hasSchain(string calldata schainName) external view returns (bool connected);
-}
+}
diff --git a/contracts/mainnet/IMessageProxyForMainnet.sol b/contracts/mainnet/IMessageProxyForMainnet.sol
@@ -19,7 +19,7 @@
  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
  */
 
-pragma solidity >=0.6.10 <0.9.0;
+pragma solidity >=0.8.8 <0.9.0;
 
 import "../IMessageProxy.sol";
 import "./ICommunityPool.sol";
@@ -44,4 +44,4 @@ interface IMessageProxyForMainnet is IMessageProxy {
         external
         view
         returns (address[] memory contractsInRange);
-}
+}
diff --git a/contracts/mainnet/ISkaleManagerClient.sol b/contracts/mainnet/ISkaleManagerClient.sol
@@ -19,7 +19,7 @@
  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
  */
 
-pragma solidity >=0.6.10 <0.9.0;
+pragma solidity >=0.8.8 <0.9.0;
 
 import "@skalenetwork/skale-manager-interfaces/IContractManager.sol";
 
@@ -28,4 +28,4 @@ interface ISkaleManagerClient {
     function initialize(IContractManager newContractManagerOfSkaleManager) external;
     function isSchainOwner(address sender, bytes32 schainHash) external view returns (bool);
     function isAgentAuthorized(bytes32 schainHash, address sender) external view returns (bool);
-}
+}
diff --git a/contracts/mainnet/ITwin.sol b/contracts/mainnet/ITwin.sol
@@ -19,7 +19,7 @@
  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
  */
 
-pragma solidity >=0.6.10 <0.9.0;
+pragma solidity >=0.8.8 <0.9.0;
 
 import "./ISkaleManagerClient.sol";
 
@@ -28,4 +28,4 @@ interface ITwin is ISkaleManagerClient {
     function removeSchainContract(string calldata schainName) external;
     function hasSchainContract(string calldata schainName) external view returns (bool);
     function getSchainContract(bytes32 schainHash) external view returns (address);
-}
+}
diff --git a/contracts/schain/ICommunityLocker.sol b/contracts/schain/ICommunityLocker.sol
@@ -19,7 +19,7 @@
  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
  */
 
-pragma solidity >=0.6.10 <0.9.0;
+pragma solidity >=0.8.8 <0.9.0;
 
 import "../IMessageReceiver.sol";
 
@@ -35,6 +35,10 @@ interface ICommunityLocker is IMessageReceiver {
         address newCommunityPool
     ) external;
     function checkAllowedToSendMessage(bytes32 chainHash, address receiver) external;
-    function setTimeLimitPerMessage(string memory chainName, uint newTimeLimitPerMessage) external;
-    function setGasPrice(uint gasPrice, uint timestamp, IMessageProxyForSchain.Signature memory signature) external;
-}
+    function setTimeLimitPerMessage(string memory chainName, uint256 newTimeLimitPerMessage) external;
+    function setGasPrice(
+        uint256 gasPrice,
+        uint256 timestamp,
+        IMessageProxyForSchain.Signature memory signature
+    ) external;
+}
diff --git a/contracts/schain/IExecutionManager.sol b/contracts/schain/IExecutionManager.sol
@@ -0,0 +1,32 @@
+// SPDX-License-Identifier: AGPL-3.0-only
+
+/**
+ *   IExecutionManager - SKALE Interchain Messaging Agent
+ *   Copyright (C) 2024-Present SKALE Labs
+ *   @author Dmytro Stebaiev
+ *
+ *   SKALE IMA is free software: you can redistribute it and/or modify
+ *   it under the terms of the GNU Affero General Public License as published
+ *   by the Free Software Foundation, either version 3 of the License, or
+ *   (at your option) any later version.
+ *
+ *   SKALE IMA is distributed in the hope that it will be useful,
+ *   but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ *   GNU Affero General Public License for more details.
+ *
+ *   You should have received a copy of the GNU Affero General Public License
+ *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
+ */
+
+pragma solidity >=0.8.8 <0.9.0;
+
+import {IMessageReceiver} from "../IMessageReceiver.sol";
+import {IMessageProxyForSchain} from "./IMessageProxyForSchain.sol";
+import {SchainHash} from "../DomainTypes.sol";
+
+
+interface IExecutionManager is IMessageReceiver {
+    function initialize(IMessageProxyForSchain messageProxyAddress) external;
+    function testSend(SchainHash targetChainHash, string calldata message) external;
+}
diff --git a/contracts/schain/IKeyStorage.sol b/contracts/schain/IKeyStorage.sol
@@ -19,12 +19,12 @@
  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
  */
 
-pragma solidity >=0.6.10 <0.9.0;
+pragma solidity >=0.8.8 <0.9.0;
 
 import "./bls/IFieldOperations.sol";
 
 
 interface IKeyStorage {
     function initialize() external;
     function getBlsCommonPublicKey() external view returns (IFieldOperations.G2Point memory);
-}
+}
diff --git a/contracts/schain/IMessageProxyForSchain.sol b/contracts/schain/IMessageProxyForSchain.sol
@@ -19,7 +19,7 @@
  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
  */
 
-pragma solidity >=0.6.10 <0.9.0;
+pragma solidity >=0.8.8 <0.9.0;
 
 import "../IMessageProxy.sol";
 import "./IKeyStorage.sol";

diff --git a/contracts/schain/ITokenManager.sol b/contracts/schain/ITokenManager.sol
@@ -19,7 +19,7 @@
  *   along with SKALE IMA.  If not, see <https://www.gnu.org/licenses/>.
  */
 
-pragma solidity >=0.6.10 <0.9.0;
+pragma solidity >=0.8.8 <0.9.0;
 
 import "../IMessageReceiver.sol";
 
@@ -29,4 +29,4 @@ interface ITokenManager is IMessageReceiver {
     function addTokenManager(string calldata schainName, address newTokenManager) external;
     function removeTokenManager(string calldata schainName) external;
     function hasTokenManager(string calldata schainName) external view returns (bool);
-}
+}