Preconf router config read in Operator (#586)

* WIP

* moved whitelist specific L1 functions to whitelist crate

* Moved all functions using provider to the ExecutionLayerInner

* Update dependencies in Cargo.lock and Cargo.toml

- Removed outdated dependencies from Cargo.lock, including several async-related packages.
- Updated the libp2p dependency in Cargo.toml to version 0.55.0, enabling the "macros" feature while disabling others for a more streamlined build.
- Cleaned up unnecessary entries to optimize the dependency tree.

* fixed test_gas

* Remove MPL-2.0 exception for attohttpc from deny.toml and ensure bitbucket source entry has a newline at the end of the file.

* fixing test_gas

* Moved template type from ExecutionLayer to upper level, to the EthereumL1 structure

* test-gas fix

* removed node.rs

* comment

* Handover window slots from preconf router contract config

* Checking config from preconf router in Operator

Signed-off-by: Maciej Skrzypkowski <mskr@gmx.com>

* better error

* Update whitelist/src/node/operator.rs

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

* fixed copilot improvement

* removed ruint dependency

---------

Signed-off-by: Maciej Skrzypkowski <mskr@gmx.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

Author: mskrzypkows

Cargo.lock

@@ -12,7 +12,7 @@ resolver = "2"
 default-members = ["whitelist"]
 
 [workspace.package]
-version = "1.7.3"
+version = "1.8.0"
 edition = "2024"
 repository = "https://github.com/NethermindEth/Catalyst"
 license = "MIT"

Cargo.toml

@@ -1 +1 @@
-[{"type":"constructor","inputs":[{"name":"_proposeBatchEntrypoint","type":"address","internalType":"address"},{"name":"_preconfWhitelist","type":"address","internalType":"address"},{"name":"_fallbackPreconfer","type":"address","internalType":"address"}],"stateMutability":"nonpayable"},{"type":"function","name":"acceptOwnership","inputs":[],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"fallbackPreconfer","inputs":[],"outputs":[{"name":"","type":"address","internalType":"address"}],"stateMutability":"view"},{"type":"function","name":"impl","inputs":[],"outputs":[{"name":"","type":"address","internalType":"address"}],"stateMutability":"view"},{"type":"function","name":"inNonReentrant","inputs":[],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"view"},{"type":"function","name":"init","inputs":[{"name":"_owner","type":"address","internalType":"address"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"owner","inputs":[],"outputs":[{"name":"","type":"address","internalType":"address"}],"stateMutability":"view"},{"type":"function","name":"pause","inputs":[],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"paused","inputs":[],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"view"},{"type":"function","name":"pendingOwner","inputs":[],"outputs":[{"name":"","type":"address","internalType":"address"}],"stateMutability":"view"},{"type":"function","name":"preconfWhitelist","inputs":[],"outputs":[{"name":"","type":"address","internalType":"contract IPreconfWhitelist"}],"stateMutability":"view"},{"type":"function","name":"proposeBatch","inputs":[{"name":"_params","type":"bytes","internalType":"bytes"},{"name":"_txList","type":"bytes","internalType":"bytes"}],"outputs":[{"name":"meta_","type":"tuple","internalType":"struct ITaikoInbox.BatchMetadata","components":[{"name":"infoHash","type":"bytes32","internalType":"bytes32"},{"name":"proposer","type":"address","internalType":"address"},{"name":"batchId","type":"uint64","internalType":"uint64"},{"name":"proposedAt","type":"uint64","internalType":"uint64"}]}],"stateMutability":"nonpayable"},{"type":"function","name":"proposeBatchEntrypoint","inputs":[],"outputs":[{"name":"","type":"address","internalType":"contract IProposeBatch"}],"stateMutability":"view"},{"type":"function","name":"proxiableUUID","inputs":[],"outputs":[{"name":"","type":"bytes32","internalType":"bytes32"}],"stateMutability":"view"},{"type":"function","name":"renounceOwnership","inputs":[],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"resolver","inputs":[],"outputs":[{"name":"","type":"address","internalType":"address"}],"stateMutability":"view"},{"type":"function","name":"transferOwnership","inputs":[{"name":"newOwner","type":"address","internalType":"address"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"unpause","inputs":[],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"upgradeTo","inputs":[{"name":"newImplementation","type":"address","internalType":"address"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"upgradeToAndCall","inputs":[{"name":"newImplementation","type":"address","internalType":"address"},{"name":"data","type":"bytes","internalType":"bytes"}],"outputs":[],"stateMutability":"payable"},{"type":"event","name":"AdminChanged","inputs":[{"name":"previousAdmin","type":"address","indexed":false,"internalType":"address"},{"name":"newAdmin","type":"address","indexed":false,"internalType":"address"}],"anonymous":false},{"type":"event","name":"BeaconUpgraded","inputs":[{"name":"beacon","type":"address","indexed":true,"internalType":"address"}],"anonymous":false},{"type":"event","name":"Initialized","inputs":[{"name":"version","type":"uint8","indexed":false,"internalType":"uint8"}],"anonymous":false},{"type":"event","name":"OwnershipTransferStarted","inputs":[{"name":"previousOwner","type":"address","indexed":true,"internalType":"address"},{"name":"newOwner","type":"address","indexed":true,"internalType":"address"}],"anonymous":false},{"type":"event","name":"OwnershipTransferred","inputs":[{"name":"previousOwner","type":"address","indexed":true,"internalType":"address"},{"name":"newOwner","type":"address","indexed":true,"internalType":"address"}],"anonymous":false},{"type":"event","name":"Paused","inputs":[{"name":"account","type":"address","indexed":false,"internalType":"address"}],"anonymous":false},{"type":"event","name":"Unpaused","inputs":[{"name":"account","type":"address","indexed":false,"internalType":"address"}],"anonymous":false},{"type":"event","name":"Upgraded","inputs":[{"name":"implementation","type":"address","indexed":true,"internalType":"address"}],"anonymous":false},{"type":"error","name":"ACCESS_DENIED","inputs":[]},{"type":"error","name":"FUNC_NOT_IMPLEMENTED","inputs":[]},{"type":"error","name":"ForcedInclusionNotSupported","inputs":[]},{"type":"error","name":"INVALID_PAUSE_STATUS","inputs":[]},{"type":"error","name":"InvalidLastBlockId","inputs":[{"name":"_actual","type":"uint96","internalType":"uint96"},{"name":"_expected","type":"uint96","internalType":"uint96"}]},{"type":"error","name":"NotPreconferOrFallback","inputs":[]},{"type":"error","name":"ProposerIsNotPreconfer","inputs":[]},{"type":"error","name":"REENTRANT_CALL","inputs":[]},{"type":"error","name":"RESOLVER_NOT_FOUND","inputs":[]},{"type":"error","name":"ZERO_ADDRESS","inputs":[]},{"type":"error","name":"ZERO_VALUE","inputs":[]}]
+[{"type":"constructor","inputs":[{"name":"_proposeBatchEntrypoint","type":"address","internalType":"address"},{"name":"_preconfWhitelist","type":"address","internalType":"address"},{"name":"_fallbackPreconfer","type":"address","internalType":"address"}],"stateMutability":"nonpayable"},{"type":"function","name":"acceptOwnership","inputs":[],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"fallbackPreconfer","inputs":[],"outputs":[{"name":"","type":"address","internalType":"address"}],"stateMutability":"view"},{"type":"function","name":"impl","inputs":[],"outputs":[{"name":"","type":"address","internalType":"address"}],"stateMutability":"view"},{"type":"function","name":"inNonReentrant","inputs":[],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"view"},{"type":"function","name":"init","inputs":[{"name":"_owner","type":"address","internalType":"address"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"owner","inputs":[],"outputs":[{"name":"","type":"address","internalType":"address"}],"stateMutability":"view"},{"type":"function","name":"pause","inputs":[],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"paused","inputs":[],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"view"},{"type":"function","name":"pendingOwner","inputs":[],"outputs":[{"name":"","type":"address","internalType":"address"}],"stateMutability":"view"},{"type":"function","name":"preconfWhitelist","inputs":[],"outputs":[{"name":"","type":"address","internalType":"contract IPreconfWhitelist"}],"stateMutability":"view"},{"type":"function","name":"proposeBatch","inputs":[{"name":"_params","type":"bytes","internalType":"bytes"},{"name":"_txList","type":"bytes","internalType":"bytes"}],"outputs":[{"name":"meta_","type":"tuple","internalType":"struct ITaikoInbox.BatchMetadata","components":[{"name":"infoHash","type":"bytes32","internalType":"bytes32"},{"name":"proposer","type":"address","internalType":"address"},{"name":"batchId","type":"uint64","internalType":"uint64"},{"name":"proposedAt","type":"uint64","internalType":"uint64"}]}],"stateMutability":"nonpayable"},{"type":"function","name":"proposeBatchEntrypoint","inputs":[],"outputs":[{"name":"","type":"address","internalType":"contract IProposeBatch"}],"stateMutability":"view"},{"type":"function","name":"proxiableUUID","inputs":[],"outputs":[{"name":"","type":"bytes32","internalType":"bytes32"}],"stateMutability":"view"},{"type":"function","name":"renounceOwnership","inputs":[],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"resolver","inputs":[],"outputs":[{"name":"","type":"address","internalType":"address"}],"stateMutability":"view"},{"type":"function","name":"transferOwnership","inputs":[{"name":"newOwner","type":"address","internalType":"address"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"unpause","inputs":[],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"upgradeTo","inputs":[{"name":"newImplementation","type":"address","internalType":"address"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"upgradeToAndCall","inputs":[{"name":"newImplementation","type":"address","internalType":"address"},{"name":"data","type":"bytes","internalType":"bytes"}],"outputs":[],"stateMutability":"payable"},{"type":"event","name":"AdminChanged","inputs":[{"name":"previousAdmin","type":"address","indexed":false,"internalType":"address"},{"name":"newAdmin","type":"address","indexed":false,"internalType":"address"}],"anonymous":false},{"type":"event","name":"BeaconUpgraded","inputs":[{"name":"beacon","type":"address","indexed":true,"internalType":"address"}],"anonymous":false},{"type":"event","name":"Initialized","inputs":[{"name":"version","type":"uint8","indexed":false,"internalType":"uint8"}],"anonymous":false},{"type":"event","name":"OwnershipTransferStarted","inputs":[{"name":"previousOwner","type":"address","indexed":true,"internalType":"address"},{"name":"newOwner","type":"address","indexed":true,"internalType":"address"}],"anonymous":false},{"type":"event","name":"OwnershipTransferred","inputs":[{"name":"previousOwner","type":"address","indexed":true,"internalType":"address"},{"name":"newOwner","type":"address","indexed":true,"internalType":"address"}],"anonymous":false},{"type":"event","name":"Paused","inputs":[{"name":"account","type":"address","indexed":false,"internalType":"address"}],"anonymous":false},{"type":"event","name":"Unpaused","inputs":[{"name":"account","type":"address","indexed":false,"internalType":"address"}],"anonymous":false},{"type":"event","name":"Upgraded","inputs":[{"name":"implementation","type":"address","indexed":true,"internalType":"address"}],"anonymous":false},{"type":"error","name":"ACCESS_DENIED","inputs":[]},{"type":"error","name":"FUNC_NOT_IMPLEMENTED","inputs":[]},{"type":"error","name":"ForcedInclusionNotSupported","inputs":[]},{"type":"error","name":"INVALID_PAUSE_STATUS","inputs":[]},{"type":"error","name":"InvalidLastBlockId","inputs":[{"name":"_actual","type":"uint96","internalType":"uint96"},{"name":"_expected","type":"uint96","internalType":"uint96"}]},{"type":"error","name":"NotPreconferOrFallback","inputs":[]},{"type":"error","name":"ProposerIsNotPreconfer","inputs":[]},{"type":"error","name":"REENTRANT_CALL","inputs":[]},{"type":"error","name":"RESOLVER_NOT_FOUND","inputs":[]},{"type":"error","name":"ZERO_ADDRESS","inputs":[]},{"type":"error","name":"ZERO_VALUE","inputs":[]}]

whitelist/src/l1/abi/PreconfRouter.json

@@ -90,6 +90,26 @@ sol!(
     "src/l1/abi/PreconfRouter.json"
 );
 
+pub mod preconf_router {
+    use super::*;
+
+    sol!(
+        #[allow(missing_docs)]
+        #[sol(rpc)]
+        interface IPreconfRouter is IProposeBatch {
+            error ForcedInclusionNotSupported();
+            error NotPreconferOrFallback();
+            error ProposerIsNotPreconfer();
+
+            struct Config {
+                uint256 handOverSlots;
+            }
+
+            function getConfig() external view returns (Config memory);
+        }
+    );
+}
+
 pub mod taiko_wrapper {
     use super::*;
 

whitelist/src/l1/bindings.rs

@@ -2,6 +2,7 @@ use super::{
     bindings::{
         BatchParams, BlockParams, PreconfWhitelist,
         forced_inclusion_store::{IForcedInclusionStore, IForcedInclusionStore::ForcedInclusion},
+        preconf_router::IPreconfRouter,
         taiko_inbox, taiko_wrapper,
     },
     config::EthereumL1Config,
@@ -396,16 +397,30 @@ impl ExecutionLayer {
             info,
         )
     }
+
+    pub async fn get_preconf_router_config(&self) -> Result<IPreconfRouter::Config, Error> {
+        let contract = IPreconfRouter::new(
+            self.config.contract_addresses.preconf_router,
+            self.provider.clone(),
+        );
+        contract
+            .getConfig()
+            .call()
+            .await
+            .map_err(|e| Error::msg(format!("Failed to get preconf router config: {e}")))
+    }
 }
 
-use std::future::Future;
 pub trait PreconfOperator {
     fn is_operator_for_current_epoch(&self) -> impl Future<Output = Result<bool, Error>> + Send;
     fn is_operator_for_next_epoch(&self) -> impl Future<Output = Result<bool, Error>> + Send;
     fn is_preconf_router_specified_in_taiko_wrapper(
         &self,
     ) -> impl Future<Output = Result<bool, Error>> + Send;
     fn get_l2_height_from_taiko_inbox(&self) -> impl Future<Output = Result<u64, Error>> + Send;
+    fn get_preconf_router_config(
+        &self,
+    ) -> impl Future<Output = Result<IPreconfRouter::Config, Error>> + Send;
 }
 
 impl PreconfOperator for ExecutionLayer {
@@ -427,4 +442,8 @@ impl PreconfOperator for ExecutionLayer {
     async fn get_l2_height_from_taiko_inbox(&self) -> Result<u64, Error> {
         self.get_l2_height_from_taiko_inbox().await
     }
+
+    async fn get_preconf_router_config(&self) -> Result<IPreconfRouter::Config, Error> {
+        self.get_preconf_router_config().await
+    }
 }