starknet_api: add proof_facts to invoke trait (#10714)

Author: avivg-starkware

crates/starknet_api/src/rpc_transaction.rs

@@ -607,6 +607,11 @@ impl InvokeTransactionV3Trait for RpcInvokeTransactionV3 {
     fn calldata(&self) -> &Calldata {
         &self.calldata
     }
+    // TODO(AvivG): Remove #[allow(unused)] when proof_facts is used for hash calculation.
+    #[allow(unused)]
+    fn proof_facts(&self) -> &ProofFacts {
+        &self.proof_facts
+    }
 }
 
 impl TransactionHasher for RpcInvokeTransactionV3 {

crates/starknet_api/src/transaction_hash.rs

@@ -11,6 +11,7 @@ use crate::transaction::fields::{
     Calldata,
     ContractAddressSalt,
     PaymasterData,
+    ProofFacts,
     ResourceBounds,
     Tip,
     ValidResourceBounds,
@@ -363,6 +364,9 @@ pub(crate) trait InvokeTransactionV3Trait {
     fn calldata(&self) -> &Calldata;
     fn sender_address(&self) -> &ContractAddress;
     fn nonce(&self) -> &Nonce;
+    // TODO(AvivG): Remove #[allow(unused)] when proof_facts is used for hash calculation.
+    #[allow(unused)]
+    fn proof_facts(&self) -> &ProofFacts;
 }
 
 pub(crate) fn get_invoke_transaction_v3_hash<T: InvokeTransactionV3Trait>(
@@ -383,7 +387,7 @@ pub(crate) fn get_invoke_transaction_v3_hash<T: InvokeTransactionV3Trait>(
         .get_poseidon_hash();
     let calldata_hash =
         HashChain::new().chain_iter(transaction.calldata().0.iter()).get_poseidon_hash();
-
+    // TODO(AvivG): Add proof_facts to hash calculation.
     Ok(TransactionHash(
         HashChain::new()
             .chain(&INVOKE)
@@ -428,6 +432,11 @@ impl InvokeTransactionV3Trait for InvokeTransactionV3 {
     fn calldata(&self) -> &Calldata {
         &self.calldata
     }
+    // TODO(AvivG): Remove #[allow(unused)] when proof_facts is used for hash calculation.
+    #[allow(unused)]
+    fn proof_facts(&self) -> &ProofFacts {
+        &self.proof_facts
+    }
 }
 
 #[derive(PartialEq, PartialOrd)]