diff --git a/barretenberg/cpp/src/barretenberg/relations/generated/avm/avm_main.hpp b/barretenberg/cpp/src/barretenberg/relations/generated/avm/avm_main.hpp index 650f879d8bd..1de7454254e 100644 --- a/barretenberg/cpp/src/barretenberg/relations/generated/avm/avm_main.hpp +++ b/barretenberg/cpp/src/barretenberg/relations/generated/avm/avm_main.hpp @@ -1018,45 +1018,7 @@ template class avm_mainImpl { { Avm_DECLARE_VIEWS(88); -<<<<<<< HEAD auto tmp = (avm_main_sel_internal_return * (avm_main_mem_op_a - FF(1))); -======= - auto tmp = (((avm_main_gas_cost_active - - ((((((avm_main_sel_op_fdiv + - ((((((((((avm_main_sel_op_add + avm_main_sel_op_sub) + avm_main_sel_op_mul) + - avm_main_sel_op_div) + - avm_main_sel_op_not) + - avm_main_sel_op_eq) + - avm_main_sel_op_lt) + - avm_main_sel_op_lte) + - avm_main_sel_op_shr) + - avm_main_sel_op_shl) + - avm_main_sel_op_cast)) + - ((avm_main_sel_op_and + avm_main_sel_op_or) + avm_main_sel_op_xor)) + - (avm_main_sel_cmov + avm_main_sel_mov)) + - ((((avm_main_sel_op_radix_le + avm_main_sel_op_sha256) + avm_main_sel_op_poseidon2) + - avm_main_sel_op_keccak) + - avm_main_sel_op_pedersen)) + - (((((((((avm_main_sel_op_sender + avm_main_sel_op_address) + avm_main_sel_op_chain_id) + - avm_main_sel_op_version) + - avm_main_sel_op_block_number) + - avm_main_sel_op_coinbase) + - avm_main_sel_op_timestamp) + - avm_main_sel_op_fee_per_l2_gas) + - avm_main_sel_op_fee_per_da_gas) + - avm_main_sel_op_transaction_fee)) + - ((((((((avm_main_sel_op_note_hash_exists + avm_main_sel_op_emit_note_hash) + - avm_main_sel_op_nullifier_exists) + - avm_main_sel_op_emit_nullifier) + - avm_main_sel_op_l1_to_l2_msg_exists) + - avm_main_sel_op_emit_unencrypted_log) + - avm_main_sel_op_emit_l2_to_l1_msg) + - avm_main_sel_op_sload) + - avm_main_sel_op_sstore))) - - (((avm_main_sel_jump + avm_main_sel_jumpi) + avm_main_sel_internal_call) + - avm_main_sel_internal_return)) - - avm_main_mem_op_activate_gas); ->>>>>>> 8c22ccb127 (6860: gas alignments with simulator) tmp *= scaling_factor; std::get<88>(evals) += tmp; } @@ -1098,9 +1060,8 @@ template class avm_mainImpl { avm_main_sel_op_emit_l2_to_l1_msg) + avm_main_sel_op_sload) + avm_main_sel_op_sstore))) - - ((((avm_main_sel_jump + avm_main_sel_jumpi) + avm_main_sel_internal_call) + - avm_main_sel_internal_return) + - avm_main_sel_external_call)) - + (((avm_main_sel_jump + avm_main_sel_jumpi) + avm_main_sel_internal_call) + + avm_main_sel_internal_return)) - avm_main_mem_op_activate_gas); tmp *= scaling_factor; std::get<89>(evals) += tmp; diff --git a/barretenberg/cpp/src/barretenberg/vm/avm_trace/avm_gas_trace.cpp b/barretenberg/cpp/src/barretenberg/vm/avm_trace/avm_gas_trace.cpp index e015a43ceb7..cea396df8a1 100644 --- a/barretenberg/cpp/src/barretenberg/vm/avm_trace/avm_gas_trace.cpp +++ b/barretenberg/cpp/src/barretenberg/vm/avm_trace/avm_gas_trace.cpp @@ -53,9 +53,9 @@ void AvmGasTraceBuilder::constrain_gas_lookup(uint32_t clk, OpCode opcode) void AvmGasTraceBuilder::constrain_gas_for_external_call(uint32_t clk) { - // Get the gas prices for this opcode + // Arbitrary constants for the moment uint32_t l2_gas_cost = 6; // This will be hinted - uint32_t da_gas_cost = 23; // This wil be hinted + uint32_t da_gas_cost = 23; // This will be hinted remaining_l2_gas -= l2_gas_cost; remaining_da_gas -= da_gas_cost;