Implement moving fact hashes

Author: fmkra

solidity/src/interfaces/modules/ICairoFactRegistryModule.sol

@@ -43,4 +43,12 @@ interface ICairoFactRegistryModule {
     function isMockedForInternal() external view returns (bool);
 
     function setIsMockedForInternal(bool isMocked) external;
+
+    // ========= Moving facts ========= //
+
+    function _receiveCairoFactHash(bytes32 factHash, bool isMocked) external;
+
+    function getStorageSlotForCairoFact(bytes32 factHash, bool isMocked) external pure returns (bytes32);
+
+    function moveCairoFactFromStorageProof(uint256 originChainId, uint256 blockNumber, bytes32 factHash, bool isMocked) external;
 }

solidity/src/interfaces/modules/messaging/receiver/IReceiverModule.sol

@@ -16,4 +16,6 @@ interface IReceiverModule {
         uint256 originalMmrId,
         bool isSiblingSynced
     ) external;
+
+    function receiveCairoFactHash(bytes32 factHash, bool isMocked) external;
 }

solidity/src/interfaces/modules/messaging/sender/IUniversalSenderModule.sol

@@ -34,4 +34,11 @@ interface IUniversalSenderModule {
         bool isOffchainGrownDestination,
         bytes calldata _xDomainMsgGasData
     ) external payable;
+
+    /// @notice Send Cairo fact hash that was registered on our chain to the destination chain
+    /// @param destinationChainId the chain ID of the destination chain
+    /// @param factHash the hash of the fact
+    /// @param isMocked if true, the fact is mocked
+    /// @param _xDomainMsgGasData the gas data for the cross-domain message, depends on the destination chain
+    function sendCairoFactHash(uint256 destinationChainId, bytes32 factHash, bool isMocked, bytes calldata _xDomainMsgGasData) external payable;
 }

solidity/src/modules/CairoFactRegistryModule.sol

@@ -4,6 +4,7 @@ pragma solidity ^0.8.20;
 import {ICairoFactRegistryModule} from "../interfaces/modules/ICairoFactRegistryModule.sol";
 import {IFactsRegistry} from "../interfaces/external/IFactsRegistry.sol";
 import {AccessController} from "../libraries/AccessController.sol";
+import {ISatellite} from "../interfaces/ISatellite.sol";
 
 struct CairoFactRegistryModuleStorage {
     // It is stored here so that it can be storage proven between satellites.
@@ -67,7 +68,7 @@ contract CairoFactRegistryModule is ICairoFactRegistryModule, AccessController {
     /// @inheritdoc ICairoFactRegistryModule
     function isCairoMockedFactValid(bytes32 factHash) external view returns (bool) {
         CairoFactRegistryModuleStorage storage ms = moduleStorage();
-        return ms.mockedFacts[factHash] || address(ms.fallbackMockedContract) != address(0) && ms.fallbackMockedContract.isValid(factHash);
+        return ms.mockedFacts[factHash] || (address(ms.fallbackMockedContract) != address(0) && ms.fallbackMockedContract.isValid(factHash));
     }
 
     /// @inheritdoc ICairoFactRegistryModule
@@ -113,4 +114,47 @@ contract CairoFactRegistryModule is ICairoFactRegistryModule, AccessController {
         moduleStorage().isMockedForInternal = isMocked;
         emit IsMockedForInternalSet(isMocked);
     }
+
+    // ========= Moving facts ========= //
+
+    function _saveCairoFact(bytes32 factHash, bool isMocked) internal {
+        CairoFactRegistryModuleStorage storage ms = moduleStorage();
+        if (isMocked) {
+            ms.mockedFacts[factHash] = true;
+            if (address(ms.fallbackMockedContract) != address(0)) {
+                ms.fallbackMockedContract.setValid(factHash);
+            }
+        } else {
+            ms.facts[factHash] = true;
+            if (address(ms.externalFactRegistry) != address(0)) {
+                ms.externalFactRegistry.setValid(factHash);
+            }
+        }
+    }
+
+    /// @inheritdoc ICairoFactRegistryModule
+    function _receiveCairoFactHash(bytes32 factHash, bool isMocked) external onlyModule {
+        _saveCairoFact(factHash, isMocked);
+    }
+
+    /// @inheritdoc ICairoFactRegistryModule
+    function getStorageSlotForCairoFact(bytes32 factHash, bool isMocked) public pure returns (bytes32) {
+        uint256 baseSlot = uint256(MODULE_STORAGE_POSITION) + (isMocked ? 1 : 0);
+        return keccak256(abi.encode(factHash, baseSlot));
+    }
+
+    /// @inheritdoc ICairoFactRegistryModule
+    function moveCairoFactFromStorageProof(uint256 originChainId, uint256 blockNumber, bytes32 factHash, bool isMocked) external {
+        bytes32 slot = getStorageSlotForCairoFact(factHash, isMocked);
+
+        ISatellite satellite = ISatellite(address(this));
+
+        uint256 accountU256 = satellite.getSatelliteConnection(originChainId).satelliteAddress;
+        require(accountU256 >> 160 == 0, "NON_EVM_SATELLITE");
+        address account = address(uint160(accountU256));
+
+        require(uint256(satellite.storageSlot(originChainId, blockNumber, account, slot)) == 1, "FACT_NOT_SAVED");
+
+        _saveCairoFact(factHash, isMocked);
+    }
 }

solidity/src/modules/messaging/receiver/AbstractReceiverModule.sol

@@ -25,6 +25,10 @@ abstract contract AbstractReceiverModule is IReceiverModule {
         ISatellite(address(this))._createMmrFromForeign(newMmrId, rootsForHashingFunctions, mmrSize, accumulatedChainId, originChainId, originalMmrId, isOffchainGrown);
     }
 
+    function receiveCairoFactHash(bytes32 factHash, bool isMocked) external onlyCrossdomainCounterpart {
+        ISatellite(address(this))._receiveCairoFactHash(factHash, isMocked);
+    }
+
     modifier onlyCrossdomainCounterpart() {
         require(isCrossdomainCounterpart(), "Only crossdomain counterpart allowed");
         _;

solidity/src/modules/messaging/sender/UniversalSenderModule.sol

@@ -25,6 +25,8 @@ contract UniversalSenderModule is IUniversalSenderModule {
 
         ILibSatellite.SatelliteConnection memory satellite = s.satelliteConnectionRegistry[destinationChainId];
 
+        require(satellite.inboxAddress != address(0x0), "Invalid destination chain");
+
         bytes memory data = abi.encodeWithSelector(
             satellite.sendMessageSelector,
             satellite.satelliteAddress,
@@ -97,4 +99,28 @@ contract UniversalSenderModule is IUniversalSenderModule {
         (bool success, ) = address(this).call{value: msg.value}(data);
         require(success, "Function call failed");
     }
+
+    function sendCairoFactHash(uint256 destinationChainId, bytes32 factHash, bool isMocked, bytes calldata _xDomainMsgGasData) external payable {
+        ISatellite.SatelliteStorage storage s = LibSatellite.satelliteStorage();
+        if (isMocked) {
+            require(ISatellite(address(this)).isCairoMockedFactValid(factHash), "ERR_FACT_NOT_VALID");
+        } else {
+            require(ISatellite(address(this)).isCairoFactValid(factHash), "ERR_FACT_NOT_VALID");
+        }
+
+        ILibSatellite.SatelliteConnection memory satellite = s.satelliteConnectionRegistry[destinationChainId];
+
+        require(satellite.inboxAddress != address(0x0), "Invalid destination chain");
+
+        bytes memory data = abi.encodeWithSelector(
+            satellite.sendMessageSelector,
+            satellite.satelliteAddress,
+            satellite.inboxAddress,
+            abi.encodeWithSignature("receiveCairoFactHash(bytes32,bool)", factHash, isMocked),
+            _xDomainMsgGasData
+        );
+
+        (bool success, ) = address(this).call{value: msg.value}(data);
+        require(success, "Function call failed");
+    }
 }