blockifier: get proof_facts_length from tx

Author: avivg-starkware

crates/blockifier/src/fee/receipt.rs

@@ -184,7 +184,7 @@ impl TransactionReceipt {
             tx_type: account_tx.tx_type(),
             reverted_steps,
             reverted_sierra_gas,
-            proof_facts_length: 0,
+            proof_facts_length: account_tx.proof_facts_length(),
         })
     }
 }

crates/blockifier/src/transaction/account_transaction.rs

@@ -220,6 +220,10 @@ impl AccountTransaction {
         self.signature().0.len()
     }
 
+    pub fn proof_facts_length(&self) -> usize {
+        if let Transaction::Invoke(tx) = &self.tx { tx.proof_facts_length() } else { 0 }
+    }
+
     pub fn enforce_fee(&self) -> bool {
         self.create_tx_info().enforce_fee()
     }

crates/starknet_api/src/executable_transaction.rs

@@ -345,6 +345,10 @@ impl InvokeTransaction {
         let tx_hash = invoke_tx.calculate_transaction_hash(chain_id, &invoke_tx.version())?;
         Ok(Self { tx: invoke_tx, tx_hash })
     }
+
+    pub fn proof_facts_length(&self) -> usize {
+        self.proof_facts().0.len()
+    }
 }
 
 #[derive(Clone, Debug, Default, Deserialize, Eq, PartialEq, Serialize, Hash)]