apollo_gateway: reject tx with low l2 gas price

Author: ArniStarkware

Cargo.lock

@@ -31,6 +31,7 @@ cairo-lang-starknet-classes.workspace = true
 futures.workspace = true
 lazy_static.workspace = true
 mempool_test_utils.workspace = true
+num-rational.workspace = true
 reqwest.workspace = true
 serde.workspace = true
 serde_json.workspace = true

crates/apollo_gateway/Cargo.toml

@@ -44,6 +44,8 @@ impl SerializeConfig for GatewayConfig {
 
 #[derive(Clone, Debug, Serialize, Deserialize, Validate, PartialEq)]
 pub struct StatelessTransactionValidatorConfig {
+    // TODO(Arni): Align the name of this field with the mempool config, and all other places where
+    // validation is skipped during the systems bootstrap phase.
     // If true, validates that the resource bounds are not zero.
     pub validate_non_zero_resource_bounds: bool,
     // TODO(AlonH): Remove this field and use the one from the versioned constants.

crates/apollo_gateway/src/config.rs

@@ -26,12 +26,15 @@ use apollo_proc_macros::sequencer_latency_histogram;
 use apollo_state_sync_types::communication::SharedStateSyncClient;
 use axum::async_trait;
 use blockifier::context::ChainInfo;
+use num_rational::Ratio;
+use starknet_api::block::NonzeroGasPrice;
 use starknet_api::executable_transaction::ValidateCompiledClassHashError;
 use starknet_api::rpc_transaction::{
     InternalRpcTransaction,
     InternalRpcTransactionWithoutTxHash,
     RpcTransaction,
 };
+use starknet_api::transaction::fields::ValidResourceBounds;
 use tracing::{debug, error, info, instrument, warn, Span};
 
 use crate::config::GatewayConfig;
@@ -46,6 +49,10 @@ use crate::sync_state_reader::SyncStateReaderFactory;
 #[path = "gateway_test.rs"]
 pub mod gateway_test;
 
+// TODO(Arni): Move to a config.
+// Minimum gas price as percentage of threshold to accept transactions.
+const MIN_GAS_PRICE_PRECENTAGE: u8 = 80; // E.g., 80 to require 80% of threshold.
+
 #[derive(Clone)]
 pub struct Gateway {
     pub config: Arc<GatewayConfig>,
@@ -203,10 +210,17 @@ impl ProcessTxBlockingTask {
         let mut validator = self
             .stateful_tx_validator
             .instantiate_validator(self.state_reader_factory.as_ref(), &self.chain_info)?;
-        // TODO(Arni): Use the _l2_gas_price reject transactions that do not pass the gas price
-        // threshold.
-        let _l2_gas_price =
-            validator.block_context().block_info().gas_prices.strk_gas_prices.l2_gas_price;
+
+        // Skip this validation during the systems bootstrap phase.
+        if self.stateless_tx_validator.config.validate_non_zero_resource_bounds {
+            let l2_gas_price =
+                validator.block_context().block_info().gas_prices.strk_gas_prices.l2_gas_price;
+            validate_tx_l2_gas_price_within_threshold(
+                executable_tx.resource_bounds(),
+                l2_gas_price,
+            )?;
+        }
+
         let address = executable_tx.contract_address();
         let nonce = validator.get_nonce(address).map_err(|e| {
             error!("Failed to get nonce for sender address {}: {}", address, e);
@@ -226,6 +240,36 @@ impl ProcessTxBlockingTask {
     }
 }
 
+// TODO(Arni): Consider running this validation for all gas prices.
+fn validate_tx_l2_gas_price_within_threshold(
+    tx_resource_bounds: ValidResourceBounds,
+    previous_block_l2_gas_price: NonzeroGasPrice,
+) -> GatewayResult<()> {
+    match tx_resource_bounds {
+        ValidResourceBounds::AllResources(tx_resource_bounds) => {
+            let tx_l2_gas_price = tx_resource_bounds.l2_gas.max_price_per_unit;
+            let gas_price_threshold_multiplier =
+                Ratio::new(MIN_GAS_PRICE_PRECENTAGE.into(), 100_u128);
+            let threshold =
+                (gas_price_threshold_multiplier * previous_block_l2_gas_price.get().0).to_integer();
+            if tx_l2_gas_price.0 < threshold {
+                return Err(StarknetError {
+                    code: StarknetErrorCode::KnownErrorCode(KnownStarknetErrorCode::GasPriceTooLow),
+                    message: format!(
+                        "Transaction gas price {} is below the required threshold {}.",
+                        tx_l2_gas_price, threshold
+                    ),
+                });
+            }
+        }
+        ValidResourceBounds::L1Gas(_) => {
+            // No validation required for legacy transactions.
+        }
+    }
+
+    Ok(())
+}
+
 fn convert_compiled_class_hash_error(error: ValidateCompiledClassHashError) -> StarknetError {
     let ValidateCompiledClassHashError::CompiledClassHashMismatch {
         computed_class_hash,

crates/apollo_gateway/src/gateway.rs

@@ -41,6 +41,8 @@ pub enum KnownStarknetErrorCode {
     EntryPointNotFoundInContract,
     #[serde(rename = "StarknetErrorCode.INSUFFICIENT_ACCOUNT_BALANCE")]
     InsufficientAccountBalance,
+    #[serde(rename = "StarknetErrorCode.GAS_PRICE_TOO_LOW")]
+    GasPriceTooLow,
     #[serde(rename = "StarknetErrorCode.INSUFFICIENT_MAX_FEE")]
     InsufficientMaxFee,
     #[serde(rename = "StarknetErrorCode.INVALID_COMPILED_CLASS_HASH")]