starknet_api: add proof facts to invoke v3

Author: avivg-starkware

crates/apollo_protobuf/src/converters/transaction.rs

@@ -647,6 +647,9 @@ impl TryFrom<protobuf::InvokeV3> for InvokeTransactionV3 {
             fee_data_availability_mode,
             paymaster_data,
             account_deployment_data,
+            // TODO(AvivG): Get proof_facts from P2P protocol, until then, lost during protobuf
+            // serialization/deserialization.
+            proof_facts: None,
         })
     }
 }

crates/apollo_protobuf/src/converters/transaction_test.rs

@@ -121,6 +121,8 @@ fn convert_invoke_transaction_v3_to_vec_u8_and_back() {
     let mut transaction =
         starknet_api::transaction::InvokeTransactionV3::get_test_instance(&mut rng);
     transaction.resource_bounds = *RESOURCE_BOUNDS_MAPPING;
+    // TODO(AvivG): Remove this once proof_facts is added to P2P protocol.
+    transaction.proof_facts = None;
     let transaction = StarknetApiTransaction::Invoke(InvokeTransaction::V3(transaction));
 
     let transaction_output = create_transaction_output!(InvokeTransactionOutput, Invoke);

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

@@ -630,6 +630,8 @@ impl From<InvokeTransaction> for starknet_api::transaction::InvokeTransaction {
                 fee_data_availability_mode,
                 paymaster_data,
                 account_deployment_data,
+                // TODO(AvivG): Get proof facts from rpc_v8 once supported.
+                proof_facts: None,
             }),
         }
     }

crates/apollo_rpc/src/v0_8/transaction.rs

@@ -447,6 +447,7 @@ pub struct InvokeTransactionV3 {
     pub account_deployment_data: AccountDeploymentData,
     pub nonce_data_availability_mode: DataAvailabilityMode,
     pub fee_data_availability_mode: DataAvailabilityMode,
+    // TODO(AvivG): Add proof facts to rpc_v8.
 }
 
 impl From<InvokeTransactionV3> for client_transaction::InvokeTransaction {
@@ -536,6 +537,7 @@ impl TryFrom<starknet_api::transaction::InvokeTransaction> for InvokeTransaction
                     fee_data_availability_mode,
                     paymaster_data,
                     account_deployment_data,
+                    proof_facts: _,
                 },
             ) => Ok(Self::Version3(InvokeTransactionV3 {
                 sender_address,

crates/apollo_starknet_client/src/reader/objects/transaction.rs

@@ -515,6 +515,7 @@ pub struct IntermediateInvokeTransaction {
     pub account_deployment_data: Option<AccountDeploymentData>,
     pub transaction_hash: TransactionHash,
     pub version: TransactionVersion,
+    // TODO(AvivG): Consider adding proof facts.
 }
 
 // TODO(shahak, 01/11/2023): Add conversion tests.
@@ -628,6 +629,7 @@ impl TryFrom<IntermediateInvokeTransaction> for starknet_api::transaction::Invok
                     msg: "Invoke V3 must contain account_deployment_data field.".to_string(),
                 },
             )?,
+            proof_facts: None,
         })
     }
 }

crates/apollo_storage/src/serialization/serializers.rs

@@ -1292,6 +1292,7 @@ auto_storage_serde_conditionally_compressed! {
         pub fee_data_availability_mode: DataAvailabilityMode,
         pub paymaster_data: PaymasterData,
         pub account_deployment_data: AccountDeploymentData,
+        pub proof_facts: Option<Vec<Felt>>,
     }
 
     pub struct L1HandlerTransaction {

crates/apollo_test_utils/src/lib.rs

@@ -725,6 +725,7 @@ auto_impl_get_test_instance! {
         pub fee_data_availability_mode: DataAvailabilityMode,
         pub paymaster_data: PaymasterData,
         pub account_deployment_data: AccountDeploymentData,
+        pub proof_facts: Option<Vec<Felt>>,
     }
     pub enum L1DataAvailabilityMode {
         Calldata = 0,

crates/blockifier_reexecution/resources/raw_rpc_json_objects/transactions.json

@@ -68,7 +68,8 @@
         "tip": "0x0",
         "transaction_hash": "0xa7c7db686c7f756ceb7ca85a759caef879d425d156da83d6a836f86851983",
         "type": "INVOKE",
-        "version": "0x3"
+        "version": "0x3",
+        "proof_facts": []
     },
     "deploy_account_v1": {
         "transaction_hash": "0x2a2e13cd94f911ea18c20a81e853314e37de58d49d13aa3a92370accd4338e8",

crates/native_blockifier/src/py_invoke_function.rs

@@ -81,6 +81,7 @@ struct PyInvokeTransactionV3 {
     pub fee_data_availability_mode: PyDataAvailabilityMode,
     pub paymaster_data: Vec<PyFelt>,
     pub account_deployment_data: Vec<PyFelt>,
+    // TODO(AvivG): Add proof facts.
 }
 
 impl TryFrom<PyInvokeTransactionV3> for InvokeTransactionV3 {
@@ -101,6 +102,8 @@ impl TryFrom<PyInvokeTransactionV3> for InvokeTransactionV3 {
             account_deployment_data: AccountDeploymentData(from_py_felts(
                 tx.account_deployment_data,
             )),
+            // TODO(AvivG): Get from PyInvokeTransactionV3 once supported.
+            proof_facts: None,
         })
     }
 }

crates/starknet_api/resources/transaction_hash.json

@@ -103,7 +103,8 @@
             "0x1c3a868705399362140bf5ae33f955f1c946a8f836d4c052f2aff397bcfe80a",
             "0x78163ce5979e2bc8a944ba353a63c194ca4f63d393bbaaa95857daa9223e93c"
           ],
-          "tip": "0x0"
+          "tip": "0x0",
+          "proof_facts": []
         }
       }
     },