apollo rpc: add proof to invoke v3

Author: avivg-starkware

crates/apollo_rpc/src/v0_8/api/mod.rs

@@ -620,6 +620,7 @@ impl From<InvokeTransaction> for starknet_api::transaction::InvokeTransaction {
                 nonce_data_availability_mode,
                 fee_data_availability_mode,
                 proof_facts,
+                proof: _,
             }) => Self::V3(starknet_api::transaction::InvokeTransactionV3 {
                 resource_bounds: resource_bounds.into(),
                 tip,

crates/apollo_rpc/src/v0_8/transaction.rs

@@ -35,6 +35,7 @@ use starknet_api::transaction::fields::{
     ContractAddressSalt,
     Fee,
     PaymasterData,
+    Proof,
     ProofFacts,
     Resource,
     ResourceBounds,
@@ -449,6 +450,7 @@ pub struct InvokeTransactionV3 {
     pub nonce_data_availability_mode: DataAvailabilityMode,
     pub fee_data_availability_mode: DataAvailabilityMode,
     pub proof_facts: ProofFacts,
+    pub proof: Proof,
 }
 
 impl From<InvokeTransactionV3> for client_transaction::InvokeTransaction {
@@ -554,6 +556,8 @@ impl TryFrom<starknet_api::transaction::InvokeTransaction> for InvokeTransaction
                 paymaster_data,
                 account_deployment_data,
                 proof_facts,
+                // TODO(AvivG): Understand in what flow this is used. Is info lost?
+                proof: Proof::default(),
             })),
         }
     }

crates/apollo_rpc/src/v0_8/transaction_test.rs

@@ -14,6 +14,7 @@ use starknet_api::transaction::fields::{
     ContractAddressSalt,
     Fee,
     PaymasterData,
+    Proof,
     ProofFacts,
     Tip,
     TransactionSignature,
@@ -122,6 +123,7 @@ auto_impl_get_test_instance! {
         pub nonce_data_availability_mode: DataAvailabilityMode,
         pub fee_data_availability_mode: DataAvailabilityMode,
         pub proof_facts: ProofFacts,
+        pub proof: Proof,
     }
     pub enum TransactionVersion0 {
         Version0 = 0,

crates/apollo_test_utils/src/lib.rs

@@ -1,4 +1,5 @@
 #![allow(clippy::unwrap_used)]
+#![recursion_limit = "256"]
 #[cfg(test)]
 mod precision_test;
 
@@ -122,6 +123,7 @@ use starknet_api::transaction::fields::{
     ContractAddressSalt,
     Fee,
     PaymasterData,
+    Proof,
     ProofFacts,
     Resource,
     ResourceBounds,
@@ -427,7 +429,6 @@ pub trait GetTestInstance: Sized {
 
 auto_impl_get_test_instance! {
     pub struct AccountDeploymentData(pub Vec<Felt>);
-    pub struct ProofFacts(pub Vec<Felt>);
     pub struct AllResourceBounds {
         pub l1_gas: ResourceBounds,
         pub l2_gas: ResourceBounds,
@@ -784,6 +785,8 @@ auto_impl_get_test_instance! {
         pub prime: serde_json::Value,
         pub reference_manager: serde_json::Value,
     }
+    pub struct Proof(pub Arc<Vec<u32>>);
+    pub struct ProofFacts(pub Vec<Felt>);
     pub struct ReceiptCommitment(pub StarkHash);
     pub enum Resource {
         L1Gas = 0,