Add support for proof field

Author: Michael Zaikin

crates/starknet-devnet-core/src/starknet/mod.rs

@@ -951,6 +951,7 @@ impl Starknet {
             },
             account_deployment_data: vec![],
             proof_facts: vec![],
+            proof: String::new(),
         };
 
         // generate signature by signing the tx hash

crates/starknet-devnet-core/src/utils.rs

@@ -242,6 +242,7 @@ pub(crate) mod test_utils {
             calldata,
             account_deployment_data: vec![],
             proof_facts: vec![],
+            proof: String::new(),
         })
     }
 }

crates/starknet-devnet-types/src/rpc/transactions/broadcasted_invoke_transaction_v3.rs

@@ -18,6 +18,8 @@ pub struct BroadcastedInvokeTransactionV3 {
     pub account_deployment_data: Vec<Felt>,
     #[serde(default)]
     pub proof_facts: Vec<Felt>,
+    #[serde(default)]
+    pub proof: String,
 }
 
 impl BroadcastedInvokeTransactionV3 {

crates/starknet-devnet-types/src/rpc/transactions/invoke_transaction_v3.rs

@@ -28,6 +28,8 @@ pub struct InvokeTransactionV3 {
     calldata: Calldata,
     #[serde(default, skip_serializing_if = "Vec::is_empty")]
     proof_facts: Vec<Felt>,
+    #[serde(default, skip_serializing_if = "String::is_empty")]
+    proof: String,
 }
 
 impl InvokeTransactionV3 {
@@ -45,6 +47,7 @@ impl InvokeTransactionV3 {
             calldata: broadcasted_txn.calldata.clone(),
             account_deployment_data: broadcasted_txn.account_deployment_data.clone(),
             proof_facts: broadcasted_txn.proof_facts.clone(),
+            proof: broadcasted_txn.proof.clone(),
         }
     }
 
@@ -70,6 +73,7 @@ impl From<InvokeTransactionV3> for BroadcastedInvokeTransactionV3 {
             calldata: value.calldata,
             account_deployment_data: value.account_deployment_data,
             proof_facts: value.proof_facts,
+            proof: value.proof,
         }
     }
 }

crates/starknet-devnet/src/cli.rs

@@ -53,9 +53,7 @@ pub(crate) struct Args {
     #[arg(env = "ACCOUNT_CLASS_CUSTOM")]
     #[arg(value_name = "PATH")]
     #[arg(conflicts_with = "account_class_choice")]
-    #[arg(
-        help = "Specify the path to a Cairo Sierra artifact to be used by predeployed accounts;"
-    )]
+    #[arg(help = "Specify the path to a Cairo Sierra artifact to be used by predeployed accounts;")]
     account_class_custom: Option<AccountClassWrapper>,
 
     #[arg(long = "predeclare-argent")]
@@ -97,9 +95,7 @@ pub(crate) struct Args {
     #[arg(env = "PORT")]
     #[arg(value_name = "PORT")]
     #[arg(default_value_t = DEVNET_DEFAULT_PORT)]
-    #[arg(
-        help = "Specify the port to listen at; If 0, acquires a random free port and prints it;"
-    )]
+    #[arg(help = "Specify the port to listen at; If 0, acquires a random free port and prints it;")]
     port: u16,
 
     // Set start time in seconds