fix(l2): uncomment final state check and validate gas in sp1 and exec (#2558)

**Motivation**

These were commented in #2291 (merged to main), probably for test/dev
purposes, and left like that

Author: xqft

crates/l2/prover/src/backends/exec.rs

@@ -1,4 +1,4 @@
-use ethrex_blockchain::validate_block;
+use ethrex_blockchain::{validate_block, validate_gas_used};
 use ethrex_l2::utils::prover::proving_systems::{ProofCalldata, ProverType};
 use ethrex_l2_sdk::calldata::Value;
 use ethrex_vm::Evm;
@@ -57,19 +57,19 @@ fn execution_program(input: ProgramInput) -> Result<ProgramOutput, Box<dyn std::
     let fork = db.chain_config.fork(block.header.timestamp);
 
     let mut vm = Evm::from_execution_db(db.clone());
-    let _result = vm.execute_block(&block)?;
-    // let receipts = result.receipts;
+    let result = vm.execute_block(&block)?;
+    let receipts = result.receipts;
     let account_updates = vm.get_state_transitions(fork)?;
-    // validate_gas_used(&receipts, &block.header)?;
+    validate_gas_used(&receipts, &block.header)?;
 
     // Update state trie
     update_tries(&mut state_trie, &mut storage_tries, &account_updates)?;
 
     // Calculate final state root hash and check
     let final_state_hash = state_trie.hash_no_commit();
-    // if final_state_hash != block.header.state_root {
-    //     return Err("invalid final state trie".to_string().into());
-    // }
+    if final_state_hash != block.header.state_root {
+        return Err("invalid final state trie".to_string().into());
+    }
 
     Ok(ProgramOutput {
         initial_state_hash,

crates/l2/prover/zkvm/interface/sp1/src/main.rs

@@ -36,8 +36,10 @@ pub fn main() {
     let mut evm = Evm::from_execution_db(db.clone());
     let result = evm.execute_block(&block).expect("failed to execute block");
     let receipts = result.receipts;
-    let account_updates = evm.get_state_transitions(fork).expect("failed to get state transitions");
-    // validate_gas_used(&receipts, &block.header).expect("invalid gas used");
+    let account_updates = evm
+        .get_state_transitions(fork)
+        .expect("failed to get state transitions");
+    validate_gas_used(&receipts, &block.header).expect("invalid gas used");
 
     // Output gas for measurement purposes
     let cumulative_gas_used = receipts
@@ -52,9 +54,9 @@ pub fn main() {
 
     // Calculate final state root hash and check
     let final_state_hash = state_trie.hash_no_commit();
-    // if final_state_hash != block.header.state_root {
-    //     panic!("invalid final state trie");
-    // }
+    if final_state_hash != block.header.state_root {
+        panic!("invalid final state trie");
+    }
 
     sp1_zkvm::io::commit(&ProgramOutput {
         initial_state_hash,