Deploy ISMP contracts on Pharos Atlantic testnet (#759)

Author: dharjeezy

Cargo.lock

@@ -153,6 +153,20 @@ The current testnet environment for the Hyperbridge network.
 | `StateMachine` | `EVM-3448148188` |
 
 
+### Pharos Atlantic
+
+| `IsmpHost` | [`0xED54E9b64043c389173316B6351Bd25491060eA8`](https://pharos-testnet.socialscan.io/address/0xED54E9b64043c389173316B6351Bd25491060eA8) |
+|:------------|:-----|
+| `HandlerV1` | [`0x8B37747BBF8c8485026B9Dc2f8Fb177096EF574f`](https://pharos-testnet.socialscan.io/address/0x8B37747BBF8c8485026B9Dc2f8Fb177096EF574f) |
+| `PingModule` | [`0xBB3dFCcBAE0ae8F00320E46719c342fd69f5516C`](https://pharos-testnet.socialscan.io/address/0xBB3dFCcBAE0ae8F00320E46719c342fd69f5516C) |
+| `TokenGateway` | [`0x451bDd8273839AD0Ec7F4Fa798E8B3DABb223fD8`](https://pharos-testnet.socialscan.io/address/0x451bDd8273839AD0Ec7F4Fa798E8B3DABb223fD8) |
+| `IntentGateway` | [`0xb8039832c6c9266F928d038eA49A8a169300C670`](https://pharos-testnet.socialscan.io/address/0xb8039832c6c9266F928d038eA49A8a169300C670) |
+| `CallDispatcher` | [`0x7CBe6D93d04A2e736Fa6cA153099d78da2aCaA0E`](https://pharos-testnet.socialscan.io/address/0x7CBe6D93d04A2e736Fa6cA153099d78da2aCaA0E) |
+| `TokenFaucet` | [`0xD2cFb5b876d6D0dc17cbb6f09Bc2415F2d8a6908`](https://pharos-testnet.socialscan.io/address/0xD2cFb5b876d6D0dc17cbb6f09Bc2415F2d8a6908) |
+| `FeeToken (USD.h)` | [`0xeaB7572c5506978C9A4Ff0A0BA5A1291e327B0B8`](https://pharos-testnet.socialscan.io/address/0xeaB7572c5506978C9A4Ff0A0BA5A1291e327B0B8) |
+| `ConsensusStateId` | `PHAR` |
+| `StateMachine` | `EVM-688689` |
+
 ## Gargantua V2 (Paseo) (Deprecated)
 
 Deprecated testnet environment for Gargantua V2 (Paseo).

docs/content/developers/evm/contract-addresses/testnet.mdx

@@ -85,6 +85,23 @@ FEE_TOKEN = "0x1452D37b4B0d28dd2fa77b2F0bC784274db7b3F7"
 is_mainnet = false
 7702 = false
 
+[688689]
+endpoint_url = "${PHAROS_ATLANTIC_RPC}"
+
+[688689.address]
+HOST = "0xED54E9b64043c389173316B6351Bd25491060eA8"
+PING = "0xBB3dFCcBAE0ae8F00320E46719c342fd69f5516C"
+TOKEN_FAUCET = "0xD2cFb5b876d6D0dc17cbb6f09Bc2415F2d8a6908"
+HANDLER = "0x8B37747BBF8c8485026B9Dc2f8Fb177096EF574f"
+FEE_TOKEN = "0xeaB7572c5506978C9A4Ff0A0BA5A1291e327B0B8"
+CALL_DISPATCHER = "0x7CBe6D93d04A2e736Fa6cA153099d78da2aCaA0E"
+TOKEN_GATEWAY = "0x451bDd8273839AD0Ec7F4Fa798E8B3DABb223fD8"
+INTENT_GATEWAY = "0xb8039832c6c9266F928d038eA49A8a169300C670"
+
+[688689.bool]
+is_mainnet = false
+7702 = false
+
 [420420417]
 endpoint_url = "${POLKADOT_TESTNET_URL}"
 

evm/config.testnet.toml

@@ -25,6 +25,7 @@ bsc-testnet = "${BSC_TESTNET_RPC_URL}"
 gnosis-chiado = "${GNOSIS_CHIADO_RPC_URL}"
 sei-testnet = "${SEI_TESTNET_RPC_URL}"
 polkadot-testnet = "${POLKADOT_TESTNET_URL}"
+pharos-testnet = "${PHAROS_ATLANTIC_RPC}"
 
 # mainnet
 ethereum = "${ETHEREUM_RPC_URL}"
@@ -50,6 +51,7 @@ bsc-testnet = { chain = 97, key="${ETHEREUM_ETHERSCAN_API_KEY}", url = "https://
 gnosis-chiado = { chain = 10200, key = "${GNOSIS_BLOCKSCOUT_API_KEY}",url = "https://gnosis-chiado.blockscout.com/api" }
 sei-testnet = { chain = 1328, key="${ETHEREUM_ETHERSCAN_API_KEY}", url = "https://api.etherscan.io/v2/api" }
 polkadot-testnet = { chain = 420420417, key="${ROUTESCAN_API_KEY}", url = "https://api.routescan.io/v2/network/testnet/evm/420420417/etherscan/api" }
+pharos-testnet = { chain = 688689, key="${PHAROS_EXPLORER_API_KEY}", url = "${PHAROS_EXPLORER_API_URL}" }
 
 # mainnet
 ethereum = { chain = 1, key="${ETHEREUM_ETHERSCAN_API_KEY}", url = "https://api.etherscan.io/v2/api?chainid=1" }

evm/foundry.toml

@@ -14,7 +14,7 @@
     "dependencies": {
         "@hyperbridge/core": "^1.6.0",
         "@openzeppelin/contracts": "^5.4.0",
-        "@polytope-labs/solidity-merkle-trees": "^0.4.0",
+        "@polytope-labs/solidity-merkle-trees": "0.4.0",
         "@uniswap/swap-router-contracts": "^1.3.1",
         "@uniswap/universal-router": "github:Uniswap/universal-router",
         "@uniswap/v2-periphery": "^1.1.0-beta.0",

evm/package.json

@@ -27,6 +27,7 @@ import {PingModule} from "../src/utils/PingModule.sol";
 import {BscHost} from "../src/hosts/Bsc.sol";
 import {PolygonHost} from "../src/hosts/Polygon.sol";
 import {PolkadotHost} from "../src/hosts/Polkadot.sol";
+import {PharosHost} from "../src/hosts/Pharos.sol";
 
 import {SP1Verifier} from "@sp1-contracts/v5.0.0/SP1VerifierGroth16.sol";
 import {SP1Beefy} from "../src/consensus/SP1Beefy.sol";
@@ -235,6 +236,11 @@ contract DeployScript is BaseScript {
             PolkadotHost h = new PolkadotHost{salt: salt}(params);
             return address(h);
         }
+        // Pharos (mainnet: 688600, testnet: 688689)
+        else if (chainId == 688600 || chainId == 688689) {
+            PharosHost h = new PharosHost{salt: salt}(params);
+            return address(h);
+        }
 
         revert("Unknown chain ID");
     }

evm/pnpm-lock.yaml

@@ -66,7 +66,7 @@ print_usage() {
     echo ""
     echo "Available Chains:"
     echo "  Testnets: sepolia, optimism-sepolia, arbitrum-sepolia, base-sepolia,"
-    echo "            polygon-amoy, bsc-testnet, gnosis-chiado, sei-testnet"
+    echo "            polygon-amoy, bsc-testnet, gnosis-chiado, sei-testnet, pharos-testnet"
     echo ""
     echo "  Mainnets: ethereum, optimism, arbitrum, base, bsc, gnosis,"
     echo "            soneium, polygon, unichain, inkchain, sei"
@@ -157,7 +157,7 @@ fi
 
 # Expand "testnet" or "mainnet" to actual chain lists
 if [ "$CHAINS" = "testnet" ]; then
-    CHAINS="sepolia,optimism-sepolia,arbitrum-sepolia,base-sepolia,polygon-amoy,bsc-testnet,polkadot-testnet"
+    CHAINS="sepolia,optimism-sepolia,arbitrum-sepolia,base-sepolia,polygon-amoy,bsc-testnet,polkadot-testnet,pharos-testnet"
     echo -e "${GREEN}Deploying to all testnet chains: ${YELLOW}${CHAINS}${NC}"
     echo ""
 elif [ "$CHAINS" = "mainnet" ]; then

evm/script/DeployIsmp.s.sol

@@ -0,0 +1,35 @@
+// Copyright (C) Polytope Labs Ltd.
+// SPDX-License-Identifier: Apache-2.0
+
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+// 	http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+pragma solidity ^0.8.17;
+
+import {EvmHost, HostParams} from "../core/EvmHost.sol";
+
+/**
+ * @title The PharosHost
+ * @author Polytope Labs (hello@polytope.technology)
+ *
+ * @notice The IsmpHost and IsmpDispatcher implementation for the Pharos state machine.
+ * Refer to the official ISMP specification. https://docs.hyperbridge.network/protocol/ismp
+ */
+contract PharosHost is EvmHost {
+    constructor(HostParams memory params) EvmHost(params) {}
+
+    /// chainId for the Pharos mainnet
+    uint256 public constant CHAIN_ID = 688600;
+
+    function chainId() public pure override returns (uint256) {
+        return CHAIN_ID;
+    }
+}

evm/script/deploy.sh

@@ -33,8 +33,12 @@ pub const PHAROS_CONSENSUS_ID: [u8; 4] = *b"PHAR";
 /// Mainnet epoch length in seconds (4 hours)
 pub const MAINNET_EPOCH_LENGTH_SECS: u64 = 4 * 60 * 60; // 14400 seconds
 
-/// Testnet (Atlantic) epoch length in seconds.
-pub const TESTNET_EPOCH_LENGTH_SECS: u64 = 7828;
+/// Testnet (Atlantic) epoch length in seconds (30 minutes).
+pub const TESTNET_EPOCH_LENGTH_SECS: u64 = 30 * 60; // 1800 seconds
+
+/// Storage slot index for `currentEpoch` on the Pharos staking precompile.
+/// This stores the current epoch **number** (increments every epoch duration).
+pub const CURRENT_EPOCH_SLOT: u64 = 5;
 
 /// Pharos Mainnet chain ID
 pub const PHAROS_MAINNET_CHAIN_ID: u32 = 688600;
@@ -46,13 +50,18 @@ pub const PHAROS_ATLANTIC_CHAIN_ID: u32 = 688689;
 pub const DEFAULT_WITHDRAW_WINDOW_EPOCHS: u64 = 84;
 
 /// Configuration trait for Pharos network parameters.
+///
+/// Pharos epochs are **time-based** (not block-count-based). The epoch number
+/// is stored on-chain at slot 5 of the staking precompile and increments every
+/// `EPOCH_LENGTH_SECS` seconds. There is no fixed number of blocks per epoch.
+///
+/// Epoch determination requires either:
+/// - Reading `currentEpoch` from the staking contract (off-chain prover)
+/// - Verifying a storage proof of slot 5 against the block's state root (on-chain verifier)
 pub trait Config: Clone + Send + Sync {
 	/// The epoch length in seconds
 	const EPOCH_LENGTH_SECS: u64;
 
-	/// The epoch length in blocks (derived from epoch length and block time)
-	const EPOCH_LENGTH_BLOCKS: u64;
-
 	/// The chain ID for this network
 	const CHAIN_ID: u64;
 
@@ -62,27 +71,6 @@ pub trait Config: Clone + Send + Sync {
 	/// The unstaking period in seconds (withdraw_window_epochs × epoch_length_secs).
 	/// Defaults to `DEFAULT_WITHDRAW_WINDOW_EPOCHS × EPOCH_LENGTH_SECS`.
 	const UNBONDING_PERIOD: u64 = DEFAULT_WITHDRAW_WINDOW_EPOCHS * Self::EPOCH_LENGTH_SECS;
-
-	/// Calculate the epoch number for a given block number
-	fn compute_epoch(block_number: u64) -> u64 {
-		block_number / Self::EPOCH_LENGTH_BLOCKS
-	}
-
-	/// Check if a block is an epoch boundary block (last block of an epoch).
-	///
-	/// The epoch boundary is defined as the last block of an epoch, i.e.,
-	/// `(block_number + 1) % epoch_length == 0`.
-	///
-	/// At epoch boundaries, the validator set for the next epoch is finalized
-	fn is_epoch_boundary(block_number: u64) -> bool {
-		(block_number + 1) % Self::EPOCH_LENGTH_BLOCKS == 0
-	}
-
-	/// Get the first block number of the next epoch
-	fn next_epoch_start(current_block: u64) -> u64 {
-		let current_epoch = Self::compute_epoch(current_block);
-		(current_epoch + 1) * Self::EPOCH_LENGTH_BLOCKS
-	}
 }
 
 /// Pharos Mainnet configuration
@@ -93,12 +81,6 @@ impl Config for Mainnet {
 	/// 4 hours epoch length
 	const EPOCH_LENGTH_SECS: u64 = MAINNET_EPOCH_LENGTH_SECS;
 
-	/// With ~1 second finality (sub-second), assuming 1 block per second
-	/// 4 hours = 14400 blocks
-	const EPOCH_LENGTH_BLOCKS: u64 = 14400;
-
-	/// Mainnet chain ID - TBD
-	/// Placeholder based on testnet pattern
 	const CHAIN_ID: u64 = 688600;
 
 	const ID: [u8; 4] = PHAROS_CONSENSUS_ID;
@@ -109,11 +91,9 @@ impl Config for Mainnet {
 pub struct Testnet;
 
 impl Config for Testnet {
-	/// ~93.8 minutes epoch length
+	/// 30 minutes epoch length
 	const EPOCH_LENGTH_SECS: u64 = TESTNET_EPOCH_LENGTH_SECS;
 
-	const EPOCH_LENGTH_BLOCKS: u64 = 7828;
-
 	/// Pharos Testnet chain ID
 	const CHAIN_ID: u64 = 688689;