From 98a502db27dd02222ea7cfcad85e6e43fb181808 Mon Sep 17 00:00:00 2001 From: Bartosz Nowak Date: Sun, 25 Aug 2024 12:53:17 -0400 Subject: [PATCH] fm --- src/air/layouts/dynamic/autogenerated.cairo | 4429 ++++++++++--------- src/air/layouts/dynamic/public_input.cairo | 4 +- src/common/asserts.cairo | 4 +- 3 files changed, 2417 insertions(+), 2020 deletions(-) diff --git a/src/air/layouts/dynamic/autogenerated.cairo b/src/air/layouts/dynamic/autogenerated.cairo index 02f090d90..4d3d2ea92 100644 --- a/src/air/layouts/dynamic/autogenerated.cairo +++ b/src/air/layouts/dynamic/autogenerated.cairo @@ -34,3808 +34,4203 @@ fn check_asserts(dynamic_params: DynamicParams, stark_domains: @StarkDomains) { let mut x: u256 = 0; // Coset step (dynamicparam(diluted_units_row_ratio)) must be a power of two. - x = dynamic_params.diluted_units_row_ratio.into(); + x = dynamic_params.diluted_units_row_ratio.into(); assert_is_power_of_2(x); // Dimension should be a power of 2. - x = trace_length / dynamic_params.diluted_units_row_ratio.into(); + x = trace_length / dynamic_params.diluted_units_row_ratio.into(); assert_is_power_of_2(x); // Index out of range. - x = (trace_length / dynamic_params.diluted_units_row_ratio.into()) - 1; + x = (trace_length / dynamic_params.diluted_units_row_ratio.into()) - 1; assert_range_u128_from_u256(x); - + // Coset step (memberexpression(trace_length)) must be a power of two. - x = trace_length; + x = trace_length; assert_is_power_of_2(x); // Index should be non negative. - x = (trace_length / dynamic_params.diluted_units_row_ratio.into()); + x = (trace_length / dynamic_params.diluted_units_row_ratio.into()); assert_range_u128_from_u256(x); - + // Coset step (dynamicparam(range_check_units_row_ratio)) must be a power of two. - x = dynamic_params.range_check_units_row_ratio.into(); + x = dynamic_params.range_check_units_row_ratio.into(); assert_is_power_of_2(x); // Dimension should be a power of 2. - x = (trace_length / dynamic_params.range_check_units_row_ratio.into()); + x = (trace_length / dynamic_params.range_check_units_row_ratio.into()); assert_is_power_of_2(x); // Index out of range. - x = (trace_length / dynamic_params.range_check_units_row_ratio.into()) - 1; + x = (trace_length / dynamic_params.range_check_units_row_ratio.into()) - 1; assert_range_u128_from_u256(x); - + // Index should be non negative. - x = (trace_length / dynamic_params.range_check_units_row_ratio.into()); + x = (trace_length / dynamic_params.range_check_units_row_ratio.into()); assert_range_u128_from_u256(x); - + // Coset step ((8) * (dynamicparam(memory_units_row_ratio))) must be a power of two. - x = (8 * dynamic_params.memory_units_row_ratio.into()); + x = (8 * dynamic_params.memory_units_row_ratio.into()); assert_is_power_of_2(x); // Dimension should be a power of 2. - x = (trace_length / (8 * dynamic_params.memory_units_row_ratio.into())); + x = (trace_length / (8 * dynamic_params.memory_units_row_ratio.into())); assert_is_power_of_2(x); // Coset step (dynamicparam(memory_units_row_ratio)) must be a power of two. - x = dynamic_params.memory_units_row_ratio.into(); + x = dynamic_params.memory_units_row_ratio.into(); assert_is_power_of_2(x); // Dimension should be a power of 2. - x = (trace_length / dynamic_params.memory_units_row_ratio.into()); + x = (trace_length / dynamic_params.memory_units_row_ratio.into()); assert_is_power_of_2(x); // Index out of range. - x = (trace_length / dynamic_params.memory_units_row_ratio.into()) - 1; + x = (trace_length / dynamic_params.memory_units_row_ratio.into()) - 1; assert_range_u128_from_u256(x); - + // Index should be non negative. - x = (trace_length / dynamic_params.memory_units_row_ratio.into()); + x = (trace_length / dynamic_params.memory_units_row_ratio.into()); assert_range_u128_from_u256(x); - + // Coset step ((16) * (dynamicparam(cpu_component_step))) must be a power of two. - x = (16 * dynamic_params.cpu_component_step.into()); + x = (16 * dynamic_params.cpu_component_step.into()); assert_is_power_of_2(x); // Dimension should be a power of 2. - x = (trace_length / (16 * dynamic_params.cpu_component_step.into())); + x = (trace_length / (16 * dynamic_params.cpu_component_step.into())); assert_is_power_of_2(x); // Step must not exceed dimension. - x = (trace_length / (16 * dynamic_params.cpu_component_step.into())) - 1; + x = (trace_length / (16 * dynamic_params.cpu_component_step.into())) - 1; assert_range_u128_from_u256(x); - + // Coset step (dynamicparam(cpu_component_step)) must be a power of two. - x = dynamic_params.cpu_component_step.into(); + x = dynamic_params.cpu_component_step.into(); assert_is_power_of_2(x); // Index out of range. - x = (trace_length / (16 * dynamic_params.cpu_component_step.into())); + x = (trace_length / (16 * dynamic_params.cpu_component_step.into())); assert_range_u128_from_u256(x); - + // Cpu_component_step is out of range. - x = 256 - dynamic_params.cpu_component_step.into(); + x = 256 - dynamic_params.cpu_component_step.into(); assert_range_u128_from_u256(x); - + // Memory_units_row_ratio is out of range. - x = 16 * dynamic_params.cpu_component_step.into() - - 4 * dynamic_params.memory_units_row_ratio.into(); + x = 16 * dynamic_params.cpu_component_step.into() + - 4 * dynamic_params.memory_units_row_ratio.into(); assert_range_u128_from_u256(x); - + // Offset of cpu/decode/mem_inst must be nonnegative. - x = dynamic_params.cpu_decode_mem_inst_suboffset.into(); + x = dynamic_params.cpu_decode_mem_inst_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of cpu/decode/mem_inst is too big. - x = trace_length - dynamic_params.cpu_decode_mem_inst_suboffset.into() - 1; + x = trace_length - dynamic_params.cpu_decode_mem_inst_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of cpu/decode/mem_inst is too big. - x = (16 * dynamic_params.cpu_component_step.into() - dynamic_params.cpu_decode_mem_inst_suboffset.into() * dynamic_params.memory_units_row_ratio.into()) - 1; + x = + (16 * dynamic_params.cpu_component_step.into() + - dynamic_params.cpu_decode_mem_inst_suboffset.into() + * dynamic_params.memory_units_row_ratio.into()) + - 1; assert_range_u128_from_u256(x); - + // Offset of cpu/decode/off0 must be nonnegative. - x = dynamic_params.cpu_decode_off0_suboffset.into(); + x = dynamic_params.cpu_decode_off0_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of cpu/decode/off0 is too big. - x = trace_length - dynamic_params.cpu_decode_off0_suboffset.into() - 1; + x = trace_length - dynamic_params.cpu_decode_off0_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of cpu/decode/off0 is too big. - x = (16 * dynamic_params.cpu_component_step.into() - dynamic_params.cpu_decode_off0_suboffset.into() * dynamic_params.range_check_units_row_ratio.into()) - 1; + x = + (16 * dynamic_params.cpu_component_step.into() + - dynamic_params.cpu_decode_off0_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into()) + - 1; assert_range_u128_from_u256(x); - + // Offset of cpu/decode/off1 must be nonnegative. - x = dynamic_params.cpu_decode_off1_suboffset.into(); + x = dynamic_params.cpu_decode_off1_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of cpu/decode/off1 is too big. - x = trace_length - dynamic_params.cpu_decode_off1_suboffset.into() - 1; + x = trace_length - dynamic_params.cpu_decode_off1_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of cpu/decode/off1 is too big. - x = (16 * dynamic_params.cpu_component_step.into() - dynamic_params.cpu_decode_off1_suboffset.into() * dynamic_params.range_check_units_row_ratio.into()) - 1; + x = + (16 * dynamic_params.cpu_component_step.into() + - dynamic_params.cpu_decode_off1_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into()) + - 1; assert_range_u128_from_u256(x); - + // Offset of cpu/decode/off2 must be nonnegative. - x = dynamic_params.cpu_decode_off2_suboffset.into(); + x = dynamic_params.cpu_decode_off2_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of cpu/decode/off2 is too big. - x = trace_length - dynamic_params.cpu_decode_off2_suboffset.into() - 1; + x = trace_length - dynamic_params.cpu_decode_off2_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of cpu/decode/off2 is too big. - x = (16 * dynamic_params.cpu_component_step.into() - dynamic_params.cpu_decode_off2_suboffset.into() * dynamic_params.range_check_units_row_ratio.into()) - 1; + x = + (16 * dynamic_params.cpu_component_step.into() + - dynamic_params.cpu_decode_off2_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into()) + - 1; assert_range_u128_from_u256(x); - + // Offset of cpu/operands/mem_dst must be nonnegative. - x = dynamic_params.cpu_operands_mem_dst_suboffset.into(); + x = dynamic_params.cpu_operands_mem_dst_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of cpu/operands/mem_dst is too big. - x = trace_length - dynamic_params.cpu_operands_mem_dst_suboffset.into() - 1; + x = trace_length - dynamic_params.cpu_operands_mem_dst_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of cpu/operands/mem_dst is too big. - x = (16 * dynamic_params.cpu_component_step.into() - dynamic_params.cpu_operands_mem_dst_suboffset.into() * dynamic_params.memory_units_row_ratio.into()) - 1; + x = + (16 * dynamic_params.cpu_component_step.into() + - dynamic_params.cpu_operands_mem_dst_suboffset.into() + * dynamic_params.memory_units_row_ratio.into()) + - 1; assert_range_u128_from_u256(x); - + // Offset of cpu/operands/mem_op0 must be nonnegative. - x = dynamic_params.cpu_operands_mem_op0_suboffset.into(); + x = dynamic_params.cpu_operands_mem_op0_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of cpu/operands/mem_op0 is too big. - x = trace_length - dynamic_params.cpu_operands_mem_op0_suboffset.into() - 1; + x = trace_length - dynamic_params.cpu_operands_mem_op0_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of cpu/operands/mem_op0 is too big. - x = (16 * dynamic_params.cpu_component_step.into() - dynamic_params.cpu_operands_mem_op0_suboffset.into() * dynamic_params.memory_units_row_ratio.into()) - 1; + x = + (16 * dynamic_params.cpu_component_step.into() + - dynamic_params.cpu_operands_mem_op0_suboffset.into() + * dynamic_params.memory_units_row_ratio.into()) + - 1; assert_range_u128_from_u256(x); - + // Offset of cpu/operands/mem_op1 must be nonnegative. - x = dynamic_params.cpu_operands_mem_op1_suboffset.into(); + x = dynamic_params.cpu_operands_mem_op1_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of cpu/operands/mem_op1 is too big. - x = trace_length - dynamic_params.cpu_operands_mem_op1_suboffset.into() - 1; + x = trace_length - dynamic_params.cpu_operands_mem_op1_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of cpu/operands/mem_op1 is too big. - x = (16 * dynamic_params.cpu_component_step.into() - dynamic_params.cpu_operands_mem_op1_suboffset.into() * dynamic_params.memory_units_row_ratio.into()) - 1; + x = + (16 * dynamic_params.cpu_component_step.into() + - dynamic_params.cpu_operands_mem_op1_suboffset.into() + * dynamic_params.memory_units_row_ratio.into()) + - 1; assert_range_u128_from_u256(x); - + // Offset of orig/public_memory must be nonnegative. - x = dynamic_params.orig_public_memory_suboffset.into(); + x = dynamic_params.orig_public_memory_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of orig/public_memory is too big. - x = trace_length - dynamic_params.orig_public_memory_suboffset.into() - 1; + x = trace_length - dynamic_params.orig_public_memory_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of orig/public_memory is too big. - x = (8 * dynamic_params.memory_units_row_ratio.into() - dynamic_params.orig_public_memory_suboffset.into() * dynamic_params.memory_units_row_ratio.into()) - 1; + x = + (8 * dynamic_params.memory_units_row_ratio.into() + - dynamic_params.orig_public_memory_suboffset.into() + * dynamic_params.memory_units_row_ratio.into()) + - 1; assert_range_u128_from_u256(x); - + // Uses_pedersen_builtin should be a boolean. - assert (dynamic_params.uses_pedersen_builtin.into() * dynamic_params.uses_pedersen_builtin.into() - dynamic_params.uses_pedersen_builtin.into() == 0 , 'Invalid value'); + assert( + dynamic_params.uses_pedersen_builtin.into() * dynamic_params.uses_pedersen_builtin.into() + - dynamic_params.uses_pedersen_builtin.into() == 0, + 'Invalid value' + ); // Uses_range_check_builtin should be a boolean. - assert (dynamic_params.uses_range_check_builtin.into() * dynamic_params.uses_range_check_builtin.into() - dynamic_params.uses_range_check_builtin.into() == 0 , 'Invalid value'); + assert( + dynamic_params.uses_range_check_builtin.into() + * dynamic_params.uses_range_check_builtin.into() + - dynamic_params.uses_range_check_builtin.into() == 0, + 'Invalid value' + ); // Uses_ecdsa_builtin should be a boolean. - assert (dynamic_params.uses_ecdsa_builtin.into() * dynamic_params.uses_ecdsa_builtin.into() - dynamic_params.uses_ecdsa_builtin.into() == 0 , 'Invalid value'); + assert( + dynamic_params.uses_ecdsa_builtin.into() * dynamic_params.uses_ecdsa_builtin.into() + - dynamic_params.uses_ecdsa_builtin.into() == 0, + 'Invalid value' + ); // Uses_bitwise_builtin should be a boolean. - assert (dynamic_params.uses_bitwise_builtin.into() * dynamic_params.uses_bitwise_builtin.into() - dynamic_params.uses_bitwise_builtin.into() == 0 , 'Invalid value'); + assert( + dynamic_params.uses_bitwise_builtin.into() * dynamic_params.uses_bitwise_builtin.into() + - dynamic_params.uses_bitwise_builtin.into() == 0, + 'Invalid value' + ); // Uses_ec_op_builtin should be a boolean. - assert (dynamic_params.uses_ec_op_builtin.into() * dynamic_params.uses_ec_op_builtin.into() - dynamic_params.uses_ec_op_builtin.into() == 0 , 'Invalid value'); + assert( + dynamic_params.uses_ec_op_builtin.into() * dynamic_params.uses_ec_op_builtin.into() + - dynamic_params.uses_ec_op_builtin.into() == 0, + 'Invalid value' + ); // Uses_keccak_builtin should be a boolean. - assert (dynamic_params.uses_keccak_builtin.into() * dynamic_params.uses_keccak_builtin.into() - dynamic_params.uses_keccak_builtin.into() == 0 , 'Invalid value'); + assert( + dynamic_params.uses_keccak_builtin.into() * dynamic_params.uses_keccak_builtin.into() + - dynamic_params.uses_keccak_builtin.into() == 0, + 'Invalid value' + ); // Uses_poseidon_builtin should be a boolean. - assert (dynamic_params.uses_poseidon_builtin.into() * dynamic_params.uses_poseidon_builtin.into() - dynamic_params.uses_poseidon_builtin.into() == 0 , 'Invalid value'); + assert( + dynamic_params.uses_poseidon_builtin.into() * dynamic_params.uses_poseidon_builtin.into() + - dynamic_params.uses_poseidon_builtin.into() == 0, + 'Invalid value' + ); // Uses_range_check96_builtin should be a boolean. - assert (dynamic_params.uses_range_check96_builtin.into() * dynamic_params.uses_range_check96_builtin.into() - dynamic_params.uses_range_check96_builtin.into() == 0 , 'Invalid value'); + assert( + dynamic_params.uses_range_check96_builtin.into() + * dynamic_params.uses_range_check96_builtin.into() + - dynamic_params.uses_range_check96_builtin.into() == 0, + 'Invalid value' + ); // Uses_add_mod_builtin should be a boolean. - assert (dynamic_params.uses_add_mod_builtin.into() * dynamic_params.uses_add_mod_builtin.into() - dynamic_params.uses_add_mod_builtin.into() == 0 , 'Invalid value'); + assert( + dynamic_params.uses_add_mod_builtin.into() * dynamic_params.uses_add_mod_builtin.into() + - dynamic_params.uses_add_mod_builtin.into() == 0, + 'Invalid value' + ); // Uses_mul_mod_builtin should be a boolean. - assert (dynamic_params.uses_mul_mod_builtin.into() * dynamic_params.uses_mul_mod_builtin.into() - dynamic_params.uses_mul_mod_builtin.into() == 0 , 'Invalid value'); + assert( + dynamic_params.uses_mul_mod_builtin.into() * dynamic_params.uses_mul_mod_builtin.into() + - dynamic_params.uses_mul_mod_builtin.into() == 0, + 'Invalid value' + ); // Num_columns_first is out of range. - x = 65536 - dynamic_params.num_columns_first.into() - 1; + x = 65536 - dynamic_params.num_columns_first.into() - 1; assert_range_u128_from_u256(x); - + // Num_columns_second is out of range. - x = 65536 - dynamic_params.num_columns_second.into() - 1; + x = 65536 - dynamic_params.num_columns_second.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.mem_pool_addr_column.into(); + x = dynamic_params.mem_pool_addr_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - dynamic_params.mem_pool_addr_column.into() - 1; + x = dynamic_params.num_columns_first.into() - dynamic_params.mem_pool_addr_column.into() - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.mem_pool_addr_offset.into(); + x = dynamic_params.mem_pool_addr_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.mem_pool_addr_offset.into() - 1; + x = trace_length - dynamic_params.mem_pool_addr_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.mem_pool_value_column.into(); + x = dynamic_params.mem_pool_value_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - dynamic_params.mem_pool_value_column.into() - 1; + x = dynamic_params.num_columns_first.into() - dynamic_params.mem_pool_value_column.into() - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.mem_pool_value_offset.into(); + x = dynamic_params.mem_pool_value_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.mem_pool_value_offset.into() - 1; + x = trace_length - dynamic_params.mem_pool_value_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.range_check16_pool_column.into(); + x = dynamic_params.range_check16_pool_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - dynamic_params.range_check16_pool_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.range_check16_pool_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.range_check16_pool_offset.into(); + x = dynamic_params.range_check16_pool_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.range_check16_pool_offset.into() - 1; + x = trace_length - dynamic_params.range_check16_pool_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.cpu_decode_opcode_range_check_column_column.into(); + x = dynamic_params.cpu_decode_opcode_range_check_column_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.cpu_decode_opcode_range_check_column_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.cpu_decode_opcode_range_check_column_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.cpu_decode_opcode_range_check_column_offset.into(); + x = dynamic_params.cpu_decode_opcode_range_check_column_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.cpu_decode_opcode_range_check_column_offset.into() - 1; + x = trace_length - dynamic_params.cpu_decode_opcode_range_check_column_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.cpu_registers_ap_column.into(); + x = dynamic_params.cpu_registers_ap_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - dynamic_params.cpu_registers_ap_column.into() - 1; + x = dynamic_params.num_columns_first.into() - dynamic_params.cpu_registers_ap_column.into() - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.cpu_registers_ap_offset.into(); + x = dynamic_params.cpu_registers_ap_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.cpu_registers_ap_offset.into() - 1; + x = trace_length - dynamic_params.cpu_registers_ap_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.cpu_registers_fp_column.into(); + x = dynamic_params.cpu_registers_fp_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - dynamic_params.cpu_registers_fp_column.into() - 1; + x = dynamic_params.num_columns_first.into() - dynamic_params.cpu_registers_fp_column.into() - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.cpu_registers_fp_offset.into(); + x = dynamic_params.cpu_registers_fp_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.cpu_registers_fp_offset.into() - 1; + x = trace_length - dynamic_params.cpu_registers_fp_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.cpu_operands_ops_mul_column.into(); + x = dynamic_params.cpu_operands_ops_mul_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - dynamic_params.cpu_operands_ops_mul_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.cpu_operands_ops_mul_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.cpu_operands_ops_mul_offset.into(); + x = dynamic_params.cpu_operands_ops_mul_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.cpu_operands_ops_mul_offset.into() - 1; + x = trace_length - dynamic_params.cpu_operands_ops_mul_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.cpu_operands_res_column.into(); + x = dynamic_params.cpu_operands_res_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - dynamic_params.cpu_operands_res_column.into() - 1; + x = dynamic_params.num_columns_first.into() - dynamic_params.cpu_operands_res_column.into() - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.cpu_operands_res_offset.into(); + x = dynamic_params.cpu_operands_res_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.cpu_operands_res_offset.into() - 1; + x = trace_length - dynamic_params.cpu_operands_res_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.cpu_update_registers_update_pc_tmp0_column.into(); + x = dynamic_params.cpu_update_registers_update_pc_tmp0_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.cpu_update_registers_update_pc_tmp0_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.cpu_update_registers_update_pc_tmp0_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.cpu_update_registers_update_pc_tmp0_offset.into(); + x = dynamic_params.cpu_update_registers_update_pc_tmp0_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.cpu_update_registers_update_pc_tmp0_offset.into() - 1; + x = trace_length - dynamic_params.cpu_update_registers_update_pc_tmp0_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.cpu_update_registers_update_pc_tmp1_column.into(); + x = dynamic_params.cpu_update_registers_update_pc_tmp1_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.cpu_update_registers_update_pc_tmp1_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.cpu_update_registers_update_pc_tmp1_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.cpu_update_registers_update_pc_tmp1_offset.into(); + x = dynamic_params.cpu_update_registers_update_pc_tmp1_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.cpu_update_registers_update_pc_tmp1_offset.into() - 1; + x = trace_length - dynamic_params.cpu_update_registers_update_pc_tmp1_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.memory_sorted_addr_column.into(); + x = dynamic_params.memory_sorted_addr_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - dynamic_params.memory_sorted_addr_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.memory_sorted_addr_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.memory_sorted_addr_offset.into(); + x = dynamic_params.memory_sorted_addr_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.memory_sorted_addr_offset.into() - 1; + x = trace_length - dynamic_params.memory_sorted_addr_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.memory_sorted_value_column.into(); + x = dynamic_params.memory_sorted_value_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - dynamic_params.memory_sorted_value_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.memory_sorted_value_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.memory_sorted_value_offset.into(); + x = dynamic_params.memory_sorted_value_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.memory_sorted_value_offset.into() - 1; + x = trace_length - dynamic_params.memory_sorted_value_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.range_check16_sorted_column.into(); + x = dynamic_params.range_check16_sorted_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - dynamic_params.range_check16_sorted_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.range_check16_sorted_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.range_check16_sorted_offset.into(); + x = dynamic_params.range_check16_sorted_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.range_check16_sorted_offset.into() - 1; + x = trace_length - dynamic_params.range_check16_sorted_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.diluted_pool_column.into(); + x = dynamic_params.diluted_pool_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - dynamic_params.diluted_pool_column.into() - 1; + x = dynamic_params.num_columns_first.into() - dynamic_params.diluted_pool_column.into() - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.diluted_pool_offset.into(); + x = dynamic_params.diluted_pool_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.diluted_pool_offset.into() - 1; + x = trace_length - dynamic_params.diluted_pool_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.diluted_check_permuted_values_column.into(); + x = dynamic_params.diluted_check_permuted_values_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.diluted_check_permuted_values_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.diluted_check_permuted_values_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.diluted_check_permuted_values_offset.into(); + x = dynamic_params.diluted_check_permuted_values_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.diluted_check_permuted_values_offset.into() - 1; + x = trace_length - dynamic_params.diluted_check_permuted_values_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.pedersen_hash0_ec_subset_sum_partial_sum_x_column.into(); + x = dynamic_params.pedersen_hash0_ec_subset_sum_partial_sum_x_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.pedersen_hash0_ec_subset_sum_partial_sum_x_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.pedersen_hash0_ec_subset_sum_partial_sum_x_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.pedersen_hash0_ec_subset_sum_partial_sum_x_offset.into(); + x = dynamic_params.pedersen_hash0_ec_subset_sum_partial_sum_x_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - - dynamic_params.pedersen_hash0_ec_subset_sum_partial_sum_x_offset.into() - 1; + x = trace_length - dynamic_params.pedersen_hash0_ec_subset_sum_partial_sum_x_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.pedersen_hash0_ec_subset_sum_partial_sum_y_column.into(); + x = dynamic_params.pedersen_hash0_ec_subset_sum_partial_sum_y_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.pedersen_hash0_ec_subset_sum_partial_sum_y_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.pedersen_hash0_ec_subset_sum_partial_sum_y_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.pedersen_hash0_ec_subset_sum_partial_sum_y_offset.into(); + x = dynamic_params.pedersen_hash0_ec_subset_sum_partial_sum_y_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - - dynamic_params.pedersen_hash0_ec_subset_sum_partial_sum_y_offset.into() - 1; + x = trace_length - dynamic_params.pedersen_hash0_ec_subset_sum_partial_sum_y_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.pedersen_hash0_ec_subset_sum_slope_column.into(); + x = dynamic_params.pedersen_hash0_ec_subset_sum_slope_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.pedersen_hash0_ec_subset_sum_slope_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.pedersen_hash0_ec_subset_sum_slope_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.pedersen_hash0_ec_subset_sum_slope_offset.into(); + x = dynamic_params.pedersen_hash0_ec_subset_sum_slope_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.pedersen_hash0_ec_subset_sum_slope_offset.into() - 1; + x = trace_length - dynamic_params.pedersen_hash0_ec_subset_sum_slope_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.pedersen_hash0_ec_subset_sum_selector_column.into(); + x = dynamic_params.pedersen_hash0_ec_subset_sum_selector_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.pedersen_hash0_ec_subset_sum_selector_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.pedersen_hash0_ec_subset_sum_selector_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.pedersen_hash0_ec_subset_sum_selector_offset.into(); + x = dynamic_params.pedersen_hash0_ec_subset_sum_selector_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.pedersen_hash0_ec_subset_sum_selector_offset.into() - 1; + x = trace_length - dynamic_params.pedersen_hash0_ec_subset_sum_selector_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.pedersen_hash0_ec_subset_sum_bit_unpacking_prod_ones196_column.into(); + x = dynamic_params.pedersen_hash0_ec_subset_sum_bit_unpacking_prod_ones196_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.pedersen_hash0_ec_subset_sum_bit_unpacking_prod_ones196_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.pedersen_hash0_ec_subset_sum_bit_unpacking_prod_ones196_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.pedersen_hash0_ec_subset_sum_bit_unpacking_prod_ones196_offset.into(); + x = dynamic_params.pedersen_hash0_ec_subset_sum_bit_unpacking_prod_ones196_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - - dynamic_params.pedersen_hash0_ec_subset_sum_bit_unpacking_prod_ones196_offset.into() - 1; + x = trace_length + - dynamic_params.pedersen_hash0_ec_subset_sum_bit_unpacking_prod_ones196_offset.into() + - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.pedersen_hash0_ec_subset_sum_bit_unpacking_prod_ones192_column.into(); + x = dynamic_params.pedersen_hash0_ec_subset_sum_bit_unpacking_prod_ones192_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.pedersen_hash0_ec_subset_sum_bit_unpacking_prod_ones192_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.pedersen_hash0_ec_subset_sum_bit_unpacking_prod_ones192_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.pedersen_hash0_ec_subset_sum_bit_unpacking_prod_ones192_offset.into(); + x = dynamic_params.pedersen_hash0_ec_subset_sum_bit_unpacking_prod_ones192_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - - dynamic_params.pedersen_hash0_ec_subset_sum_bit_unpacking_prod_ones192_offset.into() - 1; + x = trace_length + - dynamic_params.pedersen_hash0_ec_subset_sum_bit_unpacking_prod_ones192_offset.into() + - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ecdsa_signature0_key_points_x_column.into(); + x = dynamic_params.ecdsa_signature0_key_points_x_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ecdsa_signature0_key_points_x_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ecdsa_signature0_key_points_x_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ecdsa_signature0_key_points_x_offset.into(); + x = dynamic_params.ecdsa_signature0_key_points_x_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.ecdsa_signature0_key_points_x_offset.into() - 1; + x = trace_length - dynamic_params.ecdsa_signature0_key_points_x_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ecdsa_signature0_key_points_y_column.into(); + x = dynamic_params.ecdsa_signature0_key_points_y_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ecdsa_signature0_key_points_y_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ecdsa_signature0_key_points_y_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ecdsa_signature0_key_points_y_offset.into(); + x = dynamic_params.ecdsa_signature0_key_points_y_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.ecdsa_signature0_key_points_y_offset.into() - 1; + x = trace_length - dynamic_params.ecdsa_signature0_key_points_y_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ecdsa_signature0_doubling_slope_column.into(); + x = dynamic_params.ecdsa_signature0_doubling_slope_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ecdsa_signature0_doubling_slope_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ecdsa_signature0_doubling_slope_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ecdsa_signature0_doubling_slope_offset.into(); + x = dynamic_params.ecdsa_signature0_doubling_slope_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.ecdsa_signature0_doubling_slope_offset.into() - 1; + x = trace_length - dynamic_params.ecdsa_signature0_doubling_slope_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ecdsa_signature0_exponentiate_generator_partial_sum_x_column.into(); + x = dynamic_params.ecdsa_signature0_exponentiate_generator_partial_sum_x_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ecdsa_signature0_exponentiate_generator_partial_sum_x_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ecdsa_signature0_exponentiate_generator_partial_sum_x_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ecdsa_signature0_exponentiate_generator_partial_sum_x_offset.into(); + x = dynamic_params.ecdsa_signature0_exponentiate_generator_partial_sum_x_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - - dynamic_params.ecdsa_signature0_exponentiate_generator_partial_sum_x_offset.into() - 1; + x = trace_length + - dynamic_params.ecdsa_signature0_exponentiate_generator_partial_sum_x_offset.into() + - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ecdsa_signature0_exponentiate_generator_partial_sum_y_column.into(); + x = dynamic_params.ecdsa_signature0_exponentiate_generator_partial_sum_y_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ecdsa_signature0_exponentiate_generator_partial_sum_y_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ecdsa_signature0_exponentiate_generator_partial_sum_y_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ecdsa_signature0_exponentiate_generator_partial_sum_y_offset.into(); + x = dynamic_params.ecdsa_signature0_exponentiate_generator_partial_sum_y_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - - dynamic_params.ecdsa_signature0_exponentiate_generator_partial_sum_y_offset.into() - 1; + x = trace_length + - dynamic_params.ecdsa_signature0_exponentiate_generator_partial_sum_y_offset.into() + - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ecdsa_signature0_exponentiate_generator_slope_column.into(); + x = dynamic_params.ecdsa_signature0_exponentiate_generator_slope_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ecdsa_signature0_exponentiate_generator_slope_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ecdsa_signature0_exponentiate_generator_slope_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ecdsa_signature0_exponentiate_generator_slope_offset.into(); + x = dynamic_params.ecdsa_signature0_exponentiate_generator_slope_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - - dynamic_params.ecdsa_signature0_exponentiate_generator_slope_offset.into() - 1; + x = trace_length + - dynamic_params.ecdsa_signature0_exponentiate_generator_slope_offset.into() + - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ecdsa_signature0_exponentiate_generator_selector_column.into(); + x = dynamic_params.ecdsa_signature0_exponentiate_generator_selector_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ecdsa_signature0_exponentiate_generator_selector_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ecdsa_signature0_exponentiate_generator_selector_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ecdsa_signature0_exponentiate_generator_selector_offset.into(); + x = dynamic_params.ecdsa_signature0_exponentiate_generator_selector_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - - dynamic_params.ecdsa_signature0_exponentiate_generator_selector_offset.into() - 1; + x = trace_length + - dynamic_params.ecdsa_signature0_exponentiate_generator_selector_offset.into() + - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ecdsa_signature0_exponentiate_generator_x_diff_inv_column.into(); + x = dynamic_params.ecdsa_signature0_exponentiate_generator_x_diff_inv_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ecdsa_signature0_exponentiate_generator_x_diff_inv_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ecdsa_signature0_exponentiate_generator_x_diff_inv_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ecdsa_signature0_exponentiate_generator_x_diff_inv_offset.into(); + x = dynamic_params.ecdsa_signature0_exponentiate_generator_x_diff_inv_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - - dynamic_params.ecdsa_signature0_exponentiate_generator_x_diff_inv_offset.into() - 1; + x = trace_length + - dynamic_params.ecdsa_signature0_exponentiate_generator_x_diff_inv_offset.into() + - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ecdsa_signature0_exponentiate_key_partial_sum_x_column.into(); + x = dynamic_params.ecdsa_signature0_exponentiate_key_partial_sum_x_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ecdsa_signature0_exponentiate_key_partial_sum_x_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ecdsa_signature0_exponentiate_key_partial_sum_x_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ecdsa_signature0_exponentiate_key_partial_sum_x_offset.into(); + x = dynamic_params.ecdsa_signature0_exponentiate_key_partial_sum_x_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.ecdsa_signature0_exponentiate_key_partial_sum_x_offset.into() - 1; + x = trace_length + - dynamic_params.ecdsa_signature0_exponentiate_key_partial_sum_x_offset.into() + - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ecdsa_signature0_exponentiate_key_partial_sum_y_column.into(); + x = dynamic_params.ecdsa_signature0_exponentiate_key_partial_sum_y_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ecdsa_signature0_exponentiate_key_partial_sum_y_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ecdsa_signature0_exponentiate_key_partial_sum_y_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ecdsa_signature0_exponentiate_key_partial_sum_y_offset.into(); + x = dynamic_params.ecdsa_signature0_exponentiate_key_partial_sum_y_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - - dynamic_params.ecdsa_signature0_exponentiate_key_partial_sum_y_offset.into() - 1; + x = trace_length + - dynamic_params.ecdsa_signature0_exponentiate_key_partial_sum_y_offset.into() + - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ecdsa_signature0_exponentiate_key_slope_column.into(); + x = dynamic_params.ecdsa_signature0_exponentiate_key_slope_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ecdsa_signature0_exponentiate_key_slope_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ecdsa_signature0_exponentiate_key_slope_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ecdsa_signature0_exponentiate_key_slope_offset.into(); + x = dynamic_params.ecdsa_signature0_exponentiate_key_slope_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.ecdsa_signature0_exponentiate_key_slope_offset.into() - 1; + x = trace_length - dynamic_params.ecdsa_signature0_exponentiate_key_slope_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ecdsa_signature0_exponentiate_key_selector_column.into(); + x = dynamic_params.ecdsa_signature0_exponentiate_key_selector_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ecdsa_signature0_exponentiate_key_selector_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ecdsa_signature0_exponentiate_key_selector_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ecdsa_signature0_exponentiate_key_selector_offset.into(); + x = dynamic_params.ecdsa_signature0_exponentiate_key_selector_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.ecdsa_signature0_exponentiate_key_selector_offset.into() - - 1; + x = trace_length - dynamic_params.ecdsa_signature0_exponentiate_key_selector_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ecdsa_signature0_exponentiate_key_x_diff_inv_column.into(); + x = dynamic_params.ecdsa_signature0_exponentiate_key_x_diff_inv_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ecdsa_signature0_exponentiate_key_x_diff_inv_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ecdsa_signature0_exponentiate_key_x_diff_inv_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ecdsa_signature0_exponentiate_key_x_diff_inv_offset.into(); + x = dynamic_params.ecdsa_signature0_exponentiate_key_x_diff_inv_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - - dynamic_params.ecdsa_signature0_exponentiate_key_x_diff_inv_offset.into() - 1; + x = trace_length + - dynamic_params.ecdsa_signature0_exponentiate_key_x_diff_inv_offset.into() + - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ecdsa_signature0_add_results_slope_column.into(); + x = dynamic_params.ecdsa_signature0_add_results_slope_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ecdsa_signature0_add_results_slope_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ecdsa_signature0_add_results_slope_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ecdsa_signature0_add_results_slope_offset.into(); + x = dynamic_params.ecdsa_signature0_add_results_slope_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.ecdsa_signature0_add_results_slope_offset.into() - 1; + x = trace_length - dynamic_params.ecdsa_signature0_add_results_slope_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ecdsa_signature0_add_results_inv_column.into(); + x = dynamic_params.ecdsa_signature0_add_results_inv_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ecdsa_signature0_add_results_inv_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ecdsa_signature0_add_results_inv_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ecdsa_signature0_add_results_inv_offset.into(); + x = dynamic_params.ecdsa_signature0_add_results_inv_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.ecdsa_signature0_add_results_inv_offset.into() - 1; + x = trace_length - dynamic_params.ecdsa_signature0_add_results_inv_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ecdsa_signature0_extract_r_slope_column.into(); + x = dynamic_params.ecdsa_signature0_extract_r_slope_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ecdsa_signature0_extract_r_slope_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ecdsa_signature0_extract_r_slope_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ecdsa_signature0_extract_r_slope_offset.into(); + x = dynamic_params.ecdsa_signature0_extract_r_slope_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.ecdsa_signature0_extract_r_slope_offset.into() - 1; + x = trace_length - dynamic_params.ecdsa_signature0_extract_r_slope_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ecdsa_signature0_extract_r_inv_column.into(); + x = dynamic_params.ecdsa_signature0_extract_r_inv_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ecdsa_signature0_extract_r_inv_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ecdsa_signature0_extract_r_inv_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ecdsa_signature0_extract_r_inv_offset.into(); + x = dynamic_params.ecdsa_signature0_extract_r_inv_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.ecdsa_signature0_extract_r_inv_offset.into() - 1; + x = trace_length - dynamic_params.ecdsa_signature0_extract_r_inv_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ecdsa_signature0_z_inv_column.into(); + x = dynamic_params.ecdsa_signature0_z_inv_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - dynamic_params.ecdsa_signature0_z_inv_column.into() - - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ecdsa_signature0_z_inv_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ecdsa_signature0_z_inv_offset.into(); + x = dynamic_params.ecdsa_signature0_z_inv_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.ecdsa_signature0_z_inv_offset.into() - 1; + x = trace_length - dynamic_params.ecdsa_signature0_z_inv_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ecdsa_signature0_r_w_inv_column.into(); + x = dynamic_params.ecdsa_signature0_r_w_inv_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ecdsa_signature0_r_w_inv_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ecdsa_signature0_r_w_inv_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ecdsa_signature0_r_w_inv_offset.into(); + x = dynamic_params.ecdsa_signature0_r_w_inv_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.ecdsa_signature0_r_w_inv_offset.into() - 1; + x = trace_length - dynamic_params.ecdsa_signature0_r_w_inv_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ecdsa_signature0_q_x_squared_column.into(); + x = dynamic_params.ecdsa_signature0_q_x_squared_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ecdsa_signature0_q_x_squared_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ecdsa_signature0_q_x_squared_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ecdsa_signature0_q_x_squared_offset.into(); + x = dynamic_params.ecdsa_signature0_q_x_squared_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.ecdsa_signature0_q_x_squared_offset.into() - 1; + x = trace_length - dynamic_params.ecdsa_signature0_q_x_squared_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ec_op_doubled_points_x_column.into(); + x = dynamic_params.ec_op_doubled_points_x_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - dynamic_params.ec_op_doubled_points_x_column.into() - - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ec_op_doubled_points_x_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ec_op_doubled_points_x_offset.into(); + x = dynamic_params.ec_op_doubled_points_x_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.ec_op_doubled_points_x_offset.into() - 1; + x = trace_length - dynamic_params.ec_op_doubled_points_x_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ec_op_doubled_points_y_column.into(); + x = dynamic_params.ec_op_doubled_points_y_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - dynamic_params.ec_op_doubled_points_y_column.into() - - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ec_op_doubled_points_y_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ec_op_doubled_points_y_offset.into(); + x = dynamic_params.ec_op_doubled_points_y_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.ec_op_doubled_points_y_offset.into() - 1; + x = trace_length - dynamic_params.ec_op_doubled_points_y_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ec_op_doubling_slope_column.into(); + x = dynamic_params.ec_op_doubling_slope_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - dynamic_params.ec_op_doubling_slope_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ec_op_doubling_slope_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ec_op_doubling_slope_offset.into(); + x = dynamic_params.ec_op_doubling_slope_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.ec_op_doubling_slope_offset.into() - 1; + x = trace_length - dynamic_params.ec_op_doubling_slope_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ec_op_ec_subset_sum_partial_sum_x_column.into(); + x = dynamic_params.ec_op_ec_subset_sum_partial_sum_x_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ec_op_ec_subset_sum_partial_sum_x_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ec_op_ec_subset_sum_partial_sum_x_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ec_op_ec_subset_sum_partial_sum_x_offset.into(); + x = dynamic_params.ec_op_ec_subset_sum_partial_sum_x_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.ec_op_ec_subset_sum_partial_sum_x_offset.into() - 1; + x = trace_length - dynamic_params.ec_op_ec_subset_sum_partial_sum_x_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ec_op_ec_subset_sum_partial_sum_y_column.into(); + x = dynamic_params.ec_op_ec_subset_sum_partial_sum_y_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ec_op_ec_subset_sum_partial_sum_y_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ec_op_ec_subset_sum_partial_sum_y_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ec_op_ec_subset_sum_partial_sum_y_offset.into(); + x = dynamic_params.ec_op_ec_subset_sum_partial_sum_y_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.ec_op_ec_subset_sum_partial_sum_y_offset.into() - 1; + x = trace_length - dynamic_params.ec_op_ec_subset_sum_partial_sum_y_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ec_op_ec_subset_sum_slope_column.into(); + x = dynamic_params.ec_op_ec_subset_sum_slope_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ec_op_ec_subset_sum_slope_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ec_op_ec_subset_sum_slope_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ec_op_ec_subset_sum_slope_offset.into(); + x = dynamic_params.ec_op_ec_subset_sum_slope_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.ec_op_ec_subset_sum_slope_offset.into() - 1; + x = trace_length - dynamic_params.ec_op_ec_subset_sum_slope_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ec_op_ec_subset_sum_selector_column.into(); + x = dynamic_params.ec_op_ec_subset_sum_selector_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ec_op_ec_subset_sum_selector_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ec_op_ec_subset_sum_selector_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ec_op_ec_subset_sum_selector_offset.into(); + x = dynamic_params.ec_op_ec_subset_sum_selector_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.ec_op_ec_subset_sum_selector_offset.into() - 1; + x = trace_length - dynamic_params.ec_op_ec_subset_sum_selector_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ec_op_ec_subset_sum_x_diff_inv_column.into(); + x = dynamic_params.ec_op_ec_subset_sum_x_diff_inv_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ec_op_ec_subset_sum_x_diff_inv_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ec_op_ec_subset_sum_x_diff_inv_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ec_op_ec_subset_sum_x_diff_inv_offset.into(); + x = dynamic_params.ec_op_ec_subset_sum_x_diff_inv_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.ec_op_ec_subset_sum_x_diff_inv_offset.into() - 1; + x = trace_length - dynamic_params.ec_op_ec_subset_sum_x_diff_inv_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ec_op_ec_subset_sum_bit_unpacking_prod_ones196_column.into(); + x = dynamic_params.ec_op_ec_subset_sum_bit_unpacking_prod_ones196_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ec_op_ec_subset_sum_bit_unpacking_prod_ones196_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ec_op_ec_subset_sum_bit_unpacking_prod_ones196_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ec_op_ec_subset_sum_bit_unpacking_prod_ones196_offset.into(); + x = dynamic_params.ec_op_ec_subset_sum_bit_unpacking_prod_ones196_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - - dynamic_params.ec_op_ec_subset_sum_bit_unpacking_prod_ones196_offset.into() - 1; + x = trace_length + - dynamic_params.ec_op_ec_subset_sum_bit_unpacking_prod_ones196_offset.into() + - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.ec_op_ec_subset_sum_bit_unpacking_prod_ones192_column.into(); + x = dynamic_params.ec_op_ec_subset_sum_bit_unpacking_prod_ones192_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.ec_op_ec_subset_sum_bit_unpacking_prod_ones192_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.ec_op_ec_subset_sum_bit_unpacking_prod_ones192_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.ec_op_ec_subset_sum_bit_unpacking_prod_ones192_offset.into(); + x = dynamic_params.ec_op_ec_subset_sum_bit_unpacking_prod_ones192_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - - dynamic_params.ec_op_ec_subset_sum_bit_unpacking_prod_ones192_offset.into() - 1; + x = trace_length + - dynamic_params.ec_op_ec_subset_sum_bit_unpacking_prod_ones192_offset.into() + - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.keccak_keccak_parse_to_diluted_reshaped_intermediate_column.into(); + x = dynamic_params.keccak_keccak_parse_to_diluted_reshaped_intermediate_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.keccak_keccak_parse_to_diluted_reshaped_intermediate_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.keccak_keccak_parse_to_diluted_reshaped_intermediate_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.keccak_keccak_parse_to_diluted_reshaped_intermediate_offset.into(); + x = dynamic_params.keccak_keccak_parse_to_diluted_reshaped_intermediate_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - - dynamic_params.keccak_keccak_parse_to_diluted_reshaped_intermediate_offset.into() - 1; + x = trace_length + - dynamic_params.keccak_keccak_parse_to_diluted_reshaped_intermediate_offset.into() + - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.keccak_keccak_parse_to_diluted_final_reshaped_input_column.into(); + x = dynamic_params.keccak_keccak_parse_to_diluted_final_reshaped_input_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.keccak_keccak_parse_to_diluted_final_reshaped_input_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.keccak_keccak_parse_to_diluted_final_reshaped_input_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.keccak_keccak_parse_to_diluted_final_reshaped_input_offset.into(); + x = dynamic_params.keccak_keccak_parse_to_diluted_final_reshaped_input_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - - dynamic_params.keccak_keccak_parse_to_diluted_final_reshaped_input_offset.into() - 1; + x = trace_length + - dynamic_params.keccak_keccak_parse_to_diluted_final_reshaped_input_offset.into() + - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.keccak_keccak_parse_to_diluted_cumulative_sum_column.into(); + x = dynamic_params.keccak_keccak_parse_to_diluted_cumulative_sum_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.keccak_keccak_parse_to_diluted_cumulative_sum_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.keccak_keccak_parse_to_diluted_cumulative_sum_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.keccak_keccak_parse_to_diluted_cumulative_sum_offset.into(); + x = dynamic_params.keccak_keccak_parse_to_diluted_cumulative_sum_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - - dynamic_params.keccak_keccak_parse_to_diluted_cumulative_sum_offset.into() - 1; + x = trace_length + - dynamic_params.keccak_keccak_parse_to_diluted_cumulative_sum_offset.into() + - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.keccak_keccak_rotated_parity0_column.into(); + x = dynamic_params.keccak_keccak_rotated_parity0_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.keccak_keccak_rotated_parity0_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.keccak_keccak_rotated_parity0_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.keccak_keccak_rotated_parity0_offset.into(); + x = dynamic_params.keccak_keccak_rotated_parity0_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.keccak_keccak_rotated_parity0_offset.into() - 1; + x = trace_length - dynamic_params.keccak_keccak_rotated_parity0_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.keccak_keccak_rotated_parity1_column.into(); + x = dynamic_params.keccak_keccak_rotated_parity1_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.keccak_keccak_rotated_parity1_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.keccak_keccak_rotated_parity1_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.keccak_keccak_rotated_parity1_offset.into(); + x = dynamic_params.keccak_keccak_rotated_parity1_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.keccak_keccak_rotated_parity1_offset.into() - 1; + x = trace_length - dynamic_params.keccak_keccak_rotated_parity1_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.keccak_keccak_rotated_parity2_column.into(); + x = dynamic_params.keccak_keccak_rotated_parity2_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.keccak_keccak_rotated_parity2_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.keccak_keccak_rotated_parity2_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.keccak_keccak_rotated_parity2_offset.into(); + x = dynamic_params.keccak_keccak_rotated_parity2_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.keccak_keccak_rotated_parity2_offset.into() - 1; + x = trace_length - dynamic_params.keccak_keccak_rotated_parity2_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.keccak_keccak_rotated_parity3_column.into(); + x = dynamic_params.keccak_keccak_rotated_parity3_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.keccak_keccak_rotated_parity3_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.keccak_keccak_rotated_parity3_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.keccak_keccak_rotated_parity3_offset.into(); + x = dynamic_params.keccak_keccak_rotated_parity3_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.keccak_keccak_rotated_parity3_offset.into() - 1; + x = trace_length - dynamic_params.keccak_keccak_rotated_parity3_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.keccak_keccak_rotated_parity4_column.into(); + x = dynamic_params.keccak_keccak_rotated_parity4_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.keccak_keccak_rotated_parity4_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.keccak_keccak_rotated_parity4_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.keccak_keccak_rotated_parity4_offset.into(); + x = dynamic_params.keccak_keccak_rotated_parity4_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.keccak_keccak_rotated_parity4_offset.into() - 1; + x = trace_length - dynamic_params.keccak_keccak_rotated_parity4_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.poseidon_poseidon_full_rounds_state0_column.into(); + x = dynamic_params.poseidon_poseidon_full_rounds_state0_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.poseidon_poseidon_full_rounds_state0_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.poseidon_poseidon_full_rounds_state0_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.poseidon_poseidon_full_rounds_state0_offset.into(); + x = dynamic_params.poseidon_poseidon_full_rounds_state0_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.poseidon_poseidon_full_rounds_state0_offset.into() - 1; + x = trace_length - dynamic_params.poseidon_poseidon_full_rounds_state0_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.poseidon_poseidon_full_rounds_state1_column.into(); + x = dynamic_params.poseidon_poseidon_full_rounds_state1_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.poseidon_poseidon_full_rounds_state1_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.poseidon_poseidon_full_rounds_state1_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.poseidon_poseidon_full_rounds_state1_offset.into(); + x = dynamic_params.poseidon_poseidon_full_rounds_state1_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.poseidon_poseidon_full_rounds_state1_offset.into() - 1; + x = trace_length - dynamic_params.poseidon_poseidon_full_rounds_state1_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.poseidon_poseidon_full_rounds_state2_column.into(); + x = dynamic_params.poseidon_poseidon_full_rounds_state2_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.poseidon_poseidon_full_rounds_state2_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.poseidon_poseidon_full_rounds_state2_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.poseidon_poseidon_full_rounds_state2_offset.into(); + x = dynamic_params.poseidon_poseidon_full_rounds_state2_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.poseidon_poseidon_full_rounds_state2_offset.into() - 1; + x = trace_length - dynamic_params.poseidon_poseidon_full_rounds_state2_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.poseidon_poseidon_full_rounds_state0_squared_column.into(); + x = dynamic_params.poseidon_poseidon_full_rounds_state0_squared_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.poseidon_poseidon_full_rounds_state0_squared_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.poseidon_poseidon_full_rounds_state0_squared_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.poseidon_poseidon_full_rounds_state0_squared_offset.into(); + x = dynamic_params.poseidon_poseidon_full_rounds_state0_squared_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - - dynamic_params.poseidon_poseidon_full_rounds_state0_squared_offset.into() - 1; + x = trace_length + - dynamic_params.poseidon_poseidon_full_rounds_state0_squared_offset.into() + - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.poseidon_poseidon_full_rounds_state1_squared_column.into(); + x = dynamic_params.poseidon_poseidon_full_rounds_state1_squared_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.poseidon_poseidon_full_rounds_state1_squared_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.poseidon_poseidon_full_rounds_state1_squared_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.poseidon_poseidon_full_rounds_state1_squared_offset.into(); + x = dynamic_params.poseidon_poseidon_full_rounds_state1_squared_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - - dynamic_params.poseidon_poseidon_full_rounds_state1_squared_offset.into() - 1; + x = trace_length + - dynamic_params.poseidon_poseidon_full_rounds_state1_squared_offset.into() + - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.poseidon_poseidon_full_rounds_state2_squared_column.into(); + x = dynamic_params.poseidon_poseidon_full_rounds_state2_squared_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.poseidon_poseidon_full_rounds_state2_squared_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.poseidon_poseidon_full_rounds_state2_squared_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.poseidon_poseidon_full_rounds_state2_squared_offset.into(); + x = dynamic_params.poseidon_poseidon_full_rounds_state2_squared_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - - dynamic_params.poseidon_poseidon_full_rounds_state2_squared_offset.into() - 1; + x = trace_length + - dynamic_params.poseidon_poseidon_full_rounds_state2_squared_offset.into() + - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.poseidon_poseidon_partial_rounds_state0_column.into(); + x = dynamic_params.poseidon_poseidon_partial_rounds_state0_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.poseidon_poseidon_partial_rounds_state0_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.poseidon_poseidon_partial_rounds_state0_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.poseidon_poseidon_partial_rounds_state0_offset.into(); + x = dynamic_params.poseidon_poseidon_partial_rounds_state0_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.poseidon_poseidon_partial_rounds_state0_offset.into() - 1; + x = trace_length - dynamic_params.poseidon_poseidon_partial_rounds_state0_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.poseidon_poseidon_partial_rounds_state1_column.into(); + x = dynamic_params.poseidon_poseidon_partial_rounds_state1_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.poseidon_poseidon_partial_rounds_state1_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.poseidon_poseidon_partial_rounds_state1_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.poseidon_poseidon_partial_rounds_state1_offset.into(); + x = dynamic_params.poseidon_poseidon_partial_rounds_state1_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.poseidon_poseidon_partial_rounds_state1_offset.into() - 1; + x = trace_length - dynamic_params.poseidon_poseidon_partial_rounds_state1_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.poseidon_poseidon_partial_rounds_state0_squared_column.into(); + x = dynamic_params.poseidon_poseidon_partial_rounds_state0_squared_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.poseidon_poseidon_partial_rounds_state0_squared_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.poseidon_poseidon_partial_rounds_state0_squared_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.poseidon_poseidon_partial_rounds_state0_squared_offset.into(); + x = dynamic_params.poseidon_poseidon_partial_rounds_state0_squared_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - - dynamic_params.poseidon_poseidon_partial_rounds_state0_squared_offset.into() - 1; + x = trace_length + - dynamic_params.poseidon_poseidon_partial_rounds_state0_squared_offset.into() + - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.poseidon_poseidon_partial_rounds_state1_squared_column.into(); + x = dynamic_params.poseidon_poseidon_partial_rounds_state1_squared_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - - dynamic_params.poseidon_poseidon_partial_rounds_state1_squared_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.poseidon_poseidon_partial_rounds_state1_squared_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.poseidon_poseidon_partial_rounds_state1_squared_offset.into(); + x = dynamic_params.poseidon_poseidon_partial_rounds_state1_squared_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - - dynamic_params.poseidon_poseidon_partial_rounds_state1_squared_offset.into() - 1; + x = trace_length + - dynamic_params.poseidon_poseidon_partial_rounds_state1_squared_offset.into() + - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.add_mod_sub_p_bit_column.into(); + x = dynamic_params.add_mod_sub_p_bit_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - dynamic_params.add_mod_sub_p_bit_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.add_mod_sub_p_bit_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.add_mod_sub_p_bit_offset.into(); + x = dynamic_params.add_mod_sub_p_bit_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.add_mod_sub_p_bit_offset.into() - 1; + x = trace_length - dynamic_params.add_mod_sub_p_bit_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.add_mod_carry1_bit_column.into(); + x = dynamic_params.add_mod_carry1_bit_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - dynamic_params.add_mod_carry1_bit_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.add_mod_carry1_bit_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.add_mod_carry1_bit_offset.into(); + x = dynamic_params.add_mod_carry1_bit_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.add_mod_carry1_bit_offset.into() - 1; + x = trace_length - dynamic_params.add_mod_carry1_bit_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.add_mod_carry2_bit_column.into(); + x = dynamic_params.add_mod_carry2_bit_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - dynamic_params.add_mod_carry2_bit_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.add_mod_carry2_bit_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.add_mod_carry2_bit_offset.into(); + x = dynamic_params.add_mod_carry2_bit_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.add_mod_carry2_bit_offset.into() - 1; + x = trace_length - dynamic_params.add_mod_carry2_bit_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.add_mod_carry3_bit_column.into(); + x = dynamic_params.add_mod_carry3_bit_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - dynamic_params.add_mod_carry3_bit_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.add_mod_carry3_bit_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.add_mod_carry3_bit_offset.into(); + x = dynamic_params.add_mod_carry3_bit_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.add_mod_carry3_bit_offset.into() - 1; + x = trace_length - dynamic_params.add_mod_carry3_bit_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.add_mod_carry1_sign_column.into(); + x = dynamic_params.add_mod_carry1_sign_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - dynamic_params.add_mod_carry1_sign_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.add_mod_carry1_sign_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.add_mod_carry1_sign_offset.into(); + x = dynamic_params.add_mod_carry1_sign_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.add_mod_carry1_sign_offset.into() - 1; + x = trace_length - dynamic_params.add_mod_carry1_sign_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.add_mod_carry2_sign_column.into(); + x = dynamic_params.add_mod_carry2_sign_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - dynamic_params.add_mod_carry2_sign_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.add_mod_carry2_sign_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.add_mod_carry2_sign_offset.into(); + x = dynamic_params.add_mod_carry2_sign_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.add_mod_carry2_sign_offset.into() - 1; + x = trace_length - dynamic_params.add_mod_carry2_sign_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.add_mod_carry3_sign_column.into(); + x = dynamic_params.add_mod_carry3_sign_column.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() - dynamic_params.add_mod_carry3_sign_column.into() - 1; + x = dynamic_params.num_columns_first.into() + - dynamic_params.add_mod_carry3_sign_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.add_mod_carry3_sign_offset.into(); + x = dynamic_params.add_mod_carry3_sign_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.add_mod_carry3_sign_offset.into() - 1; + x = trace_length - dynamic_params.add_mod_carry3_sign_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.memory_multi_column_perm_perm_cum_prod0_column.into() - - dynamic_params.num_columns_first.into(); + x = dynamic_params.memory_multi_column_perm_perm_cum_prod0_column.into() + - dynamic_params.num_columns_first.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() + dynamic_params.num_columns_second.into() - - dynamic_params.memory_multi_column_perm_perm_cum_prod0_column.into() - 1; + x = dynamic_params.num_columns_first.into() + + dynamic_params.num_columns_second.into() + - dynamic_params.memory_multi_column_perm_perm_cum_prod0_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.memory_multi_column_perm_perm_cum_prod0_offset.into(); + x = dynamic_params.memory_multi_column_perm_perm_cum_prod0_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.memory_multi_column_perm_perm_cum_prod0_offset.into() - 1; + x = trace_length - dynamic_params.memory_multi_column_perm_perm_cum_prod0_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.range_check16_perm_cum_prod0_column.into() - - dynamic_params.num_columns_first.into(); + x = dynamic_params.range_check16_perm_cum_prod0_column.into() + - dynamic_params.num_columns_first.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() + dynamic_params.num_columns_second.into() - - dynamic_params.range_check16_perm_cum_prod0_column.into() - 1; + x = dynamic_params.num_columns_first.into() + + dynamic_params.num_columns_second.into() + - dynamic_params.range_check16_perm_cum_prod0_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.range_check16_perm_cum_prod0_offset.into(); + x = dynamic_params.range_check16_perm_cum_prod0_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.range_check16_perm_cum_prod0_offset.into() - 1; + x = trace_length - dynamic_params.range_check16_perm_cum_prod0_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.diluted_check_cumulative_value_column.into() - - dynamic_params.num_columns_first.into(); + x = dynamic_params.diluted_check_cumulative_value_column.into() + - dynamic_params.num_columns_first.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() + dynamic_params.num_columns_second.into() - - dynamic_params.diluted_check_cumulative_value_column.into() - 1; + x = dynamic_params.num_columns_first.into() + + dynamic_params.num_columns_second.into() + - dynamic_params.diluted_check_cumulative_value_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.diluted_check_cumulative_value_offset.into(); + x = dynamic_params.diluted_check_cumulative_value_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.diluted_check_cumulative_value_offset.into() - 1; + x = trace_length - dynamic_params.diluted_check_cumulative_value_offset.into() - 1; assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.diluted_check_permutation_cum_prod0_column.into() - - dynamic_params.num_columns_first.into(); + x = dynamic_params.diluted_check_permutation_cum_prod0_column.into() + - dynamic_params.num_columns_first.into(); assert_range_u128_from_u256(x); - + // Column index out of range. - x = dynamic_params.num_columns_first.into() + dynamic_params.num_columns_second.into() - - dynamic_params.diluted_check_permutation_cum_prod0_column.into() - 1; + x = dynamic_params.num_columns_first.into() + + dynamic_params.num_columns_second.into() + - dynamic_params.diluted_check_permutation_cum_prod0_column.into() + - 1; assert_range_u128_from_u256(x); - + // Offset must be nonnegative. - x = dynamic_params.diluted_check_permutation_cum_prod0_offset.into(); + x = dynamic_params.diluted_check_permutation_cum_prod0_offset.into(); assert_range_u128_from_u256(x); - + // Offset must be smaller than trace length. - x = trace_length - dynamic_params.diluted_check_permutation_cum_prod0_offset.into() - 1; + x = trace_length - dynamic_params.diluted_check_permutation_cum_prod0_offset.into() - 1; assert_range_u128_from_u256(x); - if (dynamic_params.uses_pedersen_builtin.into() != 0) { - // Row ratio should be a power of 2, smaller than trace length. - x = dynamic_params.pedersen_builtin_row_ratio.into(); + x = dynamic_params.pedersen_builtin_row_ratio.into(); assert_is_power_of_2(x); // Dimension should be a power of 2. - x = (trace_length / dynamic_params.pedersen_builtin_row_ratio.into()); + x = (trace_length / dynamic_params.pedersen_builtin_row_ratio.into()); assert_is_power_of_2(x); // Coset step ((dynamicparam(pedersen_builtin_row_ratio)) / (512)) must be a power of two. - x = dynamic_params.pedersen_builtin_row_ratio.into() / 512; + x = dynamic_params.pedersen_builtin_row_ratio.into() / 512; assert_is_power_of_2(x); // Coset step ((dynamicparam(pedersen_builtin_row_ratio)) / (2)) must be a power of two. - x = dynamic_params.pedersen_builtin_row_ratio.into() / 2; + x = dynamic_params.pedersen_builtin_row_ratio.into() / 2; assert_is_power_of_2(x); // Step must not exceed dimension. - x = (trace_length / dynamic_params.pedersen_builtin_row_ratio.into()) - 1; + x = (trace_length / dynamic_params.pedersen_builtin_row_ratio.into()) - 1; assert_range_u128_from_u256(x); - + // Index should be non negative. - x = (trace_length / dynamic_params.pedersen_builtin_row_ratio.into()); + x = (trace_length / dynamic_params.pedersen_builtin_row_ratio.into()); assert_range_u128_from_u256(x); - + // Coset step (memberexpression(trace_length)) must be a power of two. - x = trace_length; + x = trace_length; assert_is_power_of_2(x); // Offset of pedersen/input0 must be nonnegative. - x = dynamic_params.pedersen_input0_suboffset.into(); + x = dynamic_params.pedersen_input0_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of pedersen/input0 is too big. - x = trace_length - dynamic_params.pedersen_input0_suboffset.into() - 1; + x = trace_length - dynamic_params.pedersen_input0_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of pedersen/input0 is too big. - x = dynamic_params.pedersen_builtin_row_ratio.into() - - dynamic_params.pedersen_input0_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - - 1; + x = dynamic_params.pedersen_builtin_row_ratio.into() + - dynamic_params.pedersen_input0_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of pedersen/input1 must be nonnegative. - x = dynamic_params.pedersen_input1_suboffset.into(); + x = dynamic_params.pedersen_input1_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of pedersen/input1 is too big. - x = trace_length - dynamic_params.pedersen_input1_suboffset.into() - 1; + x = trace_length - dynamic_params.pedersen_input1_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of pedersen/input1 is too big. - x = dynamic_params.pedersen_builtin_row_ratio.into() - - dynamic_params.pedersen_input1_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - - 1; + x = dynamic_params.pedersen_builtin_row_ratio.into() + - dynamic_params.pedersen_input1_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of pedersen/output must be nonnegative. - x = dynamic_params.pedersen_output_suboffset.into(); + x = dynamic_params.pedersen_output_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of pedersen/output is too big. - x = trace_length - dynamic_params.pedersen_output_suboffset.into() - 1; + x = trace_length - dynamic_params.pedersen_output_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of pedersen/output is too big. - x = dynamic_params.pedersen_builtin_row_ratio.into() - - dynamic_params.pedersen_output_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - - 1; - assert_range_u128_from_u256(x); + x = dynamic_params.pedersen_builtin_row_ratio.into() + - dynamic_params.pedersen_output_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; + assert_range_u128_from_u256(x); } if (dynamic_params.uses_range_check_builtin.into() != 0) { - // Coset step (memberexpression(trace_length)) must be a power of two. - x = trace_length; + x = trace_length; assert_is_power_of_2(x); // Row ratio should be a power of 2, smaller than trace length. - x = dynamic_params.range_check_builtin_row_ratio.into(); + x = dynamic_params.range_check_builtin_row_ratio.into(); assert_is_power_of_2(x); // Dimension should be a power of 2. - x = (trace_length / dynamic_params.range_check_builtin_row_ratio.into()); + x = (trace_length / dynamic_params.range_check_builtin_row_ratio.into()); assert_is_power_of_2(x); // Step must not exceed dimension. - x = (trace_length / dynamic_params.range_check_builtin_row_ratio.into()) - 1; + x = (trace_length / dynamic_params.range_check_builtin_row_ratio.into()) - 1; assert_range_u128_from_u256(x); - + // Index should be non negative. - x = (trace_length / dynamic_params.range_check_builtin_row_ratio.into()); + x = (trace_length / dynamic_params.range_check_builtin_row_ratio.into()); assert_range_u128_from_u256(x); - + // Coset step ((dynamicparam(range_check_builtin_row_ratio)) / (8)) must be a power of two. - x = dynamic_params.range_check_builtin_row_ratio.into() / 8; + x = dynamic_params.range_check_builtin_row_ratio.into() / 8; assert_is_power_of_2(x); // Offset of range_check_builtin/mem must be nonnegative. - x = dynamic_params.range_check_builtin_mem_suboffset.into(); + x = dynamic_params.range_check_builtin_mem_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of range_check_builtin/mem is too big. - x = trace_length - dynamic_params.range_check_builtin_mem_suboffset.into() - 1; + x = trace_length - dynamic_params.range_check_builtin_mem_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of range_check_builtin/mem is too big. - x = dynamic_params.range_check_builtin_row_ratio.into() - dynamic_params.range_check_builtin_mem_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.range_check_builtin_row_ratio.into() + - dynamic_params.range_check_builtin_mem_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of range_check_builtin/inner_range_check must be nonnegative. - x = dynamic_params.range_check_builtin_inner_range_check_suboffset.into(); + x = dynamic_params.range_check_builtin_inner_range_check_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of range_check_builtin/inner_range_check is too big. - x = trace_length - dynamic_params.range_check_builtin_inner_range_check_suboffset.into() - - 1; + x = trace_length + - dynamic_params.range_check_builtin_inner_range_check_suboffset.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of range_check_builtin/inner_range_check is too big. - x = dynamic_params.range_check_builtin_row_ratio.into() / 8 - dynamic_params.range_check_builtin_inner_range_check_suboffset.into() * dynamic_params.range_check_units_row_ratio.into() - 1; + x = dynamic_params.range_check_builtin_row_ratio.into() / 8 + - dynamic_params.range_check_builtin_inner_range_check_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - } if (dynamic_params.uses_ecdsa_builtin.into() != 0) { - // Row ratio should be a power of 2, smaller than trace length. - x = dynamic_params.ecdsa_builtin_row_ratio.into(); + x = dynamic_params.ecdsa_builtin_row_ratio.into(); assert_is_power_of_2(x); // Dimension should be a power of 2. - x = (trace_length / dynamic_params.ecdsa_builtin_row_ratio.into()); + x = (trace_length / dynamic_params.ecdsa_builtin_row_ratio.into()); assert_is_power_of_2(x); // Coset step ((dynamicparam(ecdsa_builtin_row_ratio)) / (512)) must be a power of two. - x = dynamic_params.ecdsa_builtin_row_ratio.into() / 512; + x = dynamic_params.ecdsa_builtin_row_ratio.into() / 512; assert_is_power_of_2(x); // Step must not exceed dimension. - x = (trace_length / dynamic_params.ecdsa_builtin_row_ratio.into()) - 1; + x = (trace_length / dynamic_params.ecdsa_builtin_row_ratio.into()) - 1; assert_range_u128_from_u256(x); - + // Index should be non negative. - x = (trace_length / dynamic_params.ecdsa_builtin_row_ratio.into()); + x = (trace_length / dynamic_params.ecdsa_builtin_row_ratio.into()); assert_range_u128_from_u256(x); - + // Coset step ((dynamicparam(ecdsa_builtin_row_ratio)) / (256)) must be a power of two. - x = dynamic_params.ecdsa_builtin_row_ratio.into() / 256; + x = dynamic_params.ecdsa_builtin_row_ratio.into() / 256; assert_is_power_of_2(x); // Coset step (memberexpression(trace_length)) must be a power of two. - x = trace_length; + x = trace_length; assert_is_power_of_2(x); // Coset step ((dynamicparam(ecdsa_builtin_row_ratio)) / (2)) must be a power of two. - x = dynamic_params.ecdsa_builtin_row_ratio.into() / 2; + x = dynamic_params.ecdsa_builtin_row_ratio.into() / 2; assert_is_power_of_2(x); // Offset of ecdsa/pubkey must be nonnegative. - x = dynamic_params.ecdsa_pubkey_suboffset.into(); + x = dynamic_params.ecdsa_pubkey_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of ecdsa/pubkey is too big. - x = trace_length - dynamic_params.ecdsa_pubkey_suboffset.into() - 1; + x = trace_length - dynamic_params.ecdsa_pubkey_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of ecdsa/pubkey is too big. - x = dynamic_params.ecdsa_builtin_row_ratio.into() - dynamic_params.ecdsa_pubkey_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.ecdsa_builtin_row_ratio.into() + - dynamic_params.ecdsa_pubkey_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of ecdsa/message must be nonnegative. - x = dynamic_params.ecdsa_message_suboffset.into(); + x = dynamic_params.ecdsa_message_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of ecdsa/message is too big. - x = trace_length - dynamic_params.ecdsa_message_suboffset.into() - 1; + x = trace_length - dynamic_params.ecdsa_message_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of ecdsa/message is too big. - x = dynamic_params.ecdsa_builtin_row_ratio.into() - dynamic_params.ecdsa_message_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.ecdsa_builtin_row_ratio.into() + - dynamic_params.ecdsa_message_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); } if (dynamic_params.uses_bitwise_builtin.into() != 0) { - // Row ratio should be a power of 2, smaller than trace length. - x = dynamic_params.bitwise_row_ratio.into(); + x = dynamic_params.bitwise_row_ratio.into(); assert_is_power_of_2(x); // Dimension should be a power of 2. - x = (trace_length / dynamic_params.bitwise_row_ratio.into()); + x = (trace_length / dynamic_params.bitwise_row_ratio.into()); assert_is_power_of_2(x); // Coset step ((dynamicparam(bitwise_row_ratio)) / (64)) must be a power of two. - x = dynamic_params.bitwise_row_ratio.into() / 64; + x = dynamic_params.bitwise_row_ratio.into() / 64; assert_is_power_of_2(x); // Coset step ((dynamicparam(bitwise_row_ratio)) / (4)) must be a power of two. - x = dynamic_params.bitwise_row_ratio.into() / 4; + x = dynamic_params.bitwise_row_ratio.into() / 4; assert_is_power_of_2(x); // Index out of range. - x = trace_length / dynamic_params.bitwise_row_ratio.into() - 1; + x = trace_length / dynamic_params.bitwise_row_ratio.into() - 1; assert_range_u128_from_u256(x); - + // Index should be non negative. - x = (trace_length / dynamic_params.bitwise_row_ratio.into()); + x = (trace_length / dynamic_params.bitwise_row_ratio.into()); assert_range_u128_from_u256(x); - + // Coset step (memberexpression(trace_length)) must be a power of two. - x = trace_length; + x = trace_length; assert_is_power_of_2(x); // Offset of bitwise/var_pool must be nonnegative. - x = dynamic_params.bitwise_var_pool_suboffset.into(); + x = dynamic_params.bitwise_var_pool_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of bitwise/var_pool is too big. - x = trace_length - dynamic_params.bitwise_var_pool_suboffset.into() - 1; + x = trace_length - dynamic_params.bitwise_var_pool_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of bitwise/var_pool is too big. - x = dynamic_params.bitwise_row_ratio.into() / 4 - dynamic_params.bitwise_var_pool_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.bitwise_row_ratio.into() / 4 + - dynamic_params.bitwise_var_pool_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of bitwise/x_or_y must be nonnegative. - x = dynamic_params.bitwise_x_or_y_suboffset.into(); + x = dynamic_params.bitwise_x_or_y_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of bitwise/x_or_y is too big. - x = trace_length - dynamic_params.bitwise_x_or_y_suboffset.into() - 1; + x = trace_length - dynamic_params.bitwise_x_or_y_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of bitwise/x_or_y is too big. - x = dynamic_params.bitwise_row_ratio.into() - dynamic_params.bitwise_x_or_y_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.bitwise_row_ratio.into() + - dynamic_params.bitwise_x_or_y_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of bitwise/diluted_var_pool must be nonnegative. - x = dynamic_params.bitwise_diluted_var_pool_suboffset.into(); + x = dynamic_params.bitwise_diluted_var_pool_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of bitwise/diluted_var_pool is too big. - x = trace_length - dynamic_params.bitwise_diluted_var_pool_suboffset.into() - 1; + x = trace_length - dynamic_params.bitwise_diluted_var_pool_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of bitwise/diluted_var_pool is too big. - x = dynamic_params.bitwise_row_ratio.into() / 64 - dynamic_params.bitwise_diluted_var_pool_suboffset.into() * dynamic_params.diluted_units_row_ratio.into() - 1; + x = dynamic_params.bitwise_row_ratio.into() / 64 + - dynamic_params.bitwise_diluted_var_pool_suboffset.into() + * dynamic_params.diluted_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of bitwise/trim_unpacking192 must be nonnegative. - x = dynamic_params.bitwise_trim_unpacking192_suboffset.into(); + x = dynamic_params.bitwise_trim_unpacking192_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of bitwise/trim_unpacking192 is too big. - x = trace_length - dynamic_params.bitwise_trim_unpacking192_suboffset.into() - 1; + x = trace_length - dynamic_params.bitwise_trim_unpacking192_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of bitwise/trim_unpacking192 is too big. - x = dynamic_params.bitwise_row_ratio.into() - dynamic_params.bitwise_trim_unpacking192_suboffset.into() * dynamic_params.diluted_units_row_ratio.into() - 1; + x = dynamic_params.bitwise_row_ratio.into() + - dynamic_params.bitwise_trim_unpacking192_suboffset.into() + * dynamic_params.diluted_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of bitwise/trim_unpacking193 must be nonnegative. - x = dynamic_params.bitwise_trim_unpacking193_suboffset.into(); + x = dynamic_params.bitwise_trim_unpacking193_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of bitwise/trim_unpacking193 is too big. - x = trace_length - dynamic_params.bitwise_trim_unpacking193_suboffset.into() - 1; + x = trace_length - dynamic_params.bitwise_trim_unpacking193_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of bitwise/trim_unpacking193 is too big. - x = dynamic_params.bitwise_row_ratio.into() - dynamic_params.bitwise_trim_unpacking193_suboffset.into() * dynamic_params.diluted_units_row_ratio.into() - 1; + x = dynamic_params.bitwise_row_ratio.into() + - dynamic_params.bitwise_trim_unpacking193_suboffset.into() + * dynamic_params.diluted_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of bitwise/trim_unpacking194 must be nonnegative. - x = dynamic_params.bitwise_trim_unpacking194_suboffset.into(); + x = dynamic_params.bitwise_trim_unpacking194_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of bitwise/trim_unpacking194 is too big. - x = trace_length - dynamic_params.bitwise_trim_unpacking194_suboffset.into() - 1; + x = trace_length - dynamic_params.bitwise_trim_unpacking194_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of bitwise/trim_unpacking194 is too big. - x = dynamic_params.bitwise_row_ratio.into() - dynamic_params.bitwise_trim_unpacking194_suboffset.into() * dynamic_params.diluted_units_row_ratio.into() - 1; + x = dynamic_params.bitwise_row_ratio.into() + - dynamic_params.bitwise_trim_unpacking194_suboffset.into() + * dynamic_params.diluted_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of bitwise/trim_unpacking195 must be nonnegative. - x = dynamic_params.bitwise_trim_unpacking195_suboffset.into(); + x = dynamic_params.bitwise_trim_unpacking195_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of bitwise/trim_unpacking195 is too big. - x = trace_length - dynamic_params.bitwise_trim_unpacking195_suboffset.into() - 1; + x = trace_length - dynamic_params.bitwise_trim_unpacking195_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of bitwise/trim_unpacking195 is too big. - x = dynamic_params.bitwise_row_ratio.into() - dynamic_params.bitwise_trim_unpacking195_suboffset.into() * dynamic_params.diluted_units_row_ratio.into() - 1; + x = dynamic_params.bitwise_row_ratio.into() + - dynamic_params.bitwise_trim_unpacking195_suboffset.into() + * dynamic_params.diluted_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); } if (dynamic_params.uses_ec_op_builtin.into() != 0) { - // Row ratio should be a power of 2, smaller than trace length. - x = dynamic_params.ec_op_builtin_row_ratio.into(); + x = dynamic_params.ec_op_builtin_row_ratio.into(); assert_is_power_of_2(x); // Dimension should be a power of 2. - x = (trace_length / dynamic_params.ec_op_builtin_row_ratio.into()); + x = (trace_length / dynamic_params.ec_op_builtin_row_ratio.into()); assert_is_power_of_2(x); // Coset step ((dynamicparam(ec_op_builtin_row_ratio)) / (256)) must be a power of two. - x = dynamic_params.ec_op_builtin_row_ratio.into() / 256; + x = dynamic_params.ec_op_builtin_row_ratio.into() / 256; assert_is_power_of_2(x); // Index out of range. - x = (trace_length / dynamic_params.ec_op_builtin_row_ratio.into()) - 1; + x = (trace_length / dynamic_params.ec_op_builtin_row_ratio.into()) - 1; assert_range_u128_from_u256(x); - + // Index should be non negative. - x = (trace_length / dynamic_params.ec_op_builtin_row_ratio.into()); + x = (trace_length / dynamic_params.ec_op_builtin_row_ratio.into()); assert_range_u128_from_u256(x); - + // Coset step (memberexpression(trace_length)) must be a power of two. - x = trace_length; + x = trace_length; assert_is_power_of_2(x); // Offset of ec_op/p_x must be nonnegative. - x = dynamic_params.ec_op_p_x_suboffset.into(); + x = dynamic_params.ec_op_p_x_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of ec_op/p_x is too big. - x = trace_length - dynamic_params.ec_op_p_x_suboffset.into() - 1; + x = trace_length - dynamic_params.ec_op_p_x_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of ec_op/p_x is too big. - x = dynamic_params.ec_op_builtin_row_ratio.into() - dynamic_params.ec_op_p_x_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.ec_op_builtin_row_ratio.into() + - dynamic_params.ec_op_p_x_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of ec_op/p_y must be nonnegative. - x = dynamic_params.ec_op_p_y_suboffset.into(); + x = dynamic_params.ec_op_p_y_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of ec_op/p_y is too big. - x = trace_length - dynamic_params.ec_op_p_y_suboffset.into() - 1; + x = trace_length - dynamic_params.ec_op_p_y_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of ec_op/p_y is too big. - x = dynamic_params.ec_op_builtin_row_ratio.into() - dynamic_params.ec_op_p_y_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.ec_op_builtin_row_ratio.into() + - dynamic_params.ec_op_p_y_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of ec_op/q_x must be nonnegative. - x = dynamic_params.ec_op_q_x_suboffset.into(); + x = dynamic_params.ec_op_q_x_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of ec_op/q_x is too big. - x = trace_length - dynamic_params.ec_op_q_x_suboffset.into() - 1; + x = trace_length - dynamic_params.ec_op_q_x_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of ec_op/q_x is too big. - x = dynamic_params.ec_op_builtin_row_ratio.into() - dynamic_params.ec_op_q_x_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.ec_op_builtin_row_ratio.into() + - dynamic_params.ec_op_q_x_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of ec_op/q_y must be nonnegative. - x = dynamic_params.ec_op_q_y_suboffset.into(); + x = dynamic_params.ec_op_q_y_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of ec_op/q_y is too big. - x = trace_length - dynamic_params.ec_op_q_y_suboffset.into() - 1; + x = trace_length - dynamic_params.ec_op_q_y_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of ec_op/q_y is too big. - x = dynamic_params.ec_op_builtin_row_ratio.into() - dynamic_params.ec_op_q_y_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.ec_op_builtin_row_ratio.into() + - dynamic_params.ec_op_q_y_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of ec_op/m must be nonnegative. - x = dynamic_params.ec_op_m_suboffset.into(); + x = dynamic_params.ec_op_m_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of ec_op/m is too big. - x = trace_length - dynamic_params.ec_op_m_suboffset.into() - 1; + x = trace_length - dynamic_params.ec_op_m_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of ec_op/m is too big. - x = dynamic_params.ec_op_builtin_row_ratio.into() - dynamic_params.ec_op_m_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.ec_op_builtin_row_ratio.into() + - dynamic_params.ec_op_m_suboffset.into() * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of ec_op/r_x must be nonnegative. - x = dynamic_params.ec_op_r_x_suboffset.into(); + x = dynamic_params.ec_op_r_x_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of ec_op/r_x is too big. - x = trace_length - dynamic_params.ec_op_r_x_suboffset.into() - 1; + x = trace_length - dynamic_params.ec_op_r_x_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of ec_op/r_x is too big. - x = dynamic_params.ec_op_builtin_row_ratio.into() - dynamic_params.ec_op_r_x_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.ec_op_builtin_row_ratio.into() + - dynamic_params.ec_op_r_x_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of ec_op/r_y must be nonnegative. - x = dynamic_params.ec_op_r_y_suboffset.into(); + x = dynamic_params.ec_op_r_y_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of ec_op/r_y is too big. - x = trace_length - dynamic_params.ec_op_r_y_suboffset.into() - 1; + x = trace_length - dynamic_params.ec_op_r_y_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of ec_op/r_y is too big. - x = dynamic_params.ec_op_builtin_row_ratio.into() - dynamic_params.ec_op_r_y_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.ec_op_builtin_row_ratio.into() + - dynamic_params.ec_op_r_y_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - - - } if (dynamic_params.uses_keccak_builtin.into() != 0) { - // Coset step ((dynamicparam(keccak_row_ratio)) / (4096)) must be a power of two. - x = dynamic_params.keccak_row_ratio.into() / 4096; + x = dynamic_params.keccak_row_ratio.into() / 4096; assert_is_power_of_2(x); // Dimension should be a power of 2. - x = (trace_length / (16 * dynamic_params.keccak_row_ratio.into())); + x = (trace_length / (16 * dynamic_params.keccak_row_ratio.into())); assert_is_power_of_2(x); // Coset step ((dynamicparam(keccak_row_ratio)) / (128)) must be a power of two. - x = dynamic_params.keccak_row_ratio.into() / 128; + x = dynamic_params.keccak_row_ratio.into() / 128; assert_is_power_of_2(x); // Coset step ((dynamicparam(keccak_row_ratio)) / (32768)) must be a power of two. - x = dynamic_params.keccak_row_ratio.into() / 32768; + x = dynamic_params.keccak_row_ratio.into() / 32768; assert_is_power_of_2(x); // Row ratio should be a power of 2, smaller than trace length. - x = dynamic_params.keccak_row_ratio.into(); + x = dynamic_params.keccak_row_ratio.into(); assert_is_power_of_2(x); // Coset step ((dynamicparam(keccak_row_ratio)) / (16)) must be a power of two. - x = dynamic_params.keccak_row_ratio.into() / 16; + x = dynamic_params.keccak_row_ratio.into() / 16; assert_is_power_of_2(x); // Dimension should be a power of 2. - x = (16 * trace_length) / dynamic_params.keccak_row_ratio.into(); + x = (16 * trace_length) / dynamic_params.keccak_row_ratio.into(); assert_is_power_of_2(x); // Index out of range. - x = (16 * trace_length) / dynamic_params.keccak_row_ratio.into() - 1; + x = (16 * trace_length) / dynamic_params.keccak_row_ratio.into() - 1; assert_range_u128_from_u256(x); - + // Index should be non negative. - x = (16 * trace_length) / dynamic_params.keccak_row_ratio.into(); + x = (16 * trace_length) / dynamic_params.keccak_row_ratio.into(); assert_range_u128_from_u256(x); - + // Coset step (memberexpression(trace_length)) must be a power of two. - x = trace_length; + x = trace_length; assert_is_power_of_2(x); // Offset of keccak/input_output must be nonnegative. - x = dynamic_params.keccak_input_output_suboffset.into(); + x = dynamic_params.keccak_input_output_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of keccak/input_output is too big. - x = trace_length - dynamic_params.keccak_input_output_suboffset.into() - 1; + x = trace_length - dynamic_params.keccak_input_output_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of keccak/input_output is too big. - x = dynamic_params.keccak_row_ratio.into() / 16 - dynamic_params.keccak_input_output_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.keccak_row_ratio.into() / 16 + - dynamic_params.keccak_input_output_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of keccak/keccak/diluted_column0 must be nonnegative. - x = dynamic_params.keccak_keccak_diluted_column0_suboffset.into(); + x = dynamic_params.keccak_keccak_diluted_column0_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of keccak/keccak/diluted_column0 is too big. - x = trace_length - dynamic_params.keccak_keccak_diluted_column0_suboffset.into() - 1; + x = trace_length - dynamic_params.keccak_keccak_diluted_column0_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of keccak/keccak/diluted_column0 is too big. - x = dynamic_params.keccak_row_ratio.into() / 4096 - dynamic_params.keccak_keccak_diluted_column0_suboffset.into() * dynamic_params.diluted_units_row_ratio.into() - 1; + x = dynamic_params.keccak_row_ratio.into() / 4096 + - dynamic_params.keccak_keccak_diluted_column0_suboffset.into() + * dynamic_params.diluted_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of keccak/keccak/diluted_column1 must be nonnegative. - x = dynamic_params.keccak_keccak_diluted_column1_suboffset.into(); + x = dynamic_params.keccak_keccak_diluted_column1_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of keccak/keccak/diluted_column1 is too big. - x = trace_length - dynamic_params.keccak_keccak_diluted_column1_suboffset.into() - 1; + x = trace_length - dynamic_params.keccak_keccak_diluted_column1_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of keccak/keccak/diluted_column1 is too big. - x = dynamic_params.keccak_row_ratio.into() / 4096 - dynamic_params.keccak_keccak_diluted_column1_suboffset.into() * dynamic_params.diluted_units_row_ratio.into() - 1; + x = dynamic_params.keccak_row_ratio.into() / 4096 + - dynamic_params.keccak_keccak_diluted_column1_suboffset.into() + * dynamic_params.diluted_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of keccak/keccak/diluted_column2 must be nonnegative. - x = dynamic_params.keccak_keccak_diluted_column2_suboffset.into(); + x = dynamic_params.keccak_keccak_diluted_column2_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of keccak/keccak/diluted_column2 is too big. - x = trace_length - dynamic_params.keccak_keccak_diluted_column2_suboffset.into() - 1; + x = trace_length - dynamic_params.keccak_keccak_diluted_column2_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of keccak/keccak/diluted_column2 is too big. - x = dynamic_params.keccak_row_ratio.into() / 4096 - dynamic_params.keccak_keccak_diluted_column2_suboffset.into() * dynamic_params.diluted_units_row_ratio.into() - 1; + x = dynamic_params.keccak_row_ratio.into() / 4096 + - dynamic_params.keccak_keccak_diluted_column2_suboffset.into() + * dynamic_params.diluted_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of keccak/keccak/diluted_column3 must be nonnegative. - x = dynamic_params.keccak_keccak_diluted_column3_suboffset.into(); + x = dynamic_params.keccak_keccak_diluted_column3_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of keccak/keccak/diluted_column3 is too big. - x = trace_length - dynamic_params.keccak_keccak_diluted_column3_suboffset.into() - 1; + x = trace_length - dynamic_params.keccak_keccak_diluted_column3_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of keccak/keccak/diluted_column3 is too big. - x = dynamic_params.keccak_row_ratio.into() / 4096 - dynamic_params.keccak_keccak_diluted_column3_suboffset.into() * dynamic_params.diluted_units_row_ratio.into() - 1; + x = dynamic_params.keccak_row_ratio.into() / 4096 + - dynamic_params.keccak_keccak_diluted_column3_suboffset.into() + * dynamic_params.diluted_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); } if (dynamic_params.uses_poseidon_builtin.into() != 0) { - // Row ratio should be a power of 2, smaller than trace length. - x = dynamic_params.poseidon_row_ratio.into(); + x = dynamic_params.poseidon_row_ratio.into(); assert_is_power_of_2(x); // Dimension should be a power of 2. - x = (trace_length / dynamic_params.poseidon_row_ratio.into()); + x = (trace_length / dynamic_params.poseidon_row_ratio.into()); assert_is_power_of_2(x); // Coset step ((dynamicparam(poseidon_row_ratio)) / (32)) must be a power of two. - x = dynamic_params.poseidon_row_ratio.into() / 32; + x = dynamic_params.poseidon_row_ratio.into() / 32; assert_is_power_of_2(x); // Coset step ((dynamicparam(poseidon_row_ratio)) / (8)) must be a power of two. - x = dynamic_params.poseidon_row_ratio.into() / 8; + x = dynamic_params.poseidon_row_ratio.into() / 8; assert_is_power_of_2(x); // Coset step ((dynamicparam(poseidon_row_ratio)) / (64)) must be a power of two. - x = dynamic_params.poseidon_row_ratio.into() / 64; + x = dynamic_params.poseidon_row_ratio.into() / 64; assert_is_power_of_2(x); // Coset step ((dynamicparam(poseidon_row_ratio)) / (2)) must be a power of two. - x = dynamic_params.poseidon_row_ratio.into() / 2; + x = dynamic_params.poseidon_row_ratio.into() / 2; assert_is_power_of_2(x); // Dimension should be a power of 2. - x = 2 * trace_length / dynamic_params.poseidon_row_ratio.into(); + x = 2 * trace_length / dynamic_params.poseidon_row_ratio.into(); assert_is_power_of_2(x); // Index out of range. - x = 2 * trace_length / dynamic_params.poseidon_row_ratio.into() -1; + x = 2 * trace_length / dynamic_params.poseidon_row_ratio.into() - 1; assert_range_u128_from_u256(x); - + // Index should be non negative. - x = 2 * trace_length / dynamic_params.poseidon_row_ratio.into(); + x = 2 * trace_length / dynamic_params.poseidon_row_ratio.into(); assert_range_u128_from_u256(x); - + // Coset step (memberexpression(trace_length)) must be a power of two. - x = trace_length; + x = trace_length; assert_is_power_of_2(x); // Offset of poseidon/param_0/input_output must be nonnegative. - x = dynamic_params.poseidon_param_0_input_output_suboffset.into(); + x = dynamic_params.poseidon_param_0_input_output_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of poseidon/param_0/input_output is too big. - x = trace_length - dynamic_params.poseidon_param_0_input_output_suboffset.into() - 1; + x = trace_length - dynamic_params.poseidon_param_0_input_output_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of poseidon/param_0/input_output is too big. - x = dynamic_params.poseidon_row_ratio.into() / 2 - dynamic_params.poseidon_param_0_input_output_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.poseidon_row_ratio.into() / 2 + - dynamic_params.poseidon_param_0_input_output_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of poseidon/param_1/input_output must be nonnegative. - x = dynamic_params.poseidon_param_1_input_output_suboffset.into(); + x = dynamic_params.poseidon_param_1_input_output_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of poseidon/param_1/input_output is too big. - x = trace_length - dynamic_params.poseidon_param_1_input_output_suboffset.into() - 1; + x = trace_length - dynamic_params.poseidon_param_1_input_output_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of poseidon/param_1/input_output is too big. - x = dynamic_params.poseidon_row_ratio.into() / 2 - dynamic_params.poseidon_param_1_input_output_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.poseidon_row_ratio.into() / 2 + - dynamic_params.poseidon_param_1_input_output_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of poseidon/param_2/input_output must be nonnegative. - x = dynamic_params.poseidon_param_2_input_output_suboffset.into(); + x = dynamic_params.poseidon_param_2_input_output_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of poseidon/param_2/input_output is too big. - x = trace_length - dynamic_params.poseidon_param_2_input_output_suboffset.into() - 1; + x = trace_length - dynamic_params.poseidon_param_2_input_output_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of poseidon/param_2/input_output is too big. - x = dynamic_params.poseidon_row_ratio.into() / 2 - dynamic_params.poseidon_param_2_input_output_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; - assert_range_u128_from_u256(x); + x = dynamic_params.poseidon_row_ratio.into() / 2 + - dynamic_params.poseidon_param_2_input_output_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; + assert_range_u128_from_u256(x); } if (dynamic_params.uses_range_check96_builtin.into() != 0) { - // Coset step (memberexpression(trace_length)) must be a power of two. - x = trace_length; + x = trace_length; assert_is_power_of_2(x); // Row ratio should be a power of 2, smaller than trace length. - x = dynamic_params.range_check96_builtin_row_ratio.into(); + x = dynamic_params.range_check96_builtin_row_ratio.into(); assert_is_power_of_2(x); // Dimension should be a power of 2. - x = (trace_length / dynamic_params.range_check96_builtin_row_ratio.into()); + x = (trace_length / dynamic_params.range_check96_builtin_row_ratio.into()); assert_is_power_of_2(x); // Step must not exceed dimension. - x = (trace_length / dynamic_params.range_check96_builtin_row_ratio.into()) - 1; + x = (trace_length / dynamic_params.range_check96_builtin_row_ratio.into()) - 1; assert_range_u128_from_u256(x); - + // Index should be non negative. - x = (trace_length / dynamic_params.range_check96_builtin_row_ratio.into()); + x = (trace_length / dynamic_params.range_check96_builtin_row_ratio.into()); assert_range_u128_from_u256(x); - + // Offset of range_check96_builtin/mem must be nonnegative. - x = dynamic_params.range_check96_builtin_mem_suboffset.into(); + x = dynamic_params.range_check96_builtin_mem_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of range_check96_builtin/mem is too big. - x = trace_length - dynamic_params.range_check96_builtin_mem_suboffset.into() - 1; + x = trace_length - dynamic_params.range_check96_builtin_mem_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of range_check96_builtin/mem is too big. - x = dynamic_params.range_check96_builtin_row_ratio.into() - dynamic_params.range_check96_builtin_mem_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.range_check96_builtin_row_ratio.into() + - dynamic_params.range_check96_builtin_mem_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of range_check96_builtin/inner_range_check0 must be nonnegative. - x = dynamic_params.range_check96_builtin_inner_range_check0_suboffset.into(); + x = dynamic_params.range_check96_builtin_inner_range_check0_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of range_check96_builtin/inner_range_check0 is too big. - x = trace_length - - dynamic_params.range_check96_builtin_inner_range_check0_suboffset.into() - 1; + x = trace_length + - dynamic_params.range_check96_builtin_inner_range_check0_suboffset.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of range_check96_builtin/inner_range_check0 is too big. - x = dynamic_params.range_check96_builtin_row_ratio.into() - dynamic_params.range_check96_builtin_inner_range_check0_suboffset.into() * dynamic_params.range_check_units_row_ratio.into() - 1; + x = dynamic_params.range_check96_builtin_row_ratio.into() + - dynamic_params.range_check96_builtin_inner_range_check0_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of range_check96_builtin/inner_range_check1 must be nonnegative. - x = dynamic_params.range_check96_builtin_inner_range_check1_suboffset.into(); + x = dynamic_params.range_check96_builtin_inner_range_check1_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of range_check96_builtin/inner_range_check1 is too big. - x = trace_length - - dynamic_params.range_check96_builtin_inner_range_check1_suboffset.into() - 1; + x = trace_length + - dynamic_params.range_check96_builtin_inner_range_check1_suboffset.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of range_check96_builtin/inner_range_check1 is too big. - x = dynamic_params.range_check96_builtin_row_ratio.into() - dynamic_params.range_check96_builtin_inner_range_check1_suboffset.into() * dynamic_params.range_check_units_row_ratio.into() - 1; + x = dynamic_params.range_check96_builtin_row_ratio.into() + - dynamic_params.range_check96_builtin_inner_range_check1_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of range_check96_builtin/inner_range_check2 must be nonnegative. - x = dynamic_params.range_check96_builtin_inner_range_check2_suboffset.into(); + x = dynamic_params.range_check96_builtin_inner_range_check2_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of range_check96_builtin/inner_range_check2 is too big. - x = trace_length - - dynamic_params.range_check96_builtin_inner_range_check2_suboffset.into() - 1; + x = trace_length + - dynamic_params.range_check96_builtin_inner_range_check2_suboffset.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of range_check96_builtin/inner_range_check2 is too big. - x = dynamic_params.range_check96_builtin_row_ratio.into() - dynamic_params.range_check96_builtin_inner_range_check2_suboffset.into() * dynamic_params.range_check_units_row_ratio.into() - 1; + x = dynamic_params.range_check96_builtin_row_ratio.into() + - dynamic_params.range_check96_builtin_inner_range_check2_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of range_check96_builtin/inner_range_check3 must be nonnegative. - x = dynamic_params.range_check96_builtin_inner_range_check3_suboffset.into(); + x = dynamic_params.range_check96_builtin_inner_range_check3_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of range_check96_builtin/inner_range_check3 is too big. - x = trace_length - - dynamic_params.range_check96_builtin_inner_range_check3_suboffset.into() - 1; + x = trace_length + - dynamic_params.range_check96_builtin_inner_range_check3_suboffset.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of range_check96_builtin/inner_range_check3 is too big. - x = dynamic_params.range_check96_builtin_row_ratio.into() - dynamic_params.range_check96_builtin_inner_range_check3_suboffset.into() * dynamic_params.range_check_units_row_ratio.into() - 1; + x = dynamic_params.range_check96_builtin_row_ratio.into() + - dynamic_params.range_check96_builtin_inner_range_check3_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of range_check96_builtin/inner_range_check4 must be nonnegative. - x = dynamic_params.range_check96_builtin_inner_range_check4_suboffset.into(); + x = dynamic_params.range_check96_builtin_inner_range_check4_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of range_check96_builtin/inner_range_check4 is too big. - x = trace_length - - dynamic_params.range_check96_builtin_inner_range_check4_suboffset.into() - 1; + x = trace_length + - dynamic_params.range_check96_builtin_inner_range_check4_suboffset.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of range_check96_builtin/inner_range_check4 is too big. - x = dynamic_params.range_check96_builtin_row_ratio.into() - dynamic_params.range_check96_builtin_inner_range_check4_suboffset.into() * dynamic_params.range_check_units_row_ratio.into() - 1; + x = dynamic_params.range_check96_builtin_row_ratio.into() + - dynamic_params.range_check96_builtin_inner_range_check4_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of range_check96_builtin/inner_range_check5 must be nonnegative. - x = dynamic_params.range_check96_builtin_inner_range_check5_suboffset.into(); + x = dynamic_params.range_check96_builtin_inner_range_check5_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of range_check96_builtin/inner_range_check5 is too big. - x = trace_length - - dynamic_params.range_check96_builtin_inner_range_check5_suboffset.into() - 1; + x = trace_length + - dynamic_params.range_check96_builtin_inner_range_check5_suboffset.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of range_check96_builtin/inner_range_check5 is too big. - x = dynamic_params.range_check96_builtin_row_ratio.into() - dynamic_params.range_check96_builtin_inner_range_check5_suboffset.into() * dynamic_params.range_check_units_row_ratio.into() - 1; + x = dynamic_params.range_check96_builtin_row_ratio.into() + - dynamic_params.range_check96_builtin_inner_range_check5_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - - - } if (dynamic_params.uses_add_mod_builtin.into() != 0) { - // Row ratio should be a power of 2, smaller than trace length. - x = dynamic_params.add_mod_row_ratio.into(); + x = dynamic_params.add_mod_row_ratio.into(); assert_is_power_of_2(x); // Dimension should be a power of 2. - x = (trace_length / dynamic_params.add_mod_row_ratio.into()); + x = (trace_length / dynamic_params.add_mod_row_ratio.into()); assert_is_power_of_2(x); // Index out of range. - x = (trace_length / dynamic_params.add_mod_row_ratio.into()) - 1; + x = (trace_length / dynamic_params.add_mod_row_ratio.into()) - 1; assert_range_u128_from_u256(x); - + // Index should be non negative. - x = (trace_length / dynamic_params.add_mod_row_ratio.into()); + x = (trace_length / dynamic_params.add_mod_row_ratio.into()); assert_range_u128_from_u256(x); - + // Coset step (memberexpression(trace_length)) must be a power of two. - x = trace_length; + x = trace_length; assert_is_power_of_2(x); // Offset of add_mod/p0 must be nonnegative. - x = dynamic_params.add_mod_p0_suboffset.into(); + x = dynamic_params.add_mod_p0_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of add_mod/p0 is too big. - x = trace_length - dynamic_params.add_mod_p0_suboffset.into() - 1; + x = trace_length - dynamic_params.add_mod_p0_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/p0 is too big. - x = dynamic_params.add_mod_row_ratio.into() - dynamic_params.add_mod_p0_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.add_mod_row_ratio.into() + - dynamic_params.add_mod_p0_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/p1 must be nonnegative. - x = dynamic_params.add_mod_p1_suboffset.into(); + x = dynamic_params.add_mod_p1_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of add_mod/p1 is too big. - x = trace_length - dynamic_params.add_mod_p1_suboffset.into() - 1; + x = trace_length - dynamic_params.add_mod_p1_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/p1 is too big. - x = dynamic_params.add_mod_row_ratio.into() - dynamic_params.add_mod_p1_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.add_mod_row_ratio.into() + - dynamic_params.add_mod_p1_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/p2 must be nonnegative. - x = dynamic_params.add_mod_p2_suboffset.into(); + x = dynamic_params.add_mod_p2_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of add_mod/p2 is too big. - x = trace_length - dynamic_params.add_mod_p2_suboffset.into() - 1; + x = trace_length - dynamic_params.add_mod_p2_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/p2 is too big. - x = dynamic_params.add_mod_row_ratio.into() - dynamic_params.add_mod_p2_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.add_mod_row_ratio.into() + - dynamic_params.add_mod_p2_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/p3 must be nonnegative. - x = dynamic_params.add_mod_p3_suboffset.into(); + x = dynamic_params.add_mod_p3_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of add_mod/p3 is too big. - x = trace_length - dynamic_params.add_mod_p3_suboffset.into() - 1; + x = trace_length - dynamic_params.add_mod_p3_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/p3 is too big. - x = dynamic_params.add_mod_row_ratio.into() - dynamic_params.add_mod_p3_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.add_mod_row_ratio.into() + - dynamic_params.add_mod_p3_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/values_ptr must be nonnegative. - x = dynamic_params.add_mod_values_ptr_suboffset.into(); + x = dynamic_params.add_mod_values_ptr_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of add_mod/values_ptr is too big. - x = trace_length - dynamic_params.add_mod_values_ptr_suboffset.into() - 1; + x = trace_length - dynamic_params.add_mod_values_ptr_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/values_ptr is too big. - x = dynamic_params.add_mod_row_ratio.into() - dynamic_params.add_mod_values_ptr_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.add_mod_row_ratio.into() + - dynamic_params.add_mod_values_ptr_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/offsets_ptr must be nonnegative. - x = dynamic_params.add_mod_offsets_ptr_suboffset.into(); + x = dynamic_params.add_mod_offsets_ptr_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of add_mod/offsets_ptr is too big. - x = trace_length - dynamic_params.add_mod_offsets_ptr_suboffset.into() - 1; + x = trace_length - dynamic_params.add_mod_offsets_ptr_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/offsets_ptr is too big. - x = dynamic_params.add_mod_row_ratio.into() - dynamic_params.add_mod_offsets_ptr_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.add_mod_row_ratio.into() + - dynamic_params.add_mod_offsets_ptr_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/n must be nonnegative. - x = dynamic_params.add_mod_n_suboffset.into(); + x = dynamic_params.add_mod_n_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of add_mod/n is too big. - x = trace_length - dynamic_params.add_mod_n_suboffset.into() - 1; + x = trace_length - dynamic_params.add_mod_n_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/n is too big. - x = dynamic_params.add_mod_row_ratio.into() - dynamic_params.add_mod_n_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.add_mod_row_ratio.into() + - dynamic_params.add_mod_n_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/a_offset must be nonnegative. - x = dynamic_params.add_mod_a_offset_suboffset.into(); + x = dynamic_params.add_mod_a_offset_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of add_mod/a_offset is too big. - x = trace_length - dynamic_params.add_mod_a_offset_suboffset.into() - 1; + x = trace_length - dynamic_params.add_mod_a_offset_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/a_offset is too big. - x = dynamic_params.add_mod_row_ratio.into() - dynamic_params.add_mod_a_offset_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.add_mod_row_ratio.into() + - dynamic_params.add_mod_a_offset_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/b_offset must be nonnegative. - x = dynamic_params.add_mod_b_offset_suboffset.into(); + x = dynamic_params.add_mod_b_offset_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of add_mod/b_offset is too big. - x = trace_length - dynamic_params.add_mod_b_offset_suboffset.into() - 1; + x = trace_length - dynamic_params.add_mod_b_offset_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/b_offset is too big. - x = dynamic_params.add_mod_row_ratio.into() - dynamic_params.add_mod_b_offset_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.add_mod_row_ratio.into() + - dynamic_params.add_mod_b_offset_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/c_offset must be nonnegative. - x = dynamic_params.add_mod_c_offset_suboffset.into(); + x = dynamic_params.add_mod_c_offset_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of add_mod/c_offset is too big. - x = trace_length - dynamic_params.add_mod_c_offset_suboffset.into() - 1; + x = trace_length - dynamic_params.add_mod_c_offset_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/c_offset is too big. - x = dynamic_params.add_mod_row_ratio.into() - dynamic_params.add_mod_c_offset_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.add_mod_row_ratio.into() + - dynamic_params.add_mod_c_offset_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/a0 must be nonnegative. - x = dynamic_params.add_mod_a0_suboffset.into(); + x = dynamic_params.add_mod_a0_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of add_mod/a0 is too big. - x = trace_length - dynamic_params.add_mod_a0_suboffset.into() - 1; + x = trace_length - dynamic_params.add_mod_a0_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/a0 is too big. - x = dynamic_params.add_mod_row_ratio.into() - dynamic_params.add_mod_a0_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.add_mod_row_ratio.into() + - dynamic_params.add_mod_a0_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/a1 must be nonnegative. - x = dynamic_params.add_mod_a1_suboffset.into(); + x = dynamic_params.add_mod_a1_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of add_mod/a1 is too big. - x = trace_length - dynamic_params.add_mod_a1_suboffset.into() - 1; + x = trace_length - dynamic_params.add_mod_a1_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/a1 is too big. - x = dynamic_params.add_mod_row_ratio.into() - dynamic_params.add_mod_a1_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.add_mod_row_ratio.into() + - dynamic_params.add_mod_a1_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/a2 must be nonnegative. - x = dynamic_params.add_mod_a2_suboffset.into(); + x = dynamic_params.add_mod_a2_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of add_mod/a2 is too big. - x = trace_length - dynamic_params.add_mod_a2_suboffset.into() - 1; + x = trace_length - dynamic_params.add_mod_a2_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/a2 is too big. - x = dynamic_params.add_mod_row_ratio.into() - dynamic_params.add_mod_a2_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.add_mod_row_ratio.into() + - dynamic_params.add_mod_a2_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/a3 must be nonnegative. - x = dynamic_params.add_mod_a3_suboffset.into(); + x = dynamic_params.add_mod_a3_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of add_mod/a3 is too big. - x = trace_length - dynamic_params.add_mod_a3_suboffset.into() - 1; + x = trace_length - dynamic_params.add_mod_a3_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/a3 is too big. - x = dynamic_params.add_mod_row_ratio.into() - dynamic_params.add_mod_a3_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.add_mod_row_ratio.into() + - dynamic_params.add_mod_a3_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/b0 must be nonnegative. - x = dynamic_params.add_mod_b0_suboffset.into(); + x = dynamic_params.add_mod_b0_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of add_mod/b0 is too big. - x = trace_length - dynamic_params.add_mod_b0_suboffset.into() - 1; + x = trace_length - dynamic_params.add_mod_b0_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/b0 is too big. - x = dynamic_params.add_mod_row_ratio.into() - dynamic_params.add_mod_b0_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.add_mod_row_ratio.into() + - dynamic_params.add_mod_b0_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/b1 must be nonnegative. - x = dynamic_params.add_mod_b1_suboffset.into(); + x = dynamic_params.add_mod_b1_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of add_mod/b1 is too big. - x = trace_length - dynamic_params.add_mod_b1_suboffset.into() - 1; + x = trace_length - dynamic_params.add_mod_b1_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/b1 is too big. - x = dynamic_params.add_mod_row_ratio.into() - dynamic_params.add_mod_b1_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.add_mod_row_ratio.into() + - dynamic_params.add_mod_b1_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/b2 must be nonnegative. - x = dynamic_params.add_mod_b2_suboffset.into(); + x = dynamic_params.add_mod_b2_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of add_mod/b2 is too big. - x = trace_length - dynamic_params.add_mod_b2_suboffset.into() - 1; + x = trace_length - dynamic_params.add_mod_b2_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/b2 is too big. - x = dynamic_params.add_mod_row_ratio.into() - dynamic_params.add_mod_b2_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.add_mod_row_ratio.into() + - dynamic_params.add_mod_b2_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/b3 must be nonnegative. - x = dynamic_params.add_mod_b3_suboffset.into(); + x = dynamic_params.add_mod_b3_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of add_mod/b3 is too big. - x = trace_length - dynamic_params.add_mod_b3_suboffset.into() - 1; + x = trace_length - dynamic_params.add_mod_b3_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/b3 is too big. - x = dynamic_params.add_mod_row_ratio.into() - dynamic_params.add_mod_b3_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.add_mod_row_ratio.into() + - dynamic_params.add_mod_b3_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/c0 must be nonnegative. - x = dynamic_params.add_mod_c0_suboffset.into(); + x = dynamic_params.add_mod_c0_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of add_mod/c0 is too big. - x = trace_length - dynamic_params.add_mod_c0_suboffset.into() - 1; + x = trace_length - dynamic_params.add_mod_c0_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/c0 is too big. - x = dynamic_params.add_mod_row_ratio.into() - dynamic_params.add_mod_c0_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.add_mod_row_ratio.into() + - dynamic_params.add_mod_c0_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/c1 must be nonnegative. - x = dynamic_params.add_mod_c1_suboffset.into(); + x = dynamic_params.add_mod_c1_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of add_mod/c1 is too big. - x = trace_length - dynamic_params.add_mod_c1_suboffset.into() - 1; + x = trace_length - dynamic_params.add_mod_c1_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/c1 is too big. - x = dynamic_params.add_mod_row_ratio.into() - dynamic_params.add_mod_c1_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.add_mod_row_ratio.into() + - dynamic_params.add_mod_c1_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/c2 must be nonnegative. - x = dynamic_params.add_mod_c2_suboffset.into(); + x = dynamic_params.add_mod_c2_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of add_mod/c2 is too big. - x = trace_length - dynamic_params.add_mod_c2_suboffset.into() - 1; + x = trace_length - dynamic_params.add_mod_c2_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/c2 is too big. - x = dynamic_params.add_mod_row_ratio.into() - dynamic_params.add_mod_c2_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.add_mod_row_ratio.into() + - dynamic_params.add_mod_c2_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/c3 must be nonnegative. - x = dynamic_params.add_mod_c3_suboffset.into(); + x = dynamic_params.add_mod_c3_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of add_mod/c3 is too big. - x = trace_length - dynamic_params.add_mod_c3_suboffset.into() - 1; + x = trace_length - dynamic_params.add_mod_c3_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of add_mod/c3 is too big. - x = dynamic_params.add_mod_row_ratio.into() - dynamic_params.add_mod_c3_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.add_mod_row_ratio.into() + - dynamic_params.add_mod_c3_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); } if (dynamic_params.uses_mul_mod_builtin.into() != 0) { - // Row ratio should be a power of 2, smaller than trace length. - x = dynamic_params.mul_mod_row_ratio.into(); + x = dynamic_params.mul_mod_row_ratio.into(); assert_is_power_of_2(x); // Dimension should be a power of 2. - x = (trace_length / dynamic_params.mul_mod_row_ratio.into()); + x = (trace_length / dynamic_params.mul_mod_row_ratio.into()); assert_is_power_of_2(x); // Index out of range. - x = (trace_length / dynamic_params.mul_mod_row_ratio.into()) - 1; + x = (trace_length / dynamic_params.mul_mod_row_ratio.into()) - 1; assert_range_u128_from_u256(x); - + // Index should be non negative. - x = (trace_length / dynamic_params.mul_mod_row_ratio.into()); + x = (trace_length / dynamic_params.mul_mod_row_ratio.into()); assert_range_u128_from_u256(x); - + // Coset step (memberexpression(trace_length)) must be a power of two. - x = trace_length; + x = trace_length; assert_is_power_of_2(x); // Offset of mul_mod/p0 must be nonnegative. - x = dynamic_params.mul_mod_p0_suboffset.into(); + x = dynamic_params.mul_mod_p0_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p0 is too big. - x = trace_length - dynamic_params.mul_mod_p0_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p0_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p0 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - dynamic_params.mul_mod_p0_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p0_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p1 must be nonnegative. - x = dynamic_params.mul_mod_p1_suboffset.into(); + x = dynamic_params.mul_mod_p1_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p1 is too big. - x = trace_length - dynamic_params.mul_mod_p1_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p1_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p1 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - dynamic_params.mul_mod_p1_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p1_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p2 must be nonnegative. - x = dynamic_params.mul_mod_p2_suboffset.into(); + x = dynamic_params.mul_mod_p2_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p2 is too big. - x = trace_length - dynamic_params.mul_mod_p2_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p2_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p2 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - dynamic_params.mul_mod_p2_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p2_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p3 must be nonnegative. - x = dynamic_params.mul_mod_p3_suboffset.into(); + x = dynamic_params.mul_mod_p3_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p3 is too big. - x = trace_length - dynamic_params.mul_mod_p3_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p3_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p3 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - dynamic_params.mul_mod_p3_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p3_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/values_ptr must be nonnegative. - x = dynamic_params.mul_mod_values_ptr_suboffset.into(); + x = dynamic_params.mul_mod_values_ptr_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/values_ptr is too big. - x = trace_length - dynamic_params.mul_mod_values_ptr_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_values_ptr_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/values_ptr is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_values_ptr_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_values_ptr_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/offsets_ptr must be nonnegative. - x = dynamic_params.mul_mod_offsets_ptr_suboffset.into(); + x = dynamic_params.mul_mod_offsets_ptr_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/offsets_ptr is too big. - x = trace_length - dynamic_params.mul_mod_offsets_ptr_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_offsets_ptr_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/offsets_ptr is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_offsets_ptr_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_offsets_ptr_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/n must be nonnegative. - x = dynamic_params.mul_mod_n_suboffset.into(); + x = dynamic_params.mul_mod_n_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/n is too big. - x = trace_length - dynamic_params.mul_mod_n_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_n_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/n is too big. - x = dynamic_params.mul_mod_row_ratio.into() - dynamic_params.mul_mod_n_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_n_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/a_offset must be nonnegative. - x = dynamic_params.mul_mod_a_offset_suboffset.into(); + x = dynamic_params.mul_mod_a_offset_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/a_offset is too big. - x = trace_length - dynamic_params.mul_mod_a_offset_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_a_offset_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/a_offset is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_a_offset_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_a_offset_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/b_offset must be nonnegative. - x = dynamic_params.mul_mod_b_offset_suboffset.into(); + x = dynamic_params.mul_mod_b_offset_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/b_offset is too big. - x = trace_length - dynamic_params.mul_mod_b_offset_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_b_offset_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/b_offset is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_b_offset_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_b_offset_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/c_offset must be nonnegative. - x = dynamic_params.mul_mod_c_offset_suboffset.into(); + x = dynamic_params.mul_mod_c_offset_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/c_offset is too big. - x = trace_length - dynamic_params.mul_mod_c_offset_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_c_offset_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/c_offset is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_c_offset_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_c_offset_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/a0 must be nonnegative. - x = dynamic_params.mul_mod_a0_suboffset.into(); + x = dynamic_params.mul_mod_a0_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/a0 is too big. - x = trace_length - dynamic_params.mul_mod_a0_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_a0_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/a0 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - dynamic_params.mul_mod_a0_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_a0_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/a1 must be nonnegative. - x = dynamic_params.mul_mod_a1_suboffset.into(); + x = dynamic_params.mul_mod_a1_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/a1 is too big. - x = trace_length - dynamic_params.mul_mod_a1_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_a1_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/a1 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - dynamic_params.mul_mod_a1_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_a1_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/a2 must be nonnegative. - x = dynamic_params.mul_mod_a2_suboffset.into(); + x = dynamic_params.mul_mod_a2_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/a2 is too big. - x = trace_length - dynamic_params.mul_mod_a2_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_a2_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/a2 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - dynamic_params.mul_mod_a2_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_a2_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/a3 must be nonnegative. - x = dynamic_params.mul_mod_a3_suboffset.into(); + x = dynamic_params.mul_mod_a3_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/a3 is too big. - x = trace_length - dynamic_params.mul_mod_a3_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_a3_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/a3 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - dynamic_params.mul_mod_a3_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_a3_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/b0 must be nonnegative. - x = dynamic_params.mul_mod_b0_suboffset.into(); + x = dynamic_params.mul_mod_b0_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/b0 is too big. - x = trace_length - dynamic_params.mul_mod_b0_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_b0_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/b0 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - dynamic_params.mul_mod_b0_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_b0_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/b1 must be nonnegative. - x = dynamic_params.mul_mod_b1_suboffset.into(); + x = dynamic_params.mul_mod_b1_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/b1 is too big. - x = trace_length - dynamic_params.mul_mod_b1_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_b1_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/b1 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - dynamic_params.mul_mod_b1_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_b1_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/b2 must be nonnegative. - x = dynamic_params.mul_mod_b2_suboffset.into(); + x = dynamic_params.mul_mod_b2_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/b2 is too big. - x = trace_length - dynamic_params.mul_mod_b2_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_b2_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/b2 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - dynamic_params.mul_mod_b2_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_b2_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/b3 must be nonnegative. - x = dynamic_params.mul_mod_b3_suboffset.into(); + x = dynamic_params.mul_mod_b3_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/b3 is too big. - x = trace_length - dynamic_params.mul_mod_b3_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_b3_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/b3 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - dynamic_params.mul_mod_b3_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_b3_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/c0 must be nonnegative. - x = dynamic_params.mul_mod_c0_suboffset.into(); + x = dynamic_params.mul_mod_c0_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/c0 is too big. - x = trace_length - dynamic_params.mul_mod_c0_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_c0_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/c0 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - dynamic_params.mul_mod_c0_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_c0_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/c1 must be nonnegative. - x = dynamic_params.mul_mod_c1_suboffset.into(); + x = dynamic_params.mul_mod_c1_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/c1 is too big. - x = trace_length - dynamic_params.mul_mod_c1_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_c1_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/c1 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - dynamic_params.mul_mod_c1_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_c1_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/c2 must be nonnegative. - x = dynamic_params.mul_mod_c2_suboffset.into(); + x = dynamic_params.mul_mod_c2_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/c2 is too big. - x = trace_length - dynamic_params.mul_mod_c2_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_c2_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/c2 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - dynamic_params.mul_mod_c2_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_c2_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/c3 must be nonnegative. - x = dynamic_params.mul_mod_c3_suboffset.into(); + x = dynamic_params.mul_mod_c3_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/c3 is too big. - x = trace_length - dynamic_params.mul_mod_c3_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_c3_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/c3 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - dynamic_params.mul_mod_c3_suboffset.into() * dynamic_params.memory_units_row_ratio.into() - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_c3_suboffset.into() + * dynamic_params.memory_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier0/part0 must be nonnegative. - x = dynamic_params.mul_mod_p_multiplier0_part0_suboffset.into(); + x = dynamic_params.mul_mod_p_multiplier0_part0_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier0/part0 is too big. - x = trace_length - dynamic_params.mul_mod_p_multiplier0_part0_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p_multiplier0_part0_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier0/part0 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_p_multiplier0_part0_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p_multiplier0_part0_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier0/part1 must be nonnegative. - x = dynamic_params.mul_mod_p_multiplier0_part1_suboffset.into(); + x = dynamic_params.mul_mod_p_multiplier0_part1_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier0/part1 is too big. - x = trace_length - dynamic_params.mul_mod_p_multiplier0_part1_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p_multiplier0_part1_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier0/part1 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_p_multiplier0_part1_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p_multiplier0_part1_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier0/part2 must be nonnegative. - x = dynamic_params.mul_mod_p_multiplier0_part2_suboffset.into(); + x = dynamic_params.mul_mod_p_multiplier0_part2_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier0/part2 is too big. - x = trace_length - dynamic_params.mul_mod_p_multiplier0_part2_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p_multiplier0_part2_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier0/part2 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_p_multiplier0_part2_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p_multiplier0_part2_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier0/part3 must be nonnegative. - x = dynamic_params.mul_mod_p_multiplier0_part3_suboffset.into(); + x = dynamic_params.mul_mod_p_multiplier0_part3_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier0/part3 is too big. - x = trace_length - dynamic_params.mul_mod_p_multiplier0_part3_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p_multiplier0_part3_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier0/part3 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_p_multiplier0_part3_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p_multiplier0_part3_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier0/part4 must be nonnegative. - x = dynamic_params.mul_mod_p_multiplier0_part4_suboffset.into(); + x = dynamic_params.mul_mod_p_multiplier0_part4_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier0/part4 is too big. - x = trace_length - dynamic_params.mul_mod_p_multiplier0_part4_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p_multiplier0_part4_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier0/part4 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_p_multiplier0_part4_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p_multiplier0_part4_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier0/part5 must be nonnegative. - x = dynamic_params.mul_mod_p_multiplier0_part5_suboffset.into(); + x = dynamic_params.mul_mod_p_multiplier0_part5_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier0/part5 is too big. - x = trace_length - dynamic_params.mul_mod_p_multiplier0_part5_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p_multiplier0_part5_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier0/part5 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_p_multiplier0_part5_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p_multiplier0_part5_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier1/part0 must be nonnegative. - x = dynamic_params.mul_mod_p_multiplier1_part0_suboffset.into(); + x = dynamic_params.mul_mod_p_multiplier1_part0_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier1/part0 is too big. - x = trace_length - dynamic_params.mul_mod_p_multiplier1_part0_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p_multiplier1_part0_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier1/part0 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_p_multiplier1_part0_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p_multiplier1_part0_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier1/part1 must be nonnegative. - x = dynamic_params.mul_mod_p_multiplier1_part1_suboffset.into(); + x = dynamic_params.mul_mod_p_multiplier1_part1_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier1/part1 is too big. - x = trace_length - dynamic_params.mul_mod_p_multiplier1_part1_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p_multiplier1_part1_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier1/part1 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_p_multiplier1_part1_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p_multiplier1_part1_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier1/part2 must be nonnegative. - x = dynamic_params.mul_mod_p_multiplier1_part2_suboffset.into(); + x = dynamic_params.mul_mod_p_multiplier1_part2_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier1/part2 is too big. - x = trace_length - dynamic_params.mul_mod_p_multiplier1_part2_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p_multiplier1_part2_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier1/part2 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_p_multiplier1_part2_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p_multiplier1_part2_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier1/part3 must be nonnegative. - x = dynamic_params.mul_mod_p_multiplier1_part3_suboffset.into(); + x = dynamic_params.mul_mod_p_multiplier1_part3_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier1/part3 is too big. - x = trace_length - dynamic_params.mul_mod_p_multiplier1_part3_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p_multiplier1_part3_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier1/part3 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_p_multiplier1_part3_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p_multiplier1_part3_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier1/part4 must be nonnegative. - x = dynamic_params.mul_mod_p_multiplier1_part4_suboffset.into(); + x = dynamic_params.mul_mod_p_multiplier1_part4_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier1/part4 is too big. - x = trace_length - dynamic_params.mul_mod_p_multiplier1_part4_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p_multiplier1_part4_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier1/part4 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_p_multiplier1_part4_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p_multiplier1_part4_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier1/part5 must be nonnegative. - x = dynamic_params.mul_mod_p_multiplier1_part5_suboffset.into(); + x = dynamic_params.mul_mod_p_multiplier1_part5_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier1/part5 is too big. - x = trace_length - dynamic_params.mul_mod_p_multiplier1_part5_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p_multiplier1_part5_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier1/part5 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_p_multiplier1_part5_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p_multiplier1_part5_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier2/part0 must be nonnegative. - x = dynamic_params.mul_mod_p_multiplier2_part0_suboffset.into(); + x = dynamic_params.mul_mod_p_multiplier2_part0_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier2/part0 is too big. - x = trace_length - dynamic_params.mul_mod_p_multiplier2_part0_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p_multiplier2_part0_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier2/part0 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_p_multiplier2_part0_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p_multiplier2_part0_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier2/part1 must be nonnegative. - x = dynamic_params.mul_mod_p_multiplier2_part1_suboffset.into(); + x = dynamic_params.mul_mod_p_multiplier2_part1_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier2/part1 is too big. - x = trace_length - dynamic_params.mul_mod_p_multiplier2_part1_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p_multiplier2_part1_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier2/part1 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_p_multiplier2_part1_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p_multiplier2_part1_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier2/part2 must be nonnegative. - x = dynamic_params.mul_mod_p_multiplier2_part2_suboffset.into(); + x = dynamic_params.mul_mod_p_multiplier2_part2_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier2/part2 is too big. - x = trace_length - dynamic_params.mul_mod_p_multiplier2_part2_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p_multiplier2_part2_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier2/part2 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_p_multiplier2_part2_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p_multiplier2_part2_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier2/part3 must be nonnegative. - x = dynamic_params.mul_mod_p_multiplier2_part3_suboffset.into(); + x = dynamic_params.mul_mod_p_multiplier2_part3_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier2/part3 is too big. - x = trace_length - dynamic_params.mul_mod_p_multiplier2_part3_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p_multiplier2_part3_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier2/part3 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_p_multiplier2_part3_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p_multiplier2_part3_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier2/part4 must be nonnegative. - x = dynamic_params.mul_mod_p_multiplier2_part4_suboffset.into(); + x = dynamic_params.mul_mod_p_multiplier2_part4_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier2/part4 is too big. - x = trace_length - dynamic_params.mul_mod_p_multiplier2_part4_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p_multiplier2_part4_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier2/part4 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_p_multiplier2_part4_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p_multiplier2_part4_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier2/part5 must be nonnegative. - x = dynamic_params.mul_mod_p_multiplier2_part5_suboffset.into(); + x = dynamic_params.mul_mod_p_multiplier2_part5_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier2/part5 is too big. - x = trace_length - dynamic_params.mul_mod_p_multiplier2_part5_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p_multiplier2_part5_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier2/part5 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_p_multiplier2_part5_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p_multiplier2_part5_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier3/part0 must be nonnegative. - x = dynamic_params.mul_mod_p_multiplier3_part0_suboffset.into(); + x = dynamic_params.mul_mod_p_multiplier3_part0_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier3/part0 is too big. - x = trace_length - dynamic_params.mul_mod_p_multiplier3_part0_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p_multiplier3_part0_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier3/part0 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_p_multiplier3_part0_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p_multiplier3_part0_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier3/part1 must be nonnegative. - x = dynamic_params.mul_mod_p_multiplier3_part1_suboffset.into(); + x = dynamic_params.mul_mod_p_multiplier3_part1_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier3/part1 is too big. - x = trace_length - dynamic_params.mul_mod_p_multiplier3_part1_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p_multiplier3_part1_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier3/part1 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_p_multiplier3_part1_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p_multiplier3_part1_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier3/part2 must be nonnegative. - x = dynamic_params.mul_mod_p_multiplier3_part2_suboffset.into(); + x = dynamic_params.mul_mod_p_multiplier3_part2_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier3/part2 is too big. - x = trace_length - dynamic_params.mul_mod_p_multiplier3_part2_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p_multiplier3_part2_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier3/part2 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_p_multiplier3_part2_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p_multiplier3_part2_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier3/part3 must be nonnegative. - x = dynamic_params.mul_mod_p_multiplier3_part3_suboffset.into(); + x = dynamic_params.mul_mod_p_multiplier3_part3_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier3/part3 is too big. - x = trace_length - dynamic_params.mul_mod_p_multiplier3_part3_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p_multiplier3_part3_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier3/part3 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_p_multiplier3_part3_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p_multiplier3_part3_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier3/part4 must be nonnegative. - x = dynamic_params.mul_mod_p_multiplier3_part4_suboffset.into(); + x = dynamic_params.mul_mod_p_multiplier3_part4_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier3/part4 is too big. - x = trace_length - dynamic_params.mul_mod_p_multiplier3_part4_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p_multiplier3_part4_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier3/part4 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_p_multiplier3_part4_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p_multiplier3_part4_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier3/part5 must be nonnegative. - x = dynamic_params.mul_mod_p_multiplier3_part5_suboffset.into(); + x = dynamic_params.mul_mod_p_multiplier3_part5_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier3/part5 is too big. - x = trace_length - dynamic_params.mul_mod_p_multiplier3_part5_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_p_multiplier3_part5_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/p_multiplier3/part5 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_p_multiplier3_part5_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_p_multiplier3_part5_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry0/part0 must be nonnegative. - x = dynamic_params.mul_mod_carry0_part0_suboffset.into(); + x = dynamic_params.mul_mod_carry0_part0_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry0/part0 is too big. - x = trace_length - dynamic_params.mul_mod_carry0_part0_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry0_part0_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry0/part0 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry0_part0_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry0_part0_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry0/part1 must be nonnegative. - x = dynamic_params.mul_mod_carry0_part1_suboffset.into(); + x = dynamic_params.mul_mod_carry0_part1_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry0/part1 is too big. - x = trace_length - dynamic_params.mul_mod_carry0_part1_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry0_part1_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry0/part1 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry0_part1_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry0_part1_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry0/part2 must be nonnegative. - x = dynamic_params.mul_mod_carry0_part2_suboffset.into(); + x = dynamic_params.mul_mod_carry0_part2_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry0/part2 is too big. - x = trace_length - dynamic_params.mul_mod_carry0_part2_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry0_part2_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry0/part2 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry0_part2_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry0_part2_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry0/part3 must be nonnegative. - x = dynamic_params.mul_mod_carry0_part3_suboffset.into(); + x = dynamic_params.mul_mod_carry0_part3_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry0/part3 is too big. - x = trace_length - dynamic_params.mul_mod_carry0_part3_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry0_part3_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry0/part3 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry0_part3_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry0_part3_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry0/part4 must be nonnegative. - x = dynamic_params.mul_mod_carry0_part4_suboffset.into(); + x = dynamic_params.mul_mod_carry0_part4_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry0/part4 is too big. - x = trace_length - dynamic_params.mul_mod_carry0_part4_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry0_part4_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry0/part4 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry0_part4_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry0_part4_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry0/part5 must be nonnegative. - x = dynamic_params.mul_mod_carry0_part5_suboffset.into(); + x = dynamic_params.mul_mod_carry0_part5_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry0/part5 is too big. - x = trace_length - dynamic_params.mul_mod_carry0_part5_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry0_part5_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry0/part5 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry0_part5_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry0_part5_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry0/part6 must be nonnegative. - x = dynamic_params.mul_mod_carry0_part6_suboffset.into(); + x = dynamic_params.mul_mod_carry0_part6_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry0/part6 is too big. - x = trace_length - dynamic_params.mul_mod_carry0_part6_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry0_part6_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry0/part6 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry0_part6_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry0_part6_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry1/part0 must be nonnegative. - x = dynamic_params.mul_mod_carry1_part0_suboffset.into(); + x = dynamic_params.mul_mod_carry1_part0_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry1/part0 is too big. - x = trace_length - dynamic_params.mul_mod_carry1_part0_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry1_part0_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry1/part0 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry1_part0_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry1_part0_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry1/part1 must be nonnegative. - x = dynamic_params.mul_mod_carry1_part1_suboffset.into(); + x = dynamic_params.mul_mod_carry1_part1_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry1/part1 is too big. - x = trace_length - dynamic_params.mul_mod_carry1_part1_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry1_part1_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry1/part1 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry1_part1_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry1_part1_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry1/part2 must be nonnegative. - x = dynamic_params.mul_mod_carry1_part2_suboffset.into(); + x = dynamic_params.mul_mod_carry1_part2_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry1/part2 is too big. - x = trace_length - dynamic_params.mul_mod_carry1_part2_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry1_part2_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry1/part2 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry1_part2_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry1_part2_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry1/part3 must be nonnegative. - x = dynamic_params.mul_mod_carry1_part3_suboffset.into(); + x = dynamic_params.mul_mod_carry1_part3_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry1/part3 is too big. - x = trace_length - dynamic_params.mul_mod_carry1_part3_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry1_part3_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry1/part3 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry1_part3_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry1_part3_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry1/part4 must be nonnegative. - x = dynamic_params.mul_mod_carry1_part4_suboffset.into(); + x = dynamic_params.mul_mod_carry1_part4_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry1/part4 is too big. - x = trace_length - dynamic_params.mul_mod_carry1_part4_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry1_part4_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry1/part4 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry1_part4_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry1_part4_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry1/part5 must be nonnegative. - x = dynamic_params.mul_mod_carry1_part5_suboffset.into(); + x = dynamic_params.mul_mod_carry1_part5_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry1/part5 is too big. - x = trace_length - dynamic_params.mul_mod_carry1_part5_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry1_part5_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry1/part5 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry1_part5_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry1_part5_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry1/part6 must be nonnegative. - x = dynamic_params.mul_mod_carry1_part6_suboffset.into(); + x = dynamic_params.mul_mod_carry1_part6_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry1/part6 is too big. - x = trace_length - dynamic_params.mul_mod_carry1_part6_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry1_part6_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry1/part6 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry1_part6_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry1_part6_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry2/part0 must be nonnegative. - x = dynamic_params.mul_mod_carry2_part0_suboffset.into(); + x = dynamic_params.mul_mod_carry2_part0_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry2/part0 is too big. - x = trace_length - dynamic_params.mul_mod_carry2_part0_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry2_part0_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry2/part0 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry2_part0_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry2_part0_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry2/part1 must be nonnegative. - x = dynamic_params.mul_mod_carry2_part1_suboffset.into(); + x = dynamic_params.mul_mod_carry2_part1_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry2/part1 is too big. - x = trace_length - dynamic_params.mul_mod_carry2_part1_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry2_part1_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry2/part1 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry2_part1_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry2_part1_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry2/part2 must be nonnegative. - x = dynamic_params.mul_mod_carry2_part2_suboffset.into(); + x = dynamic_params.mul_mod_carry2_part2_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry2/part2 is too big. - x = trace_length - dynamic_params.mul_mod_carry2_part2_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry2_part2_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry2/part2 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry2_part2_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry2_part2_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry2/part3 must be nonnegative. - x = dynamic_params.mul_mod_carry2_part3_suboffset.into(); + x = dynamic_params.mul_mod_carry2_part3_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry2/part3 is too big. - x = trace_length - dynamic_params.mul_mod_carry2_part3_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry2_part3_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry2/part3 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry2_part3_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry2_part3_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry2/part4 must be nonnegative. - x = dynamic_params.mul_mod_carry2_part4_suboffset.into(); + x = dynamic_params.mul_mod_carry2_part4_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry2/part4 is too big. - x = trace_length - dynamic_params.mul_mod_carry2_part4_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry2_part4_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry2/part4 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry2_part4_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry2_part4_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry2/part5 must be nonnegative. - x = dynamic_params.mul_mod_carry2_part5_suboffset.into(); + x = dynamic_params.mul_mod_carry2_part5_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry2/part5 is too big. - x = trace_length - dynamic_params.mul_mod_carry2_part5_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry2_part5_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry2/part5 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry2_part5_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry2_part5_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry2/part6 must be nonnegative. - x = dynamic_params.mul_mod_carry2_part6_suboffset.into(); + x = dynamic_params.mul_mod_carry2_part6_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry2/part6 is too big. - x = trace_length - dynamic_params.mul_mod_carry2_part6_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry2_part6_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry2/part6 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry2_part6_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry2_part6_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry3/part0 must be nonnegative. - x = dynamic_params.mul_mod_carry3_part0_suboffset.into(); + x = dynamic_params.mul_mod_carry3_part0_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry3/part0 is too big. - x = trace_length - dynamic_params.mul_mod_carry3_part0_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry3_part0_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry3/part0 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry3_part0_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry3_part0_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry3/part1 must be nonnegative. - x = dynamic_params.mul_mod_carry3_part1_suboffset.into(); + x = dynamic_params.mul_mod_carry3_part1_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry3/part1 is too big. - x = trace_length - dynamic_params.mul_mod_carry3_part1_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry3_part1_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry3/part1 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry3_part1_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry3_part1_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry3/part2 must be nonnegative. - x = dynamic_params.mul_mod_carry3_part2_suboffset.into(); + x = dynamic_params.mul_mod_carry3_part2_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry3/part2 is too big. - x = trace_length - dynamic_params.mul_mod_carry3_part2_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry3_part2_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry3/part2 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry3_part2_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry3_part2_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry3/part3 must be nonnegative. - x = dynamic_params.mul_mod_carry3_part3_suboffset.into(); + x = dynamic_params.mul_mod_carry3_part3_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry3/part3 is too big. - x = trace_length - dynamic_params.mul_mod_carry3_part3_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry3_part3_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry3/part3 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry3_part3_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry3_part3_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry3/part4 must be nonnegative. - x = dynamic_params.mul_mod_carry3_part4_suboffset.into(); + x = dynamic_params.mul_mod_carry3_part4_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry3/part4 is too big. - x = trace_length - dynamic_params.mul_mod_carry3_part4_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry3_part4_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry3/part4 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry3_part4_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry3_part4_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry3/part5 must be nonnegative. - x = dynamic_params.mul_mod_carry3_part5_suboffset.into(); + x = dynamic_params.mul_mod_carry3_part5_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry3/part5 is too big. - x = trace_length - dynamic_params.mul_mod_carry3_part5_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry3_part5_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry3/part5 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry3_part5_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry3_part5_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry3/part6 must be nonnegative. - x = dynamic_params.mul_mod_carry3_part6_suboffset.into(); + x = dynamic_params.mul_mod_carry3_part6_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry3/part6 is too big. - x = trace_length - dynamic_params.mul_mod_carry3_part6_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry3_part6_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry3/part6 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry3_part6_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry3_part6_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry4/part0 must be nonnegative. - x = dynamic_params.mul_mod_carry4_part0_suboffset.into(); + x = dynamic_params.mul_mod_carry4_part0_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry4/part0 is too big. - x = trace_length - dynamic_params.mul_mod_carry4_part0_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry4_part0_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry4/part0 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry4_part0_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry4_part0_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry4/part1 must be nonnegative. - x = dynamic_params.mul_mod_carry4_part1_suboffset.into(); + x = dynamic_params.mul_mod_carry4_part1_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry4/part1 is too big. - x = trace_length - dynamic_params.mul_mod_carry4_part1_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry4_part1_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry4/part1 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry4_part1_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry4_part1_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry4/part2 must be nonnegative. - x = dynamic_params.mul_mod_carry4_part2_suboffset.into(); + x = dynamic_params.mul_mod_carry4_part2_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry4/part2 is too big. - x = trace_length - dynamic_params.mul_mod_carry4_part2_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry4_part2_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry4/part2 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry4_part2_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry4_part2_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry4/part3 must be nonnegative. - x = dynamic_params.mul_mod_carry4_part3_suboffset.into(); + x = dynamic_params.mul_mod_carry4_part3_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry4/part3 is too big. - x = trace_length - dynamic_params.mul_mod_carry4_part3_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry4_part3_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry4/part3 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry4_part3_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry4_part3_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry4/part4 must be nonnegative. - x = dynamic_params.mul_mod_carry4_part4_suboffset.into(); + x = dynamic_params.mul_mod_carry4_part4_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry4/part4 is too big. - x = trace_length - dynamic_params.mul_mod_carry4_part4_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry4_part4_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry4/part4 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry4_part4_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry4_part4_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry4/part5 must be nonnegative. - x = dynamic_params.mul_mod_carry4_part5_suboffset.into(); + x = dynamic_params.mul_mod_carry4_part5_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry4/part5 is too big. - x = trace_length - dynamic_params.mul_mod_carry4_part5_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry4_part5_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry4/part5 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry4_part5_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry4_part5_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry4/part6 must be nonnegative. - x = dynamic_params.mul_mod_carry4_part6_suboffset.into(); + x = dynamic_params.mul_mod_carry4_part6_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry4/part6 is too big. - x = trace_length - dynamic_params.mul_mod_carry4_part6_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry4_part6_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry4/part6 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry4_part6_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry4_part6_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry5/part0 must be nonnegative. - x = dynamic_params.mul_mod_carry5_part0_suboffset.into(); + x = dynamic_params.mul_mod_carry5_part0_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry5/part0 is too big. - x = trace_length - dynamic_params.mul_mod_carry5_part0_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry5_part0_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry5/part0 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry5_part0_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry5_part0_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry5/part1 must be nonnegative. - x = dynamic_params.mul_mod_carry5_part1_suboffset.into(); + x = dynamic_params.mul_mod_carry5_part1_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry5/part1 is too big. - x = trace_length - dynamic_params.mul_mod_carry5_part1_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry5_part1_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry5/part1 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry5_part1_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry5_part1_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry5/part2 must be nonnegative. - x = dynamic_params.mul_mod_carry5_part2_suboffset.into(); + x = dynamic_params.mul_mod_carry5_part2_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry5/part2 is too big. - x = trace_length - dynamic_params.mul_mod_carry5_part2_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry5_part2_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry5/part2 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry5_part2_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry5_part2_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry5/part3 must be nonnegative. - x = dynamic_params.mul_mod_carry5_part3_suboffset.into(); + x = dynamic_params.mul_mod_carry5_part3_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry5/part3 is too big. - x = trace_length - dynamic_params.mul_mod_carry5_part3_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry5_part3_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry5/part3 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry5_part3_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry5_part3_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry5/part4 must be nonnegative. - x = dynamic_params.mul_mod_carry5_part4_suboffset.into(); + x = dynamic_params.mul_mod_carry5_part4_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry5/part4 is too big. - x = trace_length - dynamic_params.mul_mod_carry5_part4_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry5_part4_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry5/part4 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry5_part4_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry5_part4_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry5/part5 must be nonnegative. - x = dynamic_params.mul_mod_carry5_part5_suboffset.into(); + x = dynamic_params.mul_mod_carry5_part5_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry5/part5 is too big. - x = trace_length - dynamic_params.mul_mod_carry5_part5_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry5_part5_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry5/part5 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry5_part5_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry5_part5_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry5/part6 must be nonnegative. - x = dynamic_params.mul_mod_carry5_part6_suboffset.into(); + x = dynamic_params.mul_mod_carry5_part6_suboffset.into(); assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry5/part6 is too big. - x = trace_length - dynamic_params.mul_mod_carry5_part6_suboffset.into() - 1; + x = trace_length - dynamic_params.mul_mod_carry5_part6_suboffset.into() - 1; assert_range_u128_from_u256(x); - + // Offset of mul_mod/carry5/part6 is too big. - x = dynamic_params.mul_mod_row_ratio.into() - - dynamic_params.mul_mod_carry5_part6_suboffset.into() * - dynamic_params.range_check_units_row_ratio.into() - - 1; + x = dynamic_params.mul_mod_row_ratio.into() + - dynamic_params.mul_mod_carry5_part6_suboffset.into() + * dynamic_params.range_check_units_row_ratio.into() + - 1; assert_range_u128_from_u256(x); } } diff --git a/src/air/layouts/dynamic/public_input.cairo b/src/air/layouts/dynamic/public_input.cairo index 71e239eff..94af1ce45 100644 --- a/src/air/layouts/dynamic/public_input.cairo +++ b/src/air/layouts/dynamic/public_input.cairo @@ -131,7 +131,9 @@ impl DynamicPublicInputImpl of PublicInputTrait { let n_steps = pow(2, *self.log_n_steps); let trace_length = *stark_domains.trace_domain_size; assert( - n_steps * CPU_COMPONENT_HEIGHT * dynamic_params.cpu_component_step.into() == trace_length, + n_steps + * CPU_COMPONENT_HEIGHT + * dynamic_params.cpu_component_step.into() == trace_length, 'Wrong trace size' ); diff --git a/src/common/asserts.cairo b/src/common/asserts.cairo index 4ace9449d..2d15e52cb 100644 --- a/src/common/asserts.cairo +++ b/src/common/asserts.cairo @@ -22,5 +22,5 @@ fn assert_range_u128_le(x: felt252, max: felt252) { } fn assert_is_power_of_2(x: u256) { - assert(U256BitAnd::bitand(x, x-1) == 0, 'Value is not pow of 2'); -} \ No newline at end of file + assert(U256BitAnd::bitand(x, x - 1) == 0, 'Value is not pow of 2'); +}