blockifier: add proof facts to blockifier objects (#10727)

Author: meship-starkware

crates/blockifier/src/execution/syscalls/hint_processor.rs

@@ -434,6 +434,9 @@ impl<'a> SyscallHintProcessor<'a> {
                 let (tx_account_deployment_data_start_ptr, tx_account_deployment_data_end_ptr) =
                     &self.allocate_data_segment(vm, &context.account_deployment_data.0)?;
 
+                let (tx_proof_facts_start_ptr, tx_proof_facts_end_ptr) =
+                    &self.allocate_data_segment(vm, &context.proof_facts.0)?;
+
                 tx_data.extend_from_slice(&[
                     tx_resource_bounds_start_ptr.into(),
                     tx_resource_bounds_end_ptr.into(),
@@ -444,6 +447,8 @@ impl<'a> SyscallHintProcessor<'a> {
                     Felt::from(context.fee_data_availability_mode).into(),
                     tx_account_deployment_data_start_ptr.into(),
                     tx_account_deployment_data_end_ptr.into(),
+                    tx_proof_facts_start_ptr.into(),
+                    tx_proof_facts_end_ptr.into(),
                 ]);
             }
             TransactionInfo::Deprecated(_) => {

crates/blockifier/src/execution/syscalls/syscall_tests/get_execution_info.rs

@@ -22,6 +22,7 @@ use starknet_api::transaction::fields::{
     Calldata,
     Fee,
     PaymasterData,
+    ProofFacts,
     Resource,
     ResourceBounds,
     Tip,
@@ -478,6 +479,8 @@ fn test_get_execution_info(
             fee_data_availability_mode: DataAvailabilityMode::L1,
             paymaster_data: PaymasterData::default(),
             account_deployment_data: AccountDeploymentData::default(),
+            // TODO(Meshi): Add proof facts.
+            proof_facts: ProofFacts::default(),
         });
     }
 

crates/blockifier/src/transaction/objects.rs

@@ -11,6 +11,7 @@ use starknet_api::transaction::fields::{
     Fee,
     GasVectorComputationMode,
     PaymasterData,
+    ProofFacts,
     Tip,
     TransactionSignature,
     ValidResourceBounds,
@@ -137,6 +138,7 @@ pub struct CurrentTransactionInfo {
     pub fee_data_availability_mode: DataAvailabilityMode,
     pub paymaster_data: PaymasterData,
     pub account_deployment_data: AccountDeploymentData,
+    pub proof_facts: ProofFacts,
 }
 
 impl CurrentTransactionInfo {
@@ -149,6 +151,7 @@ impl CurrentTransactionInfo {
             fee_data_availability_mode: DataAvailabilityMode::L2,
             paymaster_data: PaymasterData::default(),
             account_deployment_data: AccountDeploymentData::default(),
+            proof_facts: ProofFacts::default(),
         }
     }
 

crates/blockifier/src/transaction/transactions.rs

@@ -10,7 +10,7 @@ use starknet_api::executable_transaction::{
     InvokeTransaction,
     L1HandlerTransaction,
 };
-use starknet_api::transaction::fields::{AccountDeploymentData, Calldata};
+use starknet_api::transaction::fields::{AccountDeploymentData, Calldata, ProofFacts};
 use starknet_api::transaction::{
     constants,
     DeclareTransactionV2,
@@ -228,6 +228,7 @@ impl TransactionInfoCreatorInner for DeclareTransaction {
                     fee_data_availability_mode: tx.fee_data_availability_mode,
                     paymaster_data: tx.paymaster_data.clone(),
                     account_deployment_data: tx.account_deployment_data.clone(),
+                    proof_facts: ProofFacts::default(),
                 })
             }
         }
@@ -287,6 +288,7 @@ impl TransactionInfoCreatorInner for DeployAccountTransaction {
                     fee_data_availability_mode: tx.fee_data_availability_mode,
                     paymaster_data: tx.paymaster_data.clone(),
                     account_deployment_data: AccountDeploymentData::default(),
+                    proof_facts: ProofFacts::default(),
                 })
             }
         }
@@ -367,6 +369,7 @@ impl TransactionInfoCreatorInner for InvokeTransaction {
                     fee_data_availability_mode: tx.fee_data_availability_mode,
                     paymaster_data: tx.paymaster_data.clone(),
                     account_deployment_data: tx.account_deployment_data.clone(),
+                    proof_facts: tx.proof_facts.clone(),
                 })
             }
         }