Skip to content

Commit 2785921

Browse files
dorimedini-starkwaredorimedini-starkware
authored
starknet_os: refactor nondet hint TxAccountDeploymentData (#11121)
1 parent d65db53 commit 2785921

File tree

62 files changed

+21
-205
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

62 files changed

+21
-205
lines changed

‎crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/execution/execute_transactions.cairo‎

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -424,10 +424,9 @@ func execute_invoke_function_transaction{
424424
tx_hash_prefix=INVOKE_HASH_PREFIX,
425425
sender_address=tx_execution_info.contract_address,
426426
);
427-
local account_deployment_data_size = nondet %{ len(tx.account_deployment_data) %};
428-
local account_deployment_data: felt* = cast(
429-
nondet %{ segments.gen_arg(tx.account_deployment_data) %}, felt*
430-
);
427+
local account_deployment_data_size;
428+
local account_deployment_data: felt*;
429+
%{ TxAccountDeploymentData %}
431430
local proof_facts_size;
432431
local proof_facts: felt*;
433432
%{ TxProofFacts %}

‎crates/apollo_starknet_os_program/src/program_hash.json‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
{
2-
"os": "0x13d919f2be96cb30e2f53804cbfa067327b8b0917b31b35064db37800baf1c2",
3-
"virtual_os": "0x308e349b7578bf933424114d81ec51da69b2f426bbb1621d915d05946f33d1f",
2+
"os": "0x4567945373ae6aaacb9693b027795ef43d298e313a720e127ba2e4f7098b193",
3+
"virtual_os": "0x1824f5cc61f95707596b6a189ff174e283dd101a79628f82b80ed3bce740f2c",
44
"aggregator": "0x5757cea9a318eac0cb302b71e8fd14552074bab56932641e748094654a62aaa",
55
"aggregator_with_prefix": "0x5513f3b2381c0e7a0ab8e70add986be3dffd8413356f8df4e941bf3bfe572b3"
66
}

‎crates/starknet_os/resources/hint_coverage/declare_deploy_scenario_n_blocks_1_use_kzg_da_false_full_output_false.json‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -260,9 +260,6 @@
260260
{
261261
"OsHint": "TxVersion"
262262
},
263-
{
264-
"OsHint": "TxAccountDeploymentDataLen"
265-
},
266263
{
267264
"OsHint": "TxAccountDeploymentData"
268265
},

‎crates/starknet_os/resources/hint_coverage/declare_deploy_scenario_n_blocks_1_use_kzg_da_false_full_output_true.json‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -239,9 +239,6 @@
239239
{
240240
"OsHint": "TxVersion"
241241
},
242-
{
243-
"OsHint": "TxAccountDeploymentDataLen"
244-
},
245242
{
246243
"OsHint": "TxAccountDeploymentData"
247244
},

‎crates/starknet_os/resources/hint_coverage/declare_deploy_scenario_n_blocks_1_use_kzg_da_true_full_output_false.json‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -266,9 +266,6 @@
266266
{
267267
"OsHint": "TxVersion"
268268
},
269-
{
270-
"OsHint": "TxAccountDeploymentDataLen"
271-
},
272269
{
273270
"OsHint": "TxAccountDeploymentData"
274271
},

‎crates/starknet_os/resources/hint_coverage/declare_deploy_scenario_n_blocks_1_use_kzg_da_true_full_output_true.json‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -239,9 +239,6 @@
239239
{
240240
"OsHint": "TxVersion"
241241
},
242-
{
243-
"OsHint": "TxAccountDeploymentDataLen"
244-
},
245242
{
246243
"OsHint": "TxAccountDeploymentData"
247244
},

‎crates/starknet_os/resources/hint_coverage/declare_deploy_scenario_n_blocks_2_use_kzg_da_false_full_output_false.json‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -260,9 +260,6 @@
260260
{
261261
"OsHint": "TxVersion"
262262
},
263-
{
264-
"OsHint": "TxAccountDeploymentDataLen"
265-
},
266263
{
267264
"OsHint": "TxAccountDeploymentData"
268265
},

‎crates/starknet_os/resources/hint_coverage/declare_deploy_scenario_n_blocks_2_use_kzg_da_false_full_output_true.json‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -239,9 +239,6 @@
239239
{
240240
"OsHint": "TxVersion"
241241
},
242-
{
243-
"OsHint": "TxAccountDeploymentDataLen"
244-
},
245242
{
246243
"OsHint": "TxAccountDeploymentData"
247244
},

‎crates/starknet_os/resources/hint_coverage/declare_deploy_scenario_n_blocks_2_use_kzg_da_true_full_output_false.json‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -266,9 +266,6 @@
266266
{
267267
"OsHint": "TxVersion"
268268
},
269-
{
270-
"OsHint": "TxAccountDeploymentDataLen"
271-
},
272269
{
273270
"OsHint": "TxAccountDeploymentData"
274271
},

‎crates/starknet_os/resources/hint_coverage/declare_deploy_scenario_n_blocks_2_use_kzg_da_true_full_output_true.json‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -239,9 +239,6 @@
239239
{
240240
"OsHint": "TxVersion"
241241
},
242-
{
243-
"OsHint": "TxAccountDeploymentDataLen"
244-
},
245242
{
246243
"OsHint": "TxAccountDeploymentData"
247244
},

0 commit comments

Comments
 (0)