|
| using | CreateCheckpointHint = CheckpointActionNoStateChangeHint |
| |
| using | CommitCheckpointHint = CheckpointActionNoStateChangeHint |
| |
| using | AztecAddress = FF |
| |
| using | BytecodeId = FF |
| |
| using | ContractClassId = FF |
| |
| using | PC = uint32_t |
| |
| using | AffinePoint = grumpkin::g1::affine_element |
| |
| using | EthAddress = FF |
| |
| using | InternalCallId = uint32_t |
| |
| using | FF = AvmFlavorSettings::FF |
| |
| using | Fq = AvmFlavorSettings::G1::Fq |
| |
| using | EmbeddedCurvePoint = StandardAffinePoint< AvmFlavorSettings::EmbeddedCurve::AffineElement > |
| |
| using | RegisterInfo = ExecInstructionSpec::RegisterInfo |
| |
| template<class Key , class T > |
| using | unordered_flat_map = ::ankerl::unordered_dense::map< Key, T > |
| |
| using | MemoryTag = ValueTag |
| |
| using | MemoryValue = TaggedValue |
| |
| using | MemoryAddress = uint32_t |
| |
| template<class Key > |
| using | unordered_flat_set = ::ankerl::unordered_dense::set< Key > |
| |
| template<typename... input_t> |
| using | tuple_cat_t = decltype(flat_tuple::tuple_cat(std::declval< input_t >()...)) |
| |
| using | Flavor = AvmFlavor |
| |
| using | lookup_address_derivation_salted_initialization_hash_poseidon2_0_settings = lookup_settings< lookup_address_derivation_salted_initialization_hash_poseidon2_0_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_address_derivation_salted_initialization_hash_poseidon2_0_relation = lookup_relation_base< FF_, lookup_address_derivation_salted_initialization_hash_poseidon2_0_settings > |
| |
| using | lookup_address_derivation_salted_initialization_hash_poseidon2_1_settings = lookup_settings< lookup_address_derivation_salted_initialization_hash_poseidon2_1_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_address_derivation_salted_initialization_hash_poseidon2_1_relation = lookup_relation_base< FF_, lookup_address_derivation_salted_initialization_hash_poseidon2_1_settings > |
| |
| using | lookup_address_derivation_partial_address_poseidon2_settings = lookup_settings< lookup_address_derivation_partial_address_poseidon2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_address_derivation_partial_address_poseidon2_relation = lookup_relation_base< FF_, lookup_address_derivation_partial_address_poseidon2_settings > |
| |
| using | lookup_address_derivation_public_keys_hash_poseidon2_0_settings = lookup_settings< lookup_address_derivation_public_keys_hash_poseidon2_0_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_address_derivation_public_keys_hash_poseidon2_0_relation = lookup_relation_base< FF_, lookup_address_derivation_public_keys_hash_poseidon2_0_settings > |
| |
| using | lookup_address_derivation_public_keys_hash_poseidon2_1_settings = lookup_settings< lookup_address_derivation_public_keys_hash_poseidon2_1_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_address_derivation_public_keys_hash_poseidon2_1_relation = lookup_relation_base< FF_, lookup_address_derivation_public_keys_hash_poseidon2_1_settings > |
| |
| using | lookup_address_derivation_public_keys_hash_poseidon2_2_settings = lookup_settings< lookup_address_derivation_public_keys_hash_poseidon2_2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_address_derivation_public_keys_hash_poseidon2_2_relation = lookup_relation_base< FF_, lookup_address_derivation_public_keys_hash_poseidon2_2_settings > |
| |
| using | lookup_address_derivation_public_keys_hash_poseidon2_3_settings = lookup_settings< lookup_address_derivation_public_keys_hash_poseidon2_3_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_address_derivation_public_keys_hash_poseidon2_3_relation = lookup_relation_base< FF_, lookup_address_derivation_public_keys_hash_poseidon2_3_settings > |
| |
| using | lookup_address_derivation_public_keys_hash_poseidon2_4_settings = lookup_settings< lookup_address_derivation_public_keys_hash_poseidon2_4_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_address_derivation_public_keys_hash_poseidon2_4_relation = lookup_relation_base< FF_, lookup_address_derivation_public_keys_hash_poseidon2_4_settings > |
| |
| using | lookup_address_derivation_preaddress_poseidon2_settings = lookup_settings< lookup_address_derivation_preaddress_poseidon2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_address_derivation_preaddress_poseidon2_relation = lookup_relation_base< FF_, lookup_address_derivation_preaddress_poseidon2_settings > |
| |
| using | lookup_address_derivation_preaddress_scalar_mul_settings = lookup_settings< lookup_address_derivation_preaddress_scalar_mul_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_address_derivation_preaddress_scalar_mul_relation = lookup_relation_base< FF_, lookup_address_derivation_preaddress_scalar_mul_settings > |
| |
| using | lookup_address_derivation_address_ecadd_settings = lookup_settings< lookup_address_derivation_address_ecadd_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_address_derivation_address_ecadd_relation = lookup_relation_base< FF_, lookup_address_derivation_address_ecadd_settings > |
| |
| using | lookup_addressing_relative_overflow_result_0_settings = lookup_settings< lookup_addressing_relative_overflow_result_0_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_addressing_relative_overflow_result_0_relation = lookup_relation_base< FF_, lookup_addressing_relative_overflow_result_0_settings > |
| |
| using | lookup_addressing_relative_overflow_result_1_settings = lookup_settings< lookup_addressing_relative_overflow_result_1_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_addressing_relative_overflow_result_1_relation = lookup_relation_base< FF_, lookup_addressing_relative_overflow_result_1_settings > |
| |
| using | lookup_addressing_relative_overflow_result_2_settings = lookup_settings< lookup_addressing_relative_overflow_result_2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_addressing_relative_overflow_result_2_relation = lookup_relation_base< FF_, lookup_addressing_relative_overflow_result_2_settings > |
| |
| using | lookup_addressing_relative_overflow_result_3_settings = lookup_settings< lookup_addressing_relative_overflow_result_3_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_addressing_relative_overflow_result_3_relation = lookup_relation_base< FF_, lookup_addressing_relative_overflow_result_3_settings > |
| |
| using | lookup_addressing_relative_overflow_result_4_settings = lookup_settings< lookup_addressing_relative_overflow_result_4_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_addressing_relative_overflow_result_4_relation = lookup_relation_base< FF_, lookup_addressing_relative_overflow_result_4_settings > |
| |
| using | lookup_addressing_relative_overflow_result_5_settings = lookup_settings< lookup_addressing_relative_overflow_result_5_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_addressing_relative_overflow_result_5_relation = lookup_relation_base< FF_, lookup_addressing_relative_overflow_result_5_settings > |
| |
| using | lookup_addressing_relative_overflow_result_6_settings = lookup_settings< lookup_addressing_relative_overflow_result_6_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_addressing_relative_overflow_result_6_relation = lookup_relation_base< FF_, lookup_addressing_relative_overflow_result_6_settings > |
| |
| using | lookup_alu_tag_max_bits_value_settings = lookup_settings< lookup_alu_tag_max_bits_value_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_alu_tag_max_bits_value_relation = lookup_relation_base< FF_, lookup_alu_tag_max_bits_value_settings > |
| |
| using | lookup_alu_range_check_decomposition_a_lo_settings = lookup_settings< lookup_alu_range_check_decomposition_a_lo_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_alu_range_check_decomposition_a_lo_relation = lookup_relation_base< FF_, lookup_alu_range_check_decomposition_a_lo_settings > |
| |
| using | lookup_alu_range_check_decomposition_a_hi_settings = lookup_settings< lookup_alu_range_check_decomposition_a_hi_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_alu_range_check_decomposition_a_hi_relation = lookup_relation_base< FF_, lookup_alu_range_check_decomposition_a_hi_settings > |
| |
| using | lookup_alu_range_check_decomposition_b_lo_settings = lookup_settings< lookup_alu_range_check_decomposition_b_lo_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_alu_range_check_decomposition_b_lo_relation = lookup_relation_base< FF_, lookup_alu_range_check_decomposition_b_lo_settings > |
| |
| using | lookup_alu_range_check_decomposition_b_hi_settings = lookup_settings< lookup_alu_range_check_decomposition_b_hi_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_alu_range_check_decomposition_b_hi_relation = lookup_relation_base< FF_, lookup_alu_range_check_decomposition_b_hi_settings > |
| |
| using | lookup_alu_range_check_mul_u128_c_hi_settings = lookup_settings< lookup_alu_range_check_mul_u128_c_hi_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_alu_range_check_mul_u128_c_hi_relation = lookup_relation_base< FF_, lookup_alu_range_check_mul_u128_c_hi_settings > |
| |
| using | lookup_alu_gt_div_remainder_settings = lookup_settings< lookup_alu_gt_div_remainder_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_alu_gt_div_remainder_relation = lookup_relation_base< FF_, lookup_alu_gt_div_remainder_settings > |
| |
| using | lookup_alu_ff_gt_settings = lookup_settings< lookup_alu_ff_gt_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_alu_ff_gt_relation = lookup_relation_base< FF_, lookup_alu_ff_gt_settings > |
| |
| using | lookup_alu_int_gt_settings = lookup_settings< lookup_alu_int_gt_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_alu_int_gt_relation = lookup_relation_base< FF_, lookup_alu_int_gt_settings > |
| |
| using | lookup_alu_shifts_two_pow_settings = lookup_settings< lookup_alu_shifts_two_pow_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_alu_shifts_two_pow_relation = lookup_relation_base< FF_, lookup_alu_shifts_two_pow_settings > |
| |
| using | lookup_alu_large_trunc_canonical_dec_settings = lookup_settings< lookup_alu_large_trunc_canonical_dec_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_alu_large_trunc_canonical_dec_relation = lookup_relation_base< FF_, lookup_alu_large_trunc_canonical_dec_settings > |
| |
| using | lookup_alu_range_check_trunc_mid_settings = lookup_settings< lookup_alu_range_check_trunc_mid_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_alu_range_check_trunc_mid_relation = lookup_relation_base< FF_, lookup_alu_range_check_trunc_mid_settings > |
| |
| using | lookup_bc_decomposition_bytes_are_bytes_settings = lookup_settings< lookup_bc_decomposition_bytes_are_bytes_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_bc_decomposition_bytes_are_bytes_relation = lookup_relation_base< FF_, lookup_bc_decomposition_bytes_are_bytes_settings > |
| |
| using | lookup_bc_hashing_check_final_bytes_remaining_settings = lookup_settings< lookup_bc_hashing_check_final_bytes_remaining_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_bc_hashing_check_final_bytes_remaining_relation = lookup_relation_base< FF_, lookup_bc_hashing_check_final_bytes_remaining_settings > |
| |
| using | lookup_bc_hashing_poseidon2_hash_settings = lookup_settings< lookup_bc_hashing_poseidon2_hash_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_bc_hashing_poseidon2_hash_relation = lookup_relation_base< FF_, lookup_bc_hashing_poseidon2_hash_settings > |
| |
| using | lookup_bc_retrieval_contract_instance_retrieval_settings = lookup_settings< lookup_bc_retrieval_contract_instance_retrieval_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_bc_retrieval_contract_instance_retrieval_relation = lookup_relation_base< FF_, lookup_bc_retrieval_contract_instance_retrieval_settings > |
| |
| using | lookup_bc_retrieval_is_new_class_check_settings = lookup_settings< lookup_bc_retrieval_is_new_class_check_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_bc_retrieval_is_new_class_check_relation = lookup_relation_base< FF_, lookup_bc_retrieval_is_new_class_check_settings > |
| |
| using | lookup_bc_retrieval_class_id_derivation_settings = lookup_settings< lookup_bc_retrieval_class_id_derivation_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_bc_retrieval_class_id_derivation_relation = lookup_relation_base< FF_, lookup_bc_retrieval_class_id_derivation_settings > |
| |
| using | lookup_bc_retrieval_retrieved_bytecodes_insertion_settings = lookup_settings< lookup_bc_retrieval_retrieved_bytecodes_insertion_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_bc_retrieval_retrieved_bytecodes_insertion_relation = lookup_relation_base< FF_, lookup_bc_retrieval_retrieved_bytecodes_insertion_settings > |
| |
| using | lookup_bitwise_integral_tag_length_settings = lookup_settings< lookup_bitwise_integral_tag_length_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_bitwise_integral_tag_length_relation = lookup_relation_base< FF_, lookup_bitwise_integral_tag_length_settings > |
| |
| using | lookup_bitwise_byte_operations_settings = lookup_settings< lookup_bitwise_byte_operations_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_bitwise_byte_operations_relation = lookup_relation_base< FF_, lookup_bitwise_byte_operations_settings > |
| |
| using | lookup_calldata_range_check_context_id_diff_settings = lookup_settings< lookup_calldata_range_check_context_id_diff_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_calldata_range_check_context_id_diff_relation = lookup_relation_base< FF_, lookup_calldata_range_check_context_id_diff_settings > |
| |
| using | lookup_calldata_hashing_get_calldata_field_0_settings = lookup_settings< lookup_calldata_hashing_get_calldata_field_0_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_calldata_hashing_get_calldata_field_0_relation = lookup_relation_base< FF_, lookup_calldata_hashing_get_calldata_field_0_settings > |
| |
| using | lookup_calldata_hashing_get_calldata_field_1_settings = lookup_settings< lookup_calldata_hashing_get_calldata_field_1_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_calldata_hashing_get_calldata_field_1_relation = lookup_relation_base< FF_, lookup_calldata_hashing_get_calldata_field_1_settings > |
| |
| using | lookup_calldata_hashing_get_calldata_field_2_settings = lookup_settings< lookup_calldata_hashing_get_calldata_field_2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_calldata_hashing_get_calldata_field_2_relation = lookup_relation_base< FF_, lookup_calldata_hashing_get_calldata_field_2_settings > |
| |
| using | lookup_calldata_hashing_check_final_size_settings = lookup_settings< lookup_calldata_hashing_check_final_size_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_calldata_hashing_check_final_size_relation = lookup_relation_base< FF_, lookup_calldata_hashing_check_final_size_settings > |
| |
| using | lookup_calldata_hashing_poseidon2_hash_settings = lookup_settings< lookup_calldata_hashing_poseidon2_hash_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_calldata_hashing_poseidon2_hash_relation = lookup_relation_base< FF_, lookup_calldata_hashing_poseidon2_hash_settings > |
| |
| using | lookup_class_id_derivation_class_id_poseidon2_0_settings = lookup_settings< lookup_class_id_derivation_class_id_poseidon2_0_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_class_id_derivation_class_id_poseidon2_0_relation = lookup_relation_base< FF_, lookup_class_id_derivation_class_id_poseidon2_0_settings > |
| |
| using | lookup_class_id_derivation_class_id_poseidon2_1_settings = lookup_settings< lookup_class_id_derivation_class_id_poseidon2_1_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_class_id_derivation_class_id_poseidon2_1_relation = lookup_relation_base< FF_, lookup_class_id_derivation_class_id_poseidon2_1_settings > |
| |
| using | lookup_context_ctx_stack_call_settings = lookup_settings< lookup_context_ctx_stack_call_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_context_ctx_stack_call_relation = lookup_relation_base< FF_, lookup_context_ctx_stack_call_settings > |
| |
| using | lookup_context_ctx_stack_rollback_settings = lookup_settings< lookup_context_ctx_stack_rollback_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_context_ctx_stack_rollback_relation = lookup_relation_base< FF_, lookup_context_ctx_stack_rollback_settings > |
| |
| using | lookup_context_ctx_stack_return_settings = lookup_settings< lookup_context_ctx_stack_return_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_context_ctx_stack_return_relation = lookup_relation_base< FF_, lookup_context_ctx_stack_return_settings > |
| |
| using | lookup_contract_instance_retrieval_check_protocol_address_range_settings = lookup_settings< lookup_contract_instance_retrieval_check_protocol_address_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_contract_instance_retrieval_check_protocol_address_range_relation = lookup_relation_base< FF_, lookup_contract_instance_retrieval_check_protocol_address_range_settings > |
| |
| using | lookup_contract_instance_retrieval_read_derived_address_from_public_inputs_settings = lookup_settings< lookup_contract_instance_retrieval_read_derived_address_from_public_inputs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_contract_instance_retrieval_read_derived_address_from_public_inputs_relation = lookup_relation_base< FF_, lookup_contract_instance_retrieval_read_derived_address_from_public_inputs_settings > |
| |
| using | lookup_contract_instance_retrieval_deployment_nullifier_read_settings = lookup_settings< lookup_contract_instance_retrieval_deployment_nullifier_read_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_contract_instance_retrieval_deployment_nullifier_read_relation = lookup_relation_base< FF_, lookup_contract_instance_retrieval_deployment_nullifier_read_settings > |
| |
| using | lookup_contract_instance_retrieval_address_derivation_settings = lookup_settings< lookup_contract_instance_retrieval_address_derivation_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_contract_instance_retrieval_address_derivation_relation = lookup_relation_base< FF_, lookup_contract_instance_retrieval_address_derivation_settings > |
| |
| using | lookup_contract_instance_retrieval_update_check_settings = lookup_settings< lookup_contract_instance_retrieval_update_check_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_contract_instance_retrieval_update_check_relation = lookup_relation_base< FF_, lookup_contract_instance_retrieval_update_check_settings > |
| |
| using | lookup_data_copy_max_read_index_gt_settings = lookup_settings< lookup_data_copy_max_read_index_gt_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_data_copy_max_read_index_gt_relation = lookup_relation_base< FF_, lookup_data_copy_max_read_index_gt_settings > |
| |
| using | lookup_data_copy_check_src_addr_in_range_settings = lookup_settings< lookup_data_copy_check_src_addr_in_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_data_copy_check_src_addr_in_range_relation = lookup_relation_base< FF_, lookup_data_copy_check_src_addr_in_range_settings > |
| |
| using | lookup_data_copy_check_dst_addr_in_range_settings = lookup_settings< lookup_data_copy_check_dst_addr_in_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_data_copy_check_dst_addr_in_range_relation = lookup_relation_base< FF_, lookup_data_copy_check_dst_addr_in_range_settings > |
| |
| using | lookup_data_copy_offset_gt_max_read_index_settings = lookup_settings< lookup_data_copy_offset_gt_max_read_index_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_data_copy_offset_gt_max_read_index_relation = lookup_relation_base< FF_, lookup_data_copy_offset_gt_max_read_index_settings > |
| |
| using | lookup_data_copy_col_read_settings = lookup_settings< lookup_data_copy_col_read_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_data_copy_col_read_relation = lookup_relation_base< FF_, lookup_data_copy_col_read_settings > |
| |
| using | lookup_ecc_mem_check_dst_addr_in_range_settings = lookup_settings< lookup_ecc_mem_check_dst_addr_in_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_ecc_mem_check_dst_addr_in_range_relation = lookup_relation_base< FF_, lookup_ecc_mem_check_dst_addr_in_range_settings > |
| |
| using | lookup_ecc_mem_input_output_ecc_add_settings = lookup_settings< lookup_ecc_mem_input_output_ecc_add_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_ecc_mem_input_output_ecc_add_relation = lookup_relation_base< FF_, lookup_ecc_mem_input_output_ecc_add_settings > |
| |
| using | lookup_emit_notehash_notehash_tree_write_settings = lookup_settings< lookup_emit_notehash_notehash_tree_write_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_emit_notehash_notehash_tree_write_relation = lookup_relation_base< FF_, lookup_emit_notehash_notehash_tree_write_settings > |
| |
| using | lookup_emit_nullifier_write_nullifier_settings = lookup_settings< lookup_emit_nullifier_write_nullifier_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_emit_nullifier_write_nullifier_relation = lookup_relation_base< FF_, lookup_emit_nullifier_write_nullifier_settings > |
| |
| using | lookup_emit_unencrypted_log_check_memory_out_of_bounds_settings = lookup_settings< lookup_emit_unencrypted_log_check_memory_out_of_bounds_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_emit_unencrypted_log_check_memory_out_of_bounds_relation = lookup_relation_base< FF_, lookup_emit_unencrypted_log_check_memory_out_of_bounds_settings > |
| |
| using | lookup_emit_unencrypted_log_check_log_fields_count_settings = lookup_settings< lookup_emit_unencrypted_log_check_log_fields_count_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_emit_unencrypted_log_check_log_fields_count_relation = lookup_relation_base< FF_, lookup_emit_unencrypted_log_check_log_fields_count_settings > |
| |
| using | lookup_emit_unencrypted_log_write_data_to_public_inputs_settings = lookup_settings< lookup_emit_unencrypted_log_write_data_to_public_inputs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_emit_unencrypted_log_write_data_to_public_inputs_relation = lookup_relation_base< FF_, lookup_emit_unencrypted_log_write_data_to_public_inputs_settings > |
| |
| using | lookup_execution_bytecode_retrieval_result_settings = lookup_settings< lookup_execution_bytecode_retrieval_result_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_execution_bytecode_retrieval_result_relation = lookup_relation_base< FF_, lookup_execution_bytecode_retrieval_result_settings > |
| |
| using | lookup_execution_instruction_fetching_result_settings = lookup_settings< lookup_execution_instruction_fetching_result_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_execution_instruction_fetching_result_relation = lookup_relation_base< FF_, lookup_execution_instruction_fetching_result_settings > |
| |
| using | lookup_execution_instruction_fetching_body_settings = lookup_settings< lookup_execution_instruction_fetching_body_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_execution_instruction_fetching_body_relation = lookup_relation_base< FF_, lookup_execution_instruction_fetching_body_settings > |
| |
| using | lookup_execution_exec_spec_read_settings = lookup_settings< lookup_execution_exec_spec_read_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_execution_exec_spec_read_relation = lookup_relation_base< FF_, lookup_execution_exec_spec_read_settings > |
| |
| using | lookup_execution_dyn_l2_factor_bitwise_settings = lookup_settings< lookup_execution_dyn_l2_factor_bitwise_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_execution_dyn_l2_factor_bitwise_relation = lookup_relation_base< FF_, lookup_execution_dyn_l2_factor_bitwise_settings > |
| |
| using | lookup_execution_check_radix_gt_256_settings = lookup_settings< lookup_execution_check_radix_gt_256_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_execution_check_radix_gt_256_relation = lookup_relation_base< FF_, lookup_execution_check_radix_gt_256_settings > |
| |
| using | lookup_execution_get_p_limbs_settings = lookup_settings< lookup_execution_get_p_limbs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_execution_get_p_limbs_relation = lookup_relation_base< FF_, lookup_execution_get_p_limbs_settings > |
| |
| using | lookup_execution_get_max_limbs_settings = lookup_settings< lookup_execution_get_max_limbs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_execution_get_max_limbs_relation = lookup_relation_base< FF_, lookup_execution_get_max_limbs_settings > |
| |
| using | lookup_execution_check_written_storage_slot_settings = lookup_settings< lookup_execution_check_written_storage_slot_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_execution_check_written_storage_slot_relation = lookup_relation_base< FF_, lookup_execution_check_written_storage_slot_settings > |
| |
| using | lookup_execution_dispatch_to_alu_settings = lookup_settings< lookup_execution_dispatch_to_alu_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_execution_dispatch_to_alu_relation = lookup_relation_base< FF_, lookup_execution_dispatch_to_alu_settings > |
| |
| using | lookup_execution_dispatch_to_bitwise_settings = lookup_settings< lookup_execution_dispatch_to_bitwise_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_execution_dispatch_to_bitwise_relation = lookup_relation_base< FF_, lookup_execution_dispatch_to_bitwise_settings > |
| |
| using | lookup_execution_dispatch_to_cast_settings = lookup_settings< lookup_execution_dispatch_to_cast_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_execution_dispatch_to_cast_relation = lookup_relation_base< FF_, lookup_execution_dispatch_to_cast_settings > |
| |
| using | lookup_execution_dispatch_to_set_settings = lookup_settings< lookup_execution_dispatch_to_set_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_execution_dispatch_to_set_relation = lookup_relation_base< FF_, lookup_execution_dispatch_to_set_settings > |
| |
| using | lookup_execution_dispatch_to_emit_unencrypted_log_settings = lookup_settings< lookup_execution_dispatch_to_emit_unencrypted_log_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_execution_dispatch_to_emit_unencrypted_log_relation = lookup_relation_base< FF_, lookup_execution_dispatch_to_emit_unencrypted_log_settings > |
| |
| using | lookup_external_call_call_is_l2_gas_allocated_lt_left_settings = lookup_settings< lookup_external_call_call_is_l2_gas_allocated_lt_left_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_external_call_call_is_l2_gas_allocated_lt_left_relation = lookup_relation_base< FF_, lookup_external_call_call_is_l2_gas_allocated_lt_left_settings > |
| |
| using | lookup_external_call_call_is_da_gas_allocated_lt_left_settings = lookup_settings< lookup_external_call_call_is_da_gas_allocated_lt_left_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_external_call_call_is_da_gas_allocated_lt_left_relation = lookup_relation_base< FF_, lookup_external_call_call_is_da_gas_allocated_lt_left_settings > |
| |
| using | lookup_ff_gt_a_lo_range_settings = lookup_settings< lookup_ff_gt_a_lo_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_ff_gt_a_lo_range_relation = lookup_relation_base< FF_, lookup_ff_gt_a_lo_range_settings > |
| |
| using | lookup_ff_gt_a_hi_range_settings = lookup_settings< lookup_ff_gt_a_hi_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_ff_gt_a_hi_range_relation = lookup_relation_base< FF_, lookup_ff_gt_a_hi_range_settings > |
| |
| using | lookup_gas_addressing_gas_read_settings = lookup_settings< lookup_gas_addressing_gas_read_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_gas_addressing_gas_read_relation = lookup_relation_base< FF_, lookup_gas_addressing_gas_read_settings > |
| |
| using | lookup_gas_is_out_of_gas_l2_settings = lookup_settings< lookup_gas_is_out_of_gas_l2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_gas_is_out_of_gas_l2_relation = lookup_relation_base< FF_, lookup_gas_is_out_of_gas_l2_settings > |
| |
| using | lookup_gas_is_out_of_gas_da_settings = lookup_settings< lookup_gas_is_out_of_gas_da_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_gas_is_out_of_gas_da_relation = lookup_relation_base< FF_, lookup_gas_is_out_of_gas_da_settings > |
| |
| using | lookup_get_contract_instance_precomputed_info_settings = lookup_settings< lookup_get_contract_instance_precomputed_info_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_get_contract_instance_precomputed_info_relation = lookup_relation_base< FF_, lookup_get_contract_instance_precomputed_info_settings > |
| |
| using | lookup_get_contract_instance_contract_instance_retrieval_settings = lookup_settings< lookup_get_contract_instance_contract_instance_retrieval_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_get_contract_instance_contract_instance_retrieval_relation = lookup_relation_base< FF_, lookup_get_contract_instance_contract_instance_retrieval_settings > |
| |
| using | lookup_get_env_var_precomputed_info_settings = lookup_settings< lookup_get_env_var_precomputed_info_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_get_env_var_precomputed_info_relation = lookup_relation_base< FF_, lookup_get_env_var_precomputed_info_settings > |
| |
| using | lookup_get_env_var_read_from_public_inputs_col0_settings = lookup_settings< lookup_get_env_var_read_from_public_inputs_col0_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_get_env_var_read_from_public_inputs_col0_relation = lookup_relation_base< FF_, lookup_get_env_var_read_from_public_inputs_col0_settings > |
| |
| using | lookup_get_env_var_read_from_public_inputs_col1_settings = lookup_settings< lookup_get_env_var_read_from_public_inputs_col1_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_get_env_var_read_from_public_inputs_col1_relation = lookup_relation_base< FF_, lookup_get_env_var_read_from_public_inputs_col1_settings > |
| |
| using | lookup_gt_gt_range_settings = lookup_settings< lookup_gt_gt_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_gt_gt_range_relation = lookup_relation_base< FF_, lookup_gt_gt_range_settings > |
| |
| using | lookup_instr_fetching_pc_abs_diff_positive_settings = lookup_settings< lookup_instr_fetching_pc_abs_diff_positive_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_instr_fetching_pc_abs_diff_positive_relation = lookup_relation_base< FF_, lookup_instr_fetching_pc_abs_diff_positive_settings > |
| |
| using | lookup_instr_fetching_instr_abs_diff_positive_settings = lookup_settings< lookup_instr_fetching_instr_abs_diff_positive_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_instr_fetching_instr_abs_diff_positive_relation = lookup_relation_base< FF_, lookup_instr_fetching_instr_abs_diff_positive_settings > |
| |
| using | lookup_instr_fetching_tag_value_validation_settings = lookup_settings< lookup_instr_fetching_tag_value_validation_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_instr_fetching_tag_value_validation_relation = lookup_relation_base< FF_, lookup_instr_fetching_tag_value_validation_settings > |
| |
| using | lookup_instr_fetching_bytecode_size_from_bc_dec_settings = lookup_settings< lookup_instr_fetching_bytecode_size_from_bc_dec_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_instr_fetching_bytecode_size_from_bc_dec_relation = lookup_relation_base< FF_, lookup_instr_fetching_bytecode_size_from_bc_dec_settings > |
| |
| using | lookup_instr_fetching_bytes_from_bc_dec_settings = lookup_settings< lookup_instr_fetching_bytes_from_bc_dec_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_instr_fetching_bytes_from_bc_dec_relation = lookup_relation_base< FF_, lookup_instr_fetching_bytes_from_bc_dec_settings > |
| |
| using | lookup_instr_fetching_wire_instruction_info_settings = lookup_settings< lookup_instr_fetching_wire_instruction_info_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_instr_fetching_wire_instruction_info_relation = lookup_relation_base< FF_, lookup_instr_fetching_wire_instruction_info_settings > |
| |
| using | lookup_internal_call_push_call_stack_settings = lookup_settings< lookup_internal_call_push_call_stack_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_internal_call_push_call_stack_relation = lookup_relation_base< FF_, lookup_internal_call_push_call_stack_settings > |
| |
| using | lookup_internal_call_unwind_call_stack_settings = lookup_settings< lookup_internal_call_unwind_call_stack_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_internal_call_unwind_call_stack_relation = lookup_relation_base< FF_, lookup_internal_call_unwind_call_stack_settings > |
| |
| using | lookup_keccakf1600_theta_xor_01_settings = lookup_settings< lookup_keccakf1600_theta_xor_01_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_xor_01_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_01_settings > |
| |
| using | lookup_keccakf1600_theta_xor_02_settings = lookup_settings< lookup_keccakf1600_theta_xor_02_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_xor_02_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_02_settings > |
| |
| using | lookup_keccakf1600_theta_xor_03_settings = lookup_settings< lookup_keccakf1600_theta_xor_03_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_xor_03_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_03_settings > |
| |
| using | lookup_keccakf1600_theta_xor_row_0_settings = lookup_settings< lookup_keccakf1600_theta_xor_row_0_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_xor_row_0_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_row_0_settings > |
| |
| using | lookup_keccakf1600_theta_xor_11_settings = lookup_settings< lookup_keccakf1600_theta_xor_11_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_xor_11_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_11_settings > |
| |
| using | lookup_keccakf1600_theta_xor_12_settings = lookup_settings< lookup_keccakf1600_theta_xor_12_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_xor_12_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_12_settings > |
| |
| using | lookup_keccakf1600_theta_xor_13_settings = lookup_settings< lookup_keccakf1600_theta_xor_13_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_xor_13_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_13_settings > |
| |
| using | lookup_keccakf1600_theta_xor_row_1_settings = lookup_settings< lookup_keccakf1600_theta_xor_row_1_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_xor_row_1_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_row_1_settings > |
| |
| using | lookup_keccakf1600_theta_xor_21_settings = lookup_settings< lookup_keccakf1600_theta_xor_21_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_xor_21_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_21_settings > |
| |
| using | lookup_keccakf1600_theta_xor_22_settings = lookup_settings< lookup_keccakf1600_theta_xor_22_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_xor_22_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_22_settings > |
| |
| using | lookup_keccakf1600_theta_xor_23_settings = lookup_settings< lookup_keccakf1600_theta_xor_23_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_xor_23_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_23_settings > |
| |
| using | lookup_keccakf1600_theta_xor_row_2_settings = lookup_settings< lookup_keccakf1600_theta_xor_row_2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_xor_row_2_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_row_2_settings > |
| |
| using | lookup_keccakf1600_theta_xor_31_settings = lookup_settings< lookup_keccakf1600_theta_xor_31_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_xor_31_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_31_settings > |
| |
| using | lookup_keccakf1600_theta_xor_32_settings = lookup_settings< lookup_keccakf1600_theta_xor_32_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_xor_32_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_32_settings > |
| |
| using | lookup_keccakf1600_theta_xor_33_settings = lookup_settings< lookup_keccakf1600_theta_xor_33_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_xor_33_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_33_settings > |
| |
| using | lookup_keccakf1600_theta_xor_row_3_settings = lookup_settings< lookup_keccakf1600_theta_xor_row_3_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_xor_row_3_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_row_3_settings > |
| |
| using | lookup_keccakf1600_theta_xor_41_settings = lookup_settings< lookup_keccakf1600_theta_xor_41_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_xor_41_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_41_settings > |
| |
| using | lookup_keccakf1600_theta_xor_42_settings = lookup_settings< lookup_keccakf1600_theta_xor_42_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_xor_42_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_42_settings > |
| |
| using | lookup_keccakf1600_theta_xor_43_settings = lookup_settings< lookup_keccakf1600_theta_xor_43_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_xor_43_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_43_settings > |
| |
| using | lookup_keccakf1600_theta_xor_row_4_settings = lookup_settings< lookup_keccakf1600_theta_xor_row_4_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_xor_row_4_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_xor_row_4_settings > |
| |
| using | lookup_keccakf1600_theta_combined_xor_0_settings = lookup_settings< lookup_keccakf1600_theta_combined_xor_0_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_combined_xor_0_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_combined_xor_0_settings > |
| |
| using | lookup_keccakf1600_theta_combined_xor_1_settings = lookup_settings< lookup_keccakf1600_theta_combined_xor_1_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_combined_xor_1_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_combined_xor_1_settings > |
| |
| using | lookup_keccakf1600_theta_combined_xor_2_settings = lookup_settings< lookup_keccakf1600_theta_combined_xor_2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_combined_xor_2_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_combined_xor_2_settings > |
| |
| using | lookup_keccakf1600_theta_combined_xor_3_settings = lookup_settings< lookup_keccakf1600_theta_combined_xor_3_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_combined_xor_3_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_combined_xor_3_settings > |
| |
| using | lookup_keccakf1600_theta_combined_xor_4_settings = lookup_settings< lookup_keccakf1600_theta_combined_xor_4_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_combined_xor_4_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_combined_xor_4_settings > |
| |
| using | lookup_keccakf1600_state_theta_00_settings = lookup_settings< lookup_keccakf1600_state_theta_00_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_00_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_00_settings > |
| |
| using | lookup_keccakf1600_state_theta_01_settings = lookup_settings< lookup_keccakf1600_state_theta_01_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_01_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_01_settings > |
| |
| using | lookup_keccakf1600_state_theta_02_settings = lookup_settings< lookup_keccakf1600_state_theta_02_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_02_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_02_settings > |
| |
| using | lookup_keccakf1600_state_theta_03_settings = lookup_settings< lookup_keccakf1600_state_theta_03_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_03_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_03_settings > |
| |
| using | lookup_keccakf1600_state_theta_04_settings = lookup_settings< lookup_keccakf1600_state_theta_04_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_04_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_04_settings > |
| |
| using | lookup_keccakf1600_state_theta_10_settings = lookup_settings< lookup_keccakf1600_state_theta_10_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_10_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_10_settings > |
| |
| using | lookup_keccakf1600_state_theta_11_settings = lookup_settings< lookup_keccakf1600_state_theta_11_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_11_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_11_settings > |
| |
| using | lookup_keccakf1600_state_theta_12_settings = lookup_settings< lookup_keccakf1600_state_theta_12_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_12_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_12_settings > |
| |
| using | lookup_keccakf1600_state_theta_13_settings = lookup_settings< lookup_keccakf1600_state_theta_13_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_13_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_13_settings > |
| |
| using | lookup_keccakf1600_state_theta_14_settings = lookup_settings< lookup_keccakf1600_state_theta_14_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_14_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_14_settings > |
| |
| using | lookup_keccakf1600_state_theta_20_settings = lookup_settings< lookup_keccakf1600_state_theta_20_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_20_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_20_settings > |
| |
| using | lookup_keccakf1600_state_theta_21_settings = lookup_settings< lookup_keccakf1600_state_theta_21_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_21_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_21_settings > |
| |
| using | lookup_keccakf1600_state_theta_22_settings = lookup_settings< lookup_keccakf1600_state_theta_22_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_22_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_22_settings > |
| |
| using | lookup_keccakf1600_state_theta_23_settings = lookup_settings< lookup_keccakf1600_state_theta_23_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_23_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_23_settings > |
| |
| using | lookup_keccakf1600_state_theta_24_settings = lookup_settings< lookup_keccakf1600_state_theta_24_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_24_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_24_settings > |
| |
| using | lookup_keccakf1600_state_theta_30_settings = lookup_settings< lookup_keccakf1600_state_theta_30_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_30_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_30_settings > |
| |
| using | lookup_keccakf1600_state_theta_31_settings = lookup_settings< lookup_keccakf1600_state_theta_31_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_31_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_31_settings > |
| |
| using | lookup_keccakf1600_state_theta_32_settings = lookup_settings< lookup_keccakf1600_state_theta_32_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_32_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_32_settings > |
| |
| using | lookup_keccakf1600_state_theta_33_settings = lookup_settings< lookup_keccakf1600_state_theta_33_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_33_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_33_settings > |
| |
| using | lookup_keccakf1600_state_theta_34_settings = lookup_settings< lookup_keccakf1600_state_theta_34_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_34_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_34_settings > |
| |
| using | lookup_keccakf1600_state_theta_40_settings = lookup_settings< lookup_keccakf1600_state_theta_40_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_40_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_40_settings > |
| |
| using | lookup_keccakf1600_state_theta_41_settings = lookup_settings< lookup_keccakf1600_state_theta_41_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_41_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_41_settings > |
| |
| using | lookup_keccakf1600_state_theta_42_settings = lookup_settings< lookup_keccakf1600_state_theta_42_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_42_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_42_settings > |
| |
| using | lookup_keccakf1600_state_theta_43_settings = lookup_settings< lookup_keccakf1600_state_theta_43_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_43_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_43_settings > |
| |
| using | lookup_keccakf1600_state_theta_44_settings = lookup_settings< lookup_keccakf1600_state_theta_44_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_theta_44_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_theta_44_settings > |
| |
| using | lookup_keccakf1600_theta_limb_02_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_02_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_limb_02_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_02_range_settings > |
| |
| using | lookup_keccakf1600_theta_limb_04_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_04_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_limb_04_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_04_range_settings > |
| |
| using | lookup_keccakf1600_theta_limb_10_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_10_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_limb_10_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_10_range_settings > |
| |
| using | lookup_keccakf1600_theta_limb_12_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_12_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_limb_12_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_12_range_settings > |
| |
| using | lookup_keccakf1600_theta_limb_14_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_14_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_limb_14_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_14_range_settings > |
| |
| using | lookup_keccakf1600_theta_limb_21_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_21_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_limb_21_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_21_range_settings > |
| |
| using | lookup_keccakf1600_theta_limb_23_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_23_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_limb_23_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_23_range_settings > |
| |
| using | lookup_keccakf1600_theta_limb_30_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_30_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_limb_30_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_30_range_settings > |
| |
| using | lookup_keccakf1600_theta_limb_32_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_32_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_limb_32_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_32_range_settings > |
| |
| using | lookup_keccakf1600_theta_limb_33_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_33_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_limb_33_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_33_range_settings > |
| |
| using | lookup_keccakf1600_theta_limb_40_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_40_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_limb_40_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_40_range_settings > |
| |
| using | lookup_keccakf1600_theta_limb_41_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_41_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_limb_41_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_41_range_settings > |
| |
| using | lookup_keccakf1600_theta_limb_43_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_43_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_limb_43_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_43_range_settings > |
| |
| using | lookup_keccakf1600_theta_limb_44_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_44_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_limb_44_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_44_range_settings > |
| |
| using | lookup_keccakf1600_theta_limb_01_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_01_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_limb_01_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_01_range_settings > |
| |
| using | lookup_keccakf1600_theta_limb_03_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_03_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_limb_03_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_03_range_settings > |
| |
| using | lookup_keccakf1600_theta_limb_11_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_11_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_limb_11_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_11_range_settings > |
| |
| using | lookup_keccakf1600_theta_limb_13_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_13_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_limb_13_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_13_range_settings > |
| |
| using | lookup_keccakf1600_theta_limb_20_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_20_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_limb_20_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_20_range_settings > |
| |
| using | lookup_keccakf1600_theta_limb_22_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_22_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_limb_22_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_22_range_settings > |
| |
| using | lookup_keccakf1600_theta_limb_24_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_24_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_limb_24_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_24_range_settings > |
| |
| using | lookup_keccakf1600_theta_limb_31_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_31_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_limb_31_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_31_range_settings > |
| |
| using | lookup_keccakf1600_theta_limb_34_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_34_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_limb_34_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_34_range_settings > |
| |
| using | lookup_keccakf1600_theta_limb_42_range_settings = lookup_settings< lookup_keccakf1600_theta_limb_42_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_theta_limb_42_range_relation = lookup_relation_base< FF_, lookup_keccakf1600_theta_limb_42_range_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_00_settings = lookup_settings< lookup_keccakf1600_state_pi_and_00_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_00_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_00_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_01_settings = lookup_settings< lookup_keccakf1600_state_pi_and_01_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_01_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_01_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_02_settings = lookup_settings< lookup_keccakf1600_state_pi_and_02_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_02_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_02_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_03_settings = lookup_settings< lookup_keccakf1600_state_pi_and_03_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_03_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_03_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_04_settings = lookup_settings< lookup_keccakf1600_state_pi_and_04_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_04_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_04_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_10_settings = lookup_settings< lookup_keccakf1600_state_pi_and_10_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_10_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_10_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_11_settings = lookup_settings< lookup_keccakf1600_state_pi_and_11_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_11_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_11_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_12_settings = lookup_settings< lookup_keccakf1600_state_pi_and_12_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_12_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_12_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_13_settings = lookup_settings< lookup_keccakf1600_state_pi_and_13_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_13_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_13_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_14_settings = lookup_settings< lookup_keccakf1600_state_pi_and_14_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_14_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_14_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_20_settings = lookup_settings< lookup_keccakf1600_state_pi_and_20_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_20_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_20_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_21_settings = lookup_settings< lookup_keccakf1600_state_pi_and_21_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_21_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_21_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_22_settings = lookup_settings< lookup_keccakf1600_state_pi_and_22_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_22_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_22_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_23_settings = lookup_settings< lookup_keccakf1600_state_pi_and_23_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_23_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_23_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_24_settings = lookup_settings< lookup_keccakf1600_state_pi_and_24_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_24_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_24_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_30_settings = lookup_settings< lookup_keccakf1600_state_pi_and_30_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_30_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_30_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_31_settings = lookup_settings< lookup_keccakf1600_state_pi_and_31_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_31_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_31_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_32_settings = lookup_settings< lookup_keccakf1600_state_pi_and_32_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_32_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_32_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_33_settings = lookup_settings< lookup_keccakf1600_state_pi_and_33_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_33_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_33_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_34_settings = lookup_settings< lookup_keccakf1600_state_pi_and_34_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_34_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_34_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_40_settings = lookup_settings< lookup_keccakf1600_state_pi_and_40_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_40_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_40_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_41_settings = lookup_settings< lookup_keccakf1600_state_pi_and_41_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_41_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_41_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_42_settings = lookup_settings< lookup_keccakf1600_state_pi_and_42_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_42_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_42_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_43_settings = lookup_settings< lookup_keccakf1600_state_pi_and_43_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_43_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_43_settings > |
| |
| using | lookup_keccakf1600_state_pi_and_44_settings = lookup_settings< lookup_keccakf1600_state_pi_and_44_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_pi_and_44_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_pi_and_44_settings > |
| |
| using | lookup_keccakf1600_state_chi_00_settings = lookup_settings< lookup_keccakf1600_state_chi_00_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_00_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_00_settings > |
| |
| using | lookup_keccakf1600_state_chi_01_settings = lookup_settings< lookup_keccakf1600_state_chi_01_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_01_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_01_settings > |
| |
| using | lookup_keccakf1600_state_chi_02_settings = lookup_settings< lookup_keccakf1600_state_chi_02_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_02_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_02_settings > |
| |
| using | lookup_keccakf1600_state_chi_03_settings = lookup_settings< lookup_keccakf1600_state_chi_03_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_03_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_03_settings > |
| |
| using | lookup_keccakf1600_state_chi_04_settings = lookup_settings< lookup_keccakf1600_state_chi_04_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_04_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_04_settings > |
| |
| using | lookup_keccakf1600_state_chi_10_settings = lookup_settings< lookup_keccakf1600_state_chi_10_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_10_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_10_settings > |
| |
| using | lookup_keccakf1600_state_chi_11_settings = lookup_settings< lookup_keccakf1600_state_chi_11_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_11_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_11_settings > |
| |
| using | lookup_keccakf1600_state_chi_12_settings = lookup_settings< lookup_keccakf1600_state_chi_12_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_12_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_12_settings > |
| |
| using | lookup_keccakf1600_state_chi_13_settings = lookup_settings< lookup_keccakf1600_state_chi_13_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_13_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_13_settings > |
| |
| using | lookup_keccakf1600_state_chi_14_settings = lookup_settings< lookup_keccakf1600_state_chi_14_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_14_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_14_settings > |
| |
| using | lookup_keccakf1600_state_chi_20_settings = lookup_settings< lookup_keccakf1600_state_chi_20_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_20_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_20_settings > |
| |
| using | lookup_keccakf1600_state_chi_21_settings = lookup_settings< lookup_keccakf1600_state_chi_21_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_21_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_21_settings > |
| |
| using | lookup_keccakf1600_state_chi_22_settings = lookup_settings< lookup_keccakf1600_state_chi_22_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_22_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_22_settings > |
| |
| using | lookup_keccakf1600_state_chi_23_settings = lookup_settings< lookup_keccakf1600_state_chi_23_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_23_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_23_settings > |
| |
| using | lookup_keccakf1600_state_chi_24_settings = lookup_settings< lookup_keccakf1600_state_chi_24_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_24_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_24_settings > |
| |
| using | lookup_keccakf1600_state_chi_30_settings = lookup_settings< lookup_keccakf1600_state_chi_30_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_30_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_30_settings > |
| |
| using | lookup_keccakf1600_state_chi_31_settings = lookup_settings< lookup_keccakf1600_state_chi_31_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_31_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_31_settings > |
| |
| using | lookup_keccakf1600_state_chi_32_settings = lookup_settings< lookup_keccakf1600_state_chi_32_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_32_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_32_settings > |
| |
| using | lookup_keccakf1600_state_chi_33_settings = lookup_settings< lookup_keccakf1600_state_chi_33_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_33_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_33_settings > |
| |
| using | lookup_keccakf1600_state_chi_34_settings = lookup_settings< lookup_keccakf1600_state_chi_34_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_34_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_34_settings > |
| |
| using | lookup_keccakf1600_state_chi_40_settings = lookup_settings< lookup_keccakf1600_state_chi_40_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_40_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_40_settings > |
| |
| using | lookup_keccakf1600_state_chi_41_settings = lookup_settings< lookup_keccakf1600_state_chi_41_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_41_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_41_settings > |
| |
| using | lookup_keccakf1600_state_chi_42_settings = lookup_settings< lookup_keccakf1600_state_chi_42_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_42_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_42_settings > |
| |
| using | lookup_keccakf1600_state_chi_43_settings = lookup_settings< lookup_keccakf1600_state_chi_43_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_43_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_43_settings > |
| |
| using | lookup_keccakf1600_state_chi_44_settings = lookup_settings< lookup_keccakf1600_state_chi_44_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_chi_44_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_chi_44_settings > |
| |
| using | lookup_keccakf1600_round_cst_settings = lookup_settings< lookup_keccakf1600_round_cst_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_round_cst_relation = lookup_relation_base< FF_, lookup_keccakf1600_round_cst_settings > |
| |
| using | lookup_keccakf1600_state_iota_00_settings = lookup_settings< lookup_keccakf1600_state_iota_00_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_state_iota_00_relation = lookup_relation_base< FF_, lookup_keccakf1600_state_iota_00_settings > |
| |
| using | lookup_keccakf1600_src_out_of_range_toggle_settings = lookup_settings< lookup_keccakf1600_src_out_of_range_toggle_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_src_out_of_range_toggle_relation = lookup_relation_base< FF_, lookup_keccakf1600_src_out_of_range_toggle_settings > |
| |
| using | lookup_keccakf1600_dst_out_of_range_toggle_settings = lookup_settings< lookup_keccakf1600_dst_out_of_range_toggle_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_keccakf1600_dst_out_of_range_toggle_relation = lookup_relation_base< FF_, lookup_keccakf1600_dst_out_of_range_toggle_settings > |
| |
| using | lookup_l1_to_l2_message_exists_l1_to_l2_msg_leaf_index_in_range_settings = lookup_settings< lookup_l1_to_l2_message_exists_l1_to_l2_msg_leaf_index_in_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_l1_to_l2_message_exists_l1_to_l2_msg_leaf_index_in_range_relation = lookup_relation_base< FF_, lookup_l1_to_l2_message_exists_l1_to_l2_msg_leaf_index_in_range_settings > |
| |
| using | lookup_l1_to_l2_message_exists_l1_to_l2_msg_read_settings = lookup_settings< lookup_l1_to_l2_message_exists_l1_to_l2_msg_read_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_l1_to_l2_message_exists_l1_to_l2_msg_read_relation = lookup_relation_base< FF_, lookup_l1_to_l2_message_exists_l1_to_l2_msg_read_settings > |
| |
| using | lookup_l1_to_l2_message_tree_check_merkle_check_settings = lookup_settings< lookup_l1_to_l2_message_tree_check_merkle_check_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_l1_to_l2_message_tree_check_merkle_check_relation = lookup_relation_base< FF_, lookup_l1_to_l2_message_tree_check_merkle_check_settings > |
| |
| using | lookup_memory_range_check_limb_0_settings = lookup_settings< lookup_memory_range_check_limb_0_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_memory_range_check_limb_0_relation = lookup_relation_base< FF_, lookup_memory_range_check_limb_0_settings > |
| |
| using | lookup_memory_range_check_limb_1_settings = lookup_settings< lookup_memory_range_check_limb_1_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_memory_range_check_limb_1_relation = lookup_relation_base< FF_, lookup_memory_range_check_limb_1_settings > |
| |
| using | lookup_memory_range_check_limb_2_settings = lookup_settings< lookup_memory_range_check_limb_2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_memory_range_check_limb_2_relation = lookup_relation_base< FF_, lookup_memory_range_check_limb_2_settings > |
| |
| using | lookup_memory_tag_max_bits_settings = lookup_settings< lookup_memory_tag_max_bits_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_memory_tag_max_bits_relation = lookup_relation_base< FF_, lookup_memory_tag_max_bits_settings > |
| |
| using | lookup_memory_range_check_write_tagged_value_settings = lookup_settings< lookup_memory_range_check_write_tagged_value_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_memory_range_check_write_tagged_value_relation = lookup_relation_base< FF_, lookup_memory_range_check_write_tagged_value_settings > |
| |
| using | lookup_merkle_check_merkle_poseidon2_read_settings = lookup_settings< lookup_merkle_check_merkle_poseidon2_read_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_merkle_check_merkle_poseidon2_read_relation = lookup_relation_base< FF_, lookup_merkle_check_merkle_poseidon2_read_settings > |
| |
| using | lookup_merkle_check_merkle_poseidon2_write_settings = lookup_settings< lookup_merkle_check_merkle_poseidon2_write_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_merkle_check_merkle_poseidon2_write_relation = lookup_relation_base< FF_, lookup_merkle_check_merkle_poseidon2_write_settings > |
| |
| using | lookup_note_hash_tree_check_silo_poseidon2_settings = lookup_settings< lookup_note_hash_tree_check_silo_poseidon2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_note_hash_tree_check_silo_poseidon2_relation = lookup_relation_base< FF_, lookup_note_hash_tree_check_silo_poseidon2_settings > |
| |
| using | lookup_note_hash_tree_check_read_first_nullifier_settings = lookup_settings< lookup_note_hash_tree_check_read_first_nullifier_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_note_hash_tree_check_read_first_nullifier_relation = lookup_relation_base< FF_, lookup_note_hash_tree_check_read_first_nullifier_settings > |
| |
| using | lookup_note_hash_tree_check_nonce_computation_poseidon2_settings = lookup_settings< lookup_note_hash_tree_check_nonce_computation_poseidon2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_note_hash_tree_check_nonce_computation_poseidon2_relation = lookup_relation_base< FF_, lookup_note_hash_tree_check_nonce_computation_poseidon2_settings > |
| |
| using | lookup_note_hash_tree_check_unique_note_hash_poseidon2_settings = lookup_settings< lookup_note_hash_tree_check_unique_note_hash_poseidon2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_note_hash_tree_check_unique_note_hash_poseidon2_relation = lookup_relation_base< FF_, lookup_note_hash_tree_check_unique_note_hash_poseidon2_settings > |
| |
| using | lookup_note_hash_tree_check_merkle_check_settings = lookup_settings< lookup_note_hash_tree_check_merkle_check_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_note_hash_tree_check_merkle_check_relation = lookup_relation_base< FF_, lookup_note_hash_tree_check_merkle_check_settings > |
| |
| using | lookup_note_hash_tree_check_write_note_hash_to_public_inputs_settings = lookup_settings< lookup_note_hash_tree_check_write_note_hash_to_public_inputs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_note_hash_tree_check_write_note_hash_to_public_inputs_relation = lookup_relation_base< FF_, lookup_note_hash_tree_check_write_note_hash_to_public_inputs_settings > |
| |
| using | lookup_notehash_exists_note_hash_leaf_index_in_range_settings = lookup_settings< lookup_notehash_exists_note_hash_leaf_index_in_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_notehash_exists_note_hash_leaf_index_in_range_relation = lookup_relation_base< FF_, lookup_notehash_exists_note_hash_leaf_index_in_range_settings > |
| |
| using | lookup_notehash_exists_note_hash_read_settings = lookup_settings< lookup_notehash_exists_note_hash_read_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_notehash_exists_note_hash_read_relation = lookup_relation_base< FF_, lookup_notehash_exists_note_hash_read_settings > |
| |
| using | lookup_nullifier_check_silo_poseidon2_settings = lookup_settings< lookup_nullifier_check_silo_poseidon2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_nullifier_check_silo_poseidon2_relation = lookup_relation_base< FF_, lookup_nullifier_check_silo_poseidon2_settings > |
| |
| using | lookup_nullifier_check_low_leaf_poseidon2_settings = lookup_settings< lookup_nullifier_check_low_leaf_poseidon2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_nullifier_check_low_leaf_poseidon2_relation = lookup_relation_base< FF_, lookup_nullifier_check_low_leaf_poseidon2_settings > |
| |
| using | lookup_nullifier_check_updated_low_leaf_poseidon2_settings = lookup_settings< lookup_nullifier_check_updated_low_leaf_poseidon2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_nullifier_check_updated_low_leaf_poseidon2_relation = lookup_relation_base< FF_, lookup_nullifier_check_updated_low_leaf_poseidon2_settings > |
| |
| using | lookup_nullifier_check_low_leaf_merkle_check_settings = lookup_settings< lookup_nullifier_check_low_leaf_merkle_check_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_nullifier_check_low_leaf_merkle_check_relation = lookup_relation_base< FF_, lookup_nullifier_check_low_leaf_merkle_check_settings > |
| |
| using | lookup_nullifier_check_low_leaf_nullifier_validation_settings = lookup_settings< lookup_nullifier_check_low_leaf_nullifier_validation_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_nullifier_check_low_leaf_nullifier_validation_relation = lookup_relation_base< FF_, lookup_nullifier_check_low_leaf_nullifier_validation_settings > |
| |
| using | lookup_nullifier_check_low_leaf_next_nullifier_validation_settings = lookup_settings< lookup_nullifier_check_low_leaf_next_nullifier_validation_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_nullifier_check_low_leaf_next_nullifier_validation_relation = lookup_relation_base< FF_, lookup_nullifier_check_low_leaf_next_nullifier_validation_settings > |
| |
| using | lookup_nullifier_check_new_leaf_poseidon2_settings = lookup_settings< lookup_nullifier_check_new_leaf_poseidon2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_nullifier_check_new_leaf_poseidon2_relation = lookup_relation_base< FF_, lookup_nullifier_check_new_leaf_poseidon2_settings > |
| |
| using | lookup_nullifier_check_new_leaf_merkle_check_settings = lookup_settings< lookup_nullifier_check_new_leaf_merkle_check_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_nullifier_check_new_leaf_merkle_check_relation = lookup_relation_base< FF_, lookup_nullifier_check_new_leaf_merkle_check_settings > |
| |
| using | lookup_nullifier_check_write_nullifier_to_public_inputs_settings = lookup_settings< lookup_nullifier_check_write_nullifier_to_public_inputs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_nullifier_check_write_nullifier_to_public_inputs_relation = lookup_relation_base< FF_, lookup_nullifier_check_write_nullifier_to_public_inputs_settings > |
| |
| using | lookup_nullifier_exists_nullifier_exists_check_settings = lookup_settings< lookup_nullifier_exists_nullifier_exists_check_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_nullifier_exists_nullifier_exists_check_relation = lookup_relation_base< FF_, lookup_nullifier_exists_nullifier_exists_check_settings > |
| |
| using | lookup_poseidon2_hash_poseidon2_perm_settings = lookup_settings< lookup_poseidon2_hash_poseidon2_perm_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_poseidon2_hash_poseidon2_perm_relation = lookup_relation_base< FF_, lookup_poseidon2_hash_poseidon2_perm_settings > |
| |
| using | lookup_poseidon2_mem_check_src_addr_in_range_settings = lookup_settings< lookup_poseidon2_mem_check_src_addr_in_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_poseidon2_mem_check_src_addr_in_range_relation = lookup_relation_base< FF_, lookup_poseidon2_mem_check_src_addr_in_range_settings > |
| |
| using | lookup_poseidon2_mem_check_dst_addr_in_range_settings = lookup_settings< lookup_poseidon2_mem_check_dst_addr_in_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_poseidon2_mem_check_dst_addr_in_range_relation = lookup_relation_base< FF_, lookup_poseidon2_mem_check_dst_addr_in_range_settings > |
| |
| using | lookup_poseidon2_mem_input_output_poseidon2_perm_settings = lookup_settings< lookup_poseidon2_mem_input_output_poseidon2_perm_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_poseidon2_mem_input_output_poseidon2_perm_relation = lookup_relation_base< FF_, lookup_poseidon2_mem_input_output_poseidon2_perm_settings > |
| |
| using | lookup_public_data_check_clk_diff_range_lo_settings = lookup_settings< lookup_public_data_check_clk_diff_range_lo_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_public_data_check_clk_diff_range_lo_relation = lookup_relation_base< FF_, lookup_public_data_check_clk_diff_range_lo_settings > |
| |
| using | lookup_public_data_check_clk_diff_range_hi_settings = lookup_settings< lookup_public_data_check_clk_diff_range_hi_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_public_data_check_clk_diff_range_hi_relation = lookup_relation_base< FF_, lookup_public_data_check_clk_diff_range_hi_settings > |
| |
| using | lookup_public_data_check_silo_poseidon2_settings = lookup_settings< lookup_public_data_check_silo_poseidon2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_public_data_check_silo_poseidon2_relation = lookup_relation_base< FF_, lookup_public_data_check_silo_poseidon2_settings > |
| |
| using | lookup_public_data_check_low_leaf_slot_validation_settings = lookup_settings< lookup_public_data_check_low_leaf_slot_validation_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_public_data_check_low_leaf_slot_validation_relation = lookup_relation_base< FF_, lookup_public_data_check_low_leaf_slot_validation_settings > |
| |
| using | lookup_public_data_check_low_leaf_next_slot_validation_settings = lookup_settings< lookup_public_data_check_low_leaf_next_slot_validation_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_public_data_check_low_leaf_next_slot_validation_relation = lookup_relation_base< FF_, lookup_public_data_check_low_leaf_next_slot_validation_settings > |
| |
| using | lookup_public_data_check_low_leaf_poseidon2_0_settings = lookup_settings< lookup_public_data_check_low_leaf_poseidon2_0_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_public_data_check_low_leaf_poseidon2_0_relation = lookup_relation_base< FF_, lookup_public_data_check_low_leaf_poseidon2_0_settings > |
| |
| using | lookup_public_data_check_low_leaf_poseidon2_1_settings = lookup_settings< lookup_public_data_check_low_leaf_poseidon2_1_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_public_data_check_low_leaf_poseidon2_1_relation = lookup_relation_base< FF_, lookup_public_data_check_low_leaf_poseidon2_1_settings > |
| |
| using | lookup_public_data_check_updated_low_leaf_poseidon2_0_settings = lookup_settings< lookup_public_data_check_updated_low_leaf_poseidon2_0_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_public_data_check_updated_low_leaf_poseidon2_0_relation = lookup_relation_base< FF_, lookup_public_data_check_updated_low_leaf_poseidon2_0_settings > |
| |
| using | lookup_public_data_check_updated_low_leaf_poseidon2_1_settings = lookup_settings< lookup_public_data_check_updated_low_leaf_poseidon2_1_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_public_data_check_updated_low_leaf_poseidon2_1_relation = lookup_relation_base< FF_, lookup_public_data_check_updated_low_leaf_poseidon2_1_settings > |
| |
| using | lookup_public_data_check_low_leaf_merkle_check_settings = lookup_settings< lookup_public_data_check_low_leaf_merkle_check_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_public_data_check_low_leaf_merkle_check_relation = lookup_relation_base< FF_, lookup_public_data_check_low_leaf_merkle_check_settings > |
| |
| using | lookup_public_data_check_new_leaf_poseidon2_0_settings = lookup_settings< lookup_public_data_check_new_leaf_poseidon2_0_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_public_data_check_new_leaf_poseidon2_0_relation = lookup_relation_base< FF_, lookup_public_data_check_new_leaf_poseidon2_0_settings > |
| |
| using | lookup_public_data_check_new_leaf_poseidon2_1_settings = lookup_settings< lookup_public_data_check_new_leaf_poseidon2_1_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_public_data_check_new_leaf_poseidon2_1_relation = lookup_relation_base< FF_, lookup_public_data_check_new_leaf_poseidon2_1_settings > |
| |
| using | lookup_public_data_check_new_leaf_merkle_check_settings = lookup_settings< lookup_public_data_check_new_leaf_merkle_check_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_public_data_check_new_leaf_merkle_check_relation = lookup_relation_base< FF_, lookup_public_data_check_new_leaf_merkle_check_settings > |
| |
| using | lookup_public_data_check_write_public_data_to_public_inputs_settings = lookup_settings< lookup_public_data_check_write_public_data_to_public_inputs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_public_data_check_write_public_data_to_public_inputs_relation = lookup_relation_base< FF_, lookup_public_data_check_write_public_data_to_public_inputs_settings > |
| |
| using | lookup_public_data_check_write_writes_length_to_public_inputs_settings = lookup_settings< lookup_public_data_check_write_writes_length_to_public_inputs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_public_data_check_write_writes_length_to_public_inputs_relation = lookup_relation_base< FF_, lookup_public_data_check_write_writes_length_to_public_inputs_settings > |
| |
| using | lookup_public_data_squash_leaf_slot_increase_ff_gt_settings = lookup_settings< lookup_public_data_squash_leaf_slot_increase_ff_gt_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_public_data_squash_leaf_slot_increase_ff_gt_relation = lookup_relation_base< FF_, lookup_public_data_squash_leaf_slot_increase_ff_gt_settings > |
| |
| using | lookup_public_data_squash_clk_diff_range_lo_settings = lookup_settings< lookup_public_data_squash_clk_diff_range_lo_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_public_data_squash_clk_diff_range_lo_relation = lookup_relation_base< FF_, lookup_public_data_squash_clk_diff_range_lo_settings > |
| |
| using | lookup_public_data_squash_clk_diff_range_hi_settings = lookup_settings< lookup_public_data_squash_clk_diff_range_hi_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_public_data_squash_clk_diff_range_hi_relation = lookup_relation_base< FF_, lookup_public_data_squash_clk_diff_range_hi_settings > |
| |
| using | lookup_range_check_dyn_rng_chk_pow_2_settings = lookup_settings< lookup_range_check_dyn_rng_chk_pow_2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_range_check_dyn_rng_chk_pow_2_relation = lookup_relation_base< FF_, lookup_range_check_dyn_rng_chk_pow_2_settings > |
| |
| using | lookup_range_check_dyn_diff_is_u16_settings = lookup_settings< lookup_range_check_dyn_diff_is_u16_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_range_check_dyn_diff_is_u16_relation = lookup_relation_base< FF_, lookup_range_check_dyn_diff_is_u16_settings > |
| |
| using | lookup_range_check_r0_is_u16_settings = lookup_settings< lookup_range_check_r0_is_u16_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_range_check_r0_is_u16_relation = lookup_relation_base< FF_, lookup_range_check_r0_is_u16_settings > |
| |
| using | lookup_range_check_r1_is_u16_settings = lookup_settings< lookup_range_check_r1_is_u16_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_range_check_r1_is_u16_relation = lookup_relation_base< FF_, lookup_range_check_r1_is_u16_settings > |
| |
| using | lookup_range_check_r2_is_u16_settings = lookup_settings< lookup_range_check_r2_is_u16_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_range_check_r2_is_u16_relation = lookup_relation_base< FF_, lookup_range_check_r2_is_u16_settings > |
| |
| using | lookup_range_check_r3_is_u16_settings = lookup_settings< lookup_range_check_r3_is_u16_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_range_check_r3_is_u16_relation = lookup_relation_base< FF_, lookup_range_check_r3_is_u16_settings > |
| |
| using | lookup_range_check_r4_is_u16_settings = lookup_settings< lookup_range_check_r4_is_u16_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_range_check_r4_is_u16_relation = lookup_relation_base< FF_, lookup_range_check_r4_is_u16_settings > |
| |
| using | lookup_range_check_r5_is_u16_settings = lookup_settings< lookup_range_check_r5_is_u16_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_range_check_r5_is_u16_relation = lookup_relation_base< FF_, lookup_range_check_r5_is_u16_settings > |
| |
| using | lookup_range_check_r6_is_u16_settings = lookup_settings< lookup_range_check_r6_is_u16_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_range_check_r6_is_u16_relation = lookup_relation_base< FF_, lookup_range_check_r6_is_u16_settings > |
| |
| using | lookup_range_check_r7_is_u16_settings = lookup_settings< lookup_range_check_r7_is_u16_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_range_check_r7_is_u16_relation = lookup_relation_base< FF_, lookup_range_check_r7_is_u16_settings > |
| |
| using | lookup_retrieved_bytecodes_tree_check_low_leaf_poseidon2_settings = lookup_settings< lookup_retrieved_bytecodes_tree_check_low_leaf_poseidon2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_retrieved_bytecodes_tree_check_low_leaf_poseidon2_relation = lookup_relation_base< FF_, lookup_retrieved_bytecodes_tree_check_low_leaf_poseidon2_settings > |
| |
| using | lookup_retrieved_bytecodes_tree_check_updated_low_leaf_poseidon2_settings = lookup_settings< lookup_retrieved_bytecodes_tree_check_updated_low_leaf_poseidon2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_retrieved_bytecodes_tree_check_updated_low_leaf_poseidon2_relation = lookup_relation_base< FF_, lookup_retrieved_bytecodes_tree_check_updated_low_leaf_poseidon2_settings > |
| |
| using | lookup_retrieved_bytecodes_tree_check_low_leaf_merkle_check_settings = lookup_settings< lookup_retrieved_bytecodes_tree_check_low_leaf_merkle_check_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_retrieved_bytecodes_tree_check_low_leaf_merkle_check_relation = lookup_relation_base< FF_, lookup_retrieved_bytecodes_tree_check_low_leaf_merkle_check_settings > |
| |
| using | lookup_retrieved_bytecodes_tree_check_low_leaf_class_id_validation_settings = lookup_settings< lookup_retrieved_bytecodes_tree_check_low_leaf_class_id_validation_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_retrieved_bytecodes_tree_check_low_leaf_class_id_validation_relation = lookup_relation_base< FF_, lookup_retrieved_bytecodes_tree_check_low_leaf_class_id_validation_settings > |
| |
| using | lookup_retrieved_bytecodes_tree_check_low_leaf_next_class_id_validation_settings = lookup_settings< lookup_retrieved_bytecodes_tree_check_low_leaf_next_class_id_validation_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_retrieved_bytecodes_tree_check_low_leaf_next_class_id_validation_relation = lookup_relation_base< FF_, lookup_retrieved_bytecodes_tree_check_low_leaf_next_class_id_validation_settings > |
| |
| using | lookup_retrieved_bytecodes_tree_check_new_leaf_poseidon2_settings = lookup_settings< lookup_retrieved_bytecodes_tree_check_new_leaf_poseidon2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_retrieved_bytecodes_tree_check_new_leaf_poseidon2_relation = lookup_relation_base< FF_, lookup_retrieved_bytecodes_tree_check_new_leaf_poseidon2_settings > |
| |
| using | lookup_retrieved_bytecodes_tree_check_new_leaf_merkle_check_settings = lookup_settings< lookup_retrieved_bytecodes_tree_check_new_leaf_merkle_check_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_retrieved_bytecodes_tree_check_new_leaf_merkle_check_relation = lookup_relation_base< FF_, lookup_retrieved_bytecodes_tree_check_new_leaf_merkle_check_settings > |
| |
| using | lookup_scalar_mul_to_radix_settings = lookup_settings< lookup_scalar_mul_to_radix_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_scalar_mul_to_radix_relation = lookup_relation_base< FF_, lookup_scalar_mul_to_radix_settings > |
| |
| using | lookup_scalar_mul_double_settings = lookup_settings< lookup_scalar_mul_double_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_scalar_mul_double_relation = lookup_relation_base< FF_, lookup_scalar_mul_double_settings > |
| |
| using | lookup_scalar_mul_add_settings = lookup_settings< lookup_scalar_mul_add_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_scalar_mul_add_relation = lookup_relation_base< FF_, lookup_scalar_mul_add_settings > |
| |
| using | lookup_send_l2_to_l1_msg_write_l2_to_l1_msg_settings = lookup_settings< lookup_send_l2_to_l1_msg_write_l2_to_l1_msg_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_send_l2_to_l1_msg_write_l2_to_l1_msg_relation = lookup_relation_base< FF_, lookup_send_l2_to_l1_msg_write_l2_to_l1_msg_settings > |
| |
| using | lookup_sha256_range_comp_w_lhs_settings = lookup_settings< lookup_sha256_range_comp_w_lhs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_comp_w_lhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_w_lhs_settings > |
| |
| using | lookup_sha256_range_comp_w_rhs_settings = lookup_settings< lookup_sha256_range_comp_w_rhs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_comp_w_rhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_w_rhs_settings > |
| |
| using | lookup_sha256_range_rhs_w_7_settings = lookup_settings< lookup_sha256_range_rhs_w_7_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_rhs_w_7_relation = lookup_relation_base< FF_, lookup_sha256_range_rhs_w_7_settings > |
| |
| using | lookup_sha256_range_rhs_w_18_settings = lookup_settings< lookup_sha256_range_rhs_w_18_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_rhs_w_18_relation = lookup_relation_base< FF_, lookup_sha256_range_rhs_w_18_settings > |
| |
| using | lookup_sha256_range_rhs_w_3_settings = lookup_settings< lookup_sha256_range_rhs_w_3_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_rhs_w_3_relation = lookup_relation_base< FF_, lookup_sha256_range_rhs_w_3_settings > |
| |
| using | lookup_sha256_w_s_0_xor_0_settings = lookup_settings< lookup_sha256_w_s_0_xor_0_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_w_s_0_xor_0_relation = lookup_relation_base< FF_, lookup_sha256_w_s_0_xor_0_settings > |
| |
| using | lookup_sha256_w_s_0_xor_1_settings = lookup_settings< lookup_sha256_w_s_0_xor_1_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_w_s_0_xor_1_relation = lookup_relation_base< FF_, lookup_sha256_w_s_0_xor_1_settings > |
| |
| using | lookup_sha256_range_rhs_w_17_settings = lookup_settings< lookup_sha256_range_rhs_w_17_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_rhs_w_17_relation = lookup_relation_base< FF_, lookup_sha256_range_rhs_w_17_settings > |
| |
| using | lookup_sha256_range_rhs_w_19_settings = lookup_settings< lookup_sha256_range_rhs_w_19_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_rhs_w_19_relation = lookup_relation_base< FF_, lookup_sha256_range_rhs_w_19_settings > |
| |
| using | lookup_sha256_range_rhs_w_10_settings = lookup_settings< lookup_sha256_range_rhs_w_10_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_rhs_w_10_relation = lookup_relation_base< FF_, lookup_sha256_range_rhs_w_10_settings > |
| |
| using | lookup_sha256_w_s_1_xor_0_settings = lookup_settings< lookup_sha256_w_s_1_xor_0_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_w_s_1_xor_0_relation = lookup_relation_base< FF_, lookup_sha256_w_s_1_xor_0_settings > |
| |
| using | lookup_sha256_w_s_1_xor_1_settings = lookup_settings< lookup_sha256_w_s_1_xor_1_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_w_s_1_xor_1_relation = lookup_relation_base< FF_, lookup_sha256_w_s_1_xor_1_settings > |
| |
| using | lookup_sha256_range_rhs_e_6_settings = lookup_settings< lookup_sha256_range_rhs_e_6_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_rhs_e_6_relation = lookup_relation_base< FF_, lookup_sha256_range_rhs_e_6_settings > |
| |
| using | lookup_sha256_range_rhs_e_11_settings = lookup_settings< lookup_sha256_range_rhs_e_11_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_rhs_e_11_relation = lookup_relation_base< FF_, lookup_sha256_range_rhs_e_11_settings > |
| |
| using | lookup_sha256_range_rhs_e_25_settings = lookup_settings< lookup_sha256_range_rhs_e_25_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_rhs_e_25_relation = lookup_relation_base< FF_, lookup_sha256_range_rhs_e_25_settings > |
| |
| using | lookup_sha256_s_1_xor_0_settings = lookup_settings< lookup_sha256_s_1_xor_0_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_s_1_xor_0_relation = lookup_relation_base< FF_, lookup_sha256_s_1_xor_0_settings > |
| |
| using | lookup_sha256_s_1_xor_1_settings = lookup_settings< lookup_sha256_s_1_xor_1_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_s_1_xor_1_relation = lookup_relation_base< FF_, lookup_sha256_s_1_xor_1_settings > |
| |
| using | lookup_sha256_ch_and_0_settings = lookup_settings< lookup_sha256_ch_and_0_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_ch_and_0_relation = lookup_relation_base< FF_, lookup_sha256_ch_and_0_settings > |
| |
| using | lookup_sha256_ch_and_1_settings = lookup_settings< lookup_sha256_ch_and_1_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_ch_and_1_relation = lookup_relation_base< FF_, lookup_sha256_ch_and_1_settings > |
| |
| using | lookup_sha256_ch_xor_settings = lookup_settings< lookup_sha256_ch_xor_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_ch_xor_relation = lookup_relation_base< FF_, lookup_sha256_ch_xor_settings > |
| |
| using | lookup_sha256_round_constant_settings = lookup_settings< lookup_sha256_round_constant_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_round_constant_relation = lookup_relation_base< FF_, lookup_sha256_round_constant_settings > |
| |
| using | lookup_sha256_range_rhs_a_2_settings = lookup_settings< lookup_sha256_range_rhs_a_2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_rhs_a_2_relation = lookup_relation_base< FF_, lookup_sha256_range_rhs_a_2_settings > |
| |
| using | lookup_sha256_range_rhs_a_13_settings = lookup_settings< lookup_sha256_range_rhs_a_13_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_rhs_a_13_relation = lookup_relation_base< FF_, lookup_sha256_range_rhs_a_13_settings > |
| |
| using | lookup_sha256_range_rhs_a_22_settings = lookup_settings< lookup_sha256_range_rhs_a_22_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_rhs_a_22_relation = lookup_relation_base< FF_, lookup_sha256_range_rhs_a_22_settings > |
| |
| using | lookup_sha256_s_0_xor_0_settings = lookup_settings< lookup_sha256_s_0_xor_0_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_s_0_xor_0_relation = lookup_relation_base< FF_, lookup_sha256_s_0_xor_0_settings > |
| |
| using | lookup_sha256_s_0_xor_1_settings = lookup_settings< lookup_sha256_s_0_xor_1_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_s_0_xor_1_relation = lookup_relation_base< FF_, lookup_sha256_s_0_xor_1_settings > |
| |
| using | lookup_sha256_maj_and_0_settings = lookup_settings< lookup_sha256_maj_and_0_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_maj_and_0_relation = lookup_relation_base< FF_, lookup_sha256_maj_and_0_settings > |
| |
| using | lookup_sha256_maj_and_1_settings = lookup_settings< lookup_sha256_maj_and_1_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_maj_and_1_relation = lookup_relation_base< FF_, lookup_sha256_maj_and_1_settings > |
| |
| using | lookup_sha256_maj_and_2_settings = lookup_settings< lookup_sha256_maj_and_2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_maj_and_2_relation = lookup_relation_base< FF_, lookup_sha256_maj_and_2_settings > |
| |
| using | lookup_sha256_maj_xor_0_settings = lookup_settings< lookup_sha256_maj_xor_0_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_maj_xor_0_relation = lookup_relation_base< FF_, lookup_sha256_maj_xor_0_settings > |
| |
| using | lookup_sha256_maj_xor_1_settings = lookup_settings< lookup_sha256_maj_xor_1_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_maj_xor_1_relation = lookup_relation_base< FF_, lookup_sha256_maj_xor_1_settings > |
| |
| using | lookup_sha256_range_comp_next_a_lhs_settings = lookup_settings< lookup_sha256_range_comp_next_a_lhs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_comp_next_a_lhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_next_a_lhs_settings > |
| |
| using | lookup_sha256_range_comp_next_a_rhs_settings = lookup_settings< lookup_sha256_range_comp_next_a_rhs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_comp_next_a_rhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_next_a_rhs_settings > |
| |
| using | lookup_sha256_range_comp_next_e_lhs_settings = lookup_settings< lookup_sha256_range_comp_next_e_lhs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_comp_next_e_lhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_next_e_lhs_settings > |
| |
| using | lookup_sha256_range_comp_next_e_rhs_settings = lookup_settings< lookup_sha256_range_comp_next_e_rhs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_comp_next_e_rhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_next_e_rhs_settings > |
| |
| using | lookup_sha256_range_comp_a_lhs_settings = lookup_settings< lookup_sha256_range_comp_a_lhs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_comp_a_lhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_a_lhs_settings > |
| |
| using | lookup_sha256_range_comp_a_rhs_settings = lookup_settings< lookup_sha256_range_comp_a_rhs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_comp_a_rhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_a_rhs_settings > |
| |
| using | lookup_sha256_range_comp_b_lhs_settings = lookup_settings< lookup_sha256_range_comp_b_lhs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_comp_b_lhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_b_lhs_settings > |
| |
| using | lookup_sha256_range_comp_b_rhs_settings = lookup_settings< lookup_sha256_range_comp_b_rhs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_comp_b_rhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_b_rhs_settings > |
| |
| using | lookup_sha256_range_comp_c_lhs_settings = lookup_settings< lookup_sha256_range_comp_c_lhs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_comp_c_lhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_c_lhs_settings > |
| |
| using | lookup_sha256_range_comp_c_rhs_settings = lookup_settings< lookup_sha256_range_comp_c_rhs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_comp_c_rhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_c_rhs_settings > |
| |
| using | lookup_sha256_range_comp_d_lhs_settings = lookup_settings< lookup_sha256_range_comp_d_lhs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_comp_d_lhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_d_lhs_settings > |
| |
| using | lookup_sha256_range_comp_d_rhs_settings = lookup_settings< lookup_sha256_range_comp_d_rhs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_comp_d_rhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_d_rhs_settings > |
| |
| using | lookup_sha256_range_comp_e_lhs_settings = lookup_settings< lookup_sha256_range_comp_e_lhs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_comp_e_lhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_e_lhs_settings > |
| |
| using | lookup_sha256_range_comp_e_rhs_settings = lookup_settings< lookup_sha256_range_comp_e_rhs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_comp_e_rhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_e_rhs_settings > |
| |
| using | lookup_sha256_range_comp_f_lhs_settings = lookup_settings< lookup_sha256_range_comp_f_lhs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_comp_f_lhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_f_lhs_settings > |
| |
| using | lookup_sha256_range_comp_f_rhs_settings = lookup_settings< lookup_sha256_range_comp_f_rhs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_comp_f_rhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_f_rhs_settings > |
| |
| using | lookup_sha256_range_comp_g_lhs_settings = lookup_settings< lookup_sha256_range_comp_g_lhs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_comp_g_lhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_g_lhs_settings > |
| |
| using | lookup_sha256_range_comp_g_rhs_settings = lookup_settings< lookup_sha256_range_comp_g_rhs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_comp_g_rhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_g_rhs_settings > |
| |
| using | lookup_sha256_range_comp_h_lhs_settings = lookup_settings< lookup_sha256_range_comp_h_lhs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_comp_h_lhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_h_lhs_settings > |
| |
| using | lookup_sha256_range_comp_h_rhs_settings = lookup_settings< lookup_sha256_range_comp_h_rhs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_range_comp_h_rhs_relation = lookup_relation_base< FF_, lookup_sha256_range_comp_h_rhs_settings > |
| |
| using | lookup_sha256_mem_check_state_addr_in_range_settings = lookup_settings< lookup_sha256_mem_check_state_addr_in_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_mem_check_state_addr_in_range_relation = lookup_relation_base< FF_, lookup_sha256_mem_check_state_addr_in_range_settings > |
| |
| using | lookup_sha256_mem_check_input_addr_in_range_settings = lookup_settings< lookup_sha256_mem_check_input_addr_in_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_mem_check_input_addr_in_range_relation = lookup_relation_base< FF_, lookup_sha256_mem_check_input_addr_in_range_settings > |
| |
| using | lookup_sha256_mem_check_output_addr_in_range_settings = lookup_settings< lookup_sha256_mem_check_output_addr_in_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sha256_mem_check_output_addr_in_range_relation = lookup_relation_base< FF_, lookup_sha256_mem_check_output_addr_in_range_settings > |
| |
| using | lookup_sload_storage_read_settings = lookup_settings< lookup_sload_storage_read_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sload_storage_read_relation = lookup_relation_base< FF_, lookup_sload_storage_read_settings > |
| |
| using | lookup_sstore_record_written_storage_slot_settings = lookup_settings< lookup_sstore_record_written_storage_slot_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_sstore_record_written_storage_slot_relation = lookup_relation_base< FF_, lookup_sstore_record_written_storage_slot_settings > |
| |
| using | lookup_to_radix_limb_range_settings = lookup_settings< lookup_to_radix_limb_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_to_radix_limb_range_relation = lookup_relation_base< FF_, lookup_to_radix_limb_range_settings > |
| |
| using | lookup_to_radix_limb_less_than_radix_range_settings = lookup_settings< lookup_to_radix_limb_less_than_radix_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_to_radix_limb_less_than_radix_range_relation = lookup_relation_base< FF_, lookup_to_radix_limb_less_than_radix_range_settings > |
| |
| using | lookup_to_radix_fetch_safe_limbs_settings = lookup_settings< lookup_to_radix_fetch_safe_limbs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_to_radix_fetch_safe_limbs_relation = lookup_relation_base< FF_, lookup_to_radix_fetch_safe_limbs_settings > |
| |
| using | lookup_to_radix_fetch_p_limb_settings = lookup_settings< lookup_to_radix_fetch_p_limb_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_to_radix_fetch_p_limb_relation = lookup_relation_base< FF_, lookup_to_radix_fetch_p_limb_settings > |
| |
| using | lookup_to_radix_limb_p_diff_range_settings = lookup_settings< lookup_to_radix_limb_p_diff_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_to_radix_limb_p_diff_range_relation = lookup_relation_base< FF_, lookup_to_radix_limb_p_diff_range_settings > |
| |
| using | lookup_to_radix_mem_check_dst_addr_in_range_settings = lookup_settings< lookup_to_radix_mem_check_dst_addr_in_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_to_radix_mem_check_dst_addr_in_range_relation = lookup_relation_base< FF_, lookup_to_radix_mem_check_dst_addr_in_range_settings > |
| |
| using | lookup_to_radix_mem_check_radix_lt_2_settings = lookup_settings< lookup_to_radix_mem_check_radix_lt_2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_to_radix_mem_check_radix_lt_2_relation = lookup_relation_base< FF_, lookup_to_radix_mem_check_radix_lt_2_settings > |
| |
| using | lookup_to_radix_mem_check_radix_gt_256_settings = lookup_settings< lookup_to_radix_mem_check_radix_gt_256_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_to_radix_mem_check_radix_gt_256_relation = lookup_relation_base< FF_, lookup_to_radix_mem_check_radix_gt_256_settings > |
| |
| using | lookup_to_radix_mem_input_output_to_radix_settings = lookup_settings< lookup_to_radix_mem_input_output_to_radix_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_to_radix_mem_input_output_to_radix_relation = lookup_relation_base< FF_, lookup_to_radix_mem_input_output_to_radix_settings > |
| |
| using | lookup_tx_read_phase_table_settings = lookup_settings< lookup_tx_read_phase_table_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_read_phase_table_relation = lookup_relation_base< FF_, lookup_tx_read_phase_table_settings > |
| |
| using | lookup_tx_phase_jump_on_revert_settings = lookup_settings< lookup_tx_phase_jump_on_revert_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_phase_jump_on_revert_relation = lookup_relation_base< FF_, lookup_tx_phase_jump_on_revert_settings > |
| |
| using | lookup_tx_read_phase_length_settings = lookup_settings< lookup_tx_read_phase_length_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_read_phase_length_relation = lookup_relation_base< FF_, lookup_tx_read_phase_length_settings > |
| |
| using | lookup_tx_read_calldata_hash_settings = lookup_settings< lookup_tx_read_calldata_hash_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_read_calldata_hash_relation = lookup_relation_base< FF_, lookup_tx_read_calldata_hash_settings > |
| |
| using | lookup_tx_read_public_call_request_phase_settings = lookup_settings< lookup_tx_read_public_call_request_phase_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_read_public_call_request_phase_relation = lookup_relation_base< FF_, lookup_tx_read_public_call_request_phase_settings > |
| |
| using | lookup_tx_dispatch_exec_start_settings = lookup_settings< lookup_tx_dispatch_exec_start_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_dispatch_exec_start_relation = lookup_relation_base< FF_, lookup_tx_dispatch_exec_start_settings > |
| |
| using | lookup_tx_dispatch_exec_end_settings = lookup_settings< lookup_tx_dispatch_exec_end_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_dispatch_exec_end_relation = lookup_relation_base< FF_, lookup_tx_dispatch_exec_end_settings > |
| |
| using | lookup_tx_read_tree_insert_value_settings = lookup_settings< lookup_tx_read_tree_insert_value_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_read_tree_insert_value_relation = lookup_relation_base< FF_, lookup_tx_read_tree_insert_value_settings > |
| |
| using | lookup_tx_note_hash_append_settings = lookup_settings< lookup_tx_note_hash_append_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_note_hash_append_relation = lookup_relation_base< FF_, lookup_tx_note_hash_append_settings > |
| |
| using | lookup_tx_nullifier_append_settings = lookup_settings< lookup_tx_nullifier_append_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_nullifier_append_relation = lookup_relation_base< FF_, lookup_tx_nullifier_append_settings > |
| |
| using | lookup_tx_read_l2_l1_msg_settings = lookup_settings< lookup_tx_read_l2_l1_msg_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_read_l2_l1_msg_relation = lookup_relation_base< FF_, lookup_tx_read_l2_l1_msg_settings > |
| |
| using | lookup_tx_write_l2_l1_msg_settings = lookup_settings< lookup_tx_write_l2_l1_msg_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_write_l2_l1_msg_relation = lookup_relation_base< FF_, lookup_tx_write_l2_l1_msg_settings > |
| |
| using | lookup_tx_read_effective_fee_public_inputs_settings = lookup_settings< lookup_tx_read_effective_fee_public_inputs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_read_effective_fee_public_inputs_relation = lookup_relation_base< FF_, lookup_tx_read_effective_fee_public_inputs_settings > |
| |
| using | lookup_tx_read_fee_payer_public_inputs_settings = lookup_settings< lookup_tx_read_fee_payer_public_inputs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_read_fee_payer_public_inputs_relation = lookup_relation_base< FF_, lookup_tx_read_fee_payer_public_inputs_settings > |
| |
| using | lookup_tx_balance_slot_poseidon2_settings = lookup_settings< lookup_tx_balance_slot_poseidon2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_balance_slot_poseidon2_relation = lookup_relation_base< FF_, lookup_tx_balance_slot_poseidon2_settings > |
| |
| using | lookup_tx_balance_read_settings = lookup_settings< lookup_tx_balance_read_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_balance_read_relation = lookup_relation_base< FF_, lookup_tx_balance_read_settings > |
| |
| using | lookup_tx_balance_validation_settings = lookup_settings< lookup_tx_balance_validation_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_balance_validation_relation = lookup_relation_base< FF_, lookup_tx_balance_validation_settings > |
| |
| using | lookup_tx_write_fee_public_inputs_settings = lookup_settings< lookup_tx_write_fee_public_inputs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_write_fee_public_inputs_relation = lookup_relation_base< FF_, lookup_tx_write_fee_public_inputs_settings > |
| |
| using | lookup_tx_context_public_inputs_note_hash_tree_settings = lookup_settings< lookup_tx_context_public_inputs_note_hash_tree_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_context_public_inputs_note_hash_tree_relation = lookup_relation_base< FF_, lookup_tx_context_public_inputs_note_hash_tree_settings > |
| |
| using | lookup_tx_context_public_inputs_nullifier_tree_settings = lookup_settings< lookup_tx_context_public_inputs_nullifier_tree_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_context_public_inputs_nullifier_tree_relation = lookup_relation_base< FF_, lookup_tx_context_public_inputs_nullifier_tree_settings > |
| |
| using | lookup_tx_context_public_inputs_public_data_tree_settings = lookup_settings< lookup_tx_context_public_inputs_public_data_tree_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_context_public_inputs_public_data_tree_relation = lookup_relation_base< FF_, lookup_tx_context_public_inputs_public_data_tree_settings > |
| |
| using | lookup_tx_context_public_inputs_l1_l2_tree_settings = lookup_settings< lookup_tx_context_public_inputs_l1_l2_tree_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_context_public_inputs_l1_l2_tree_relation = lookup_relation_base< FF_, lookup_tx_context_public_inputs_l1_l2_tree_settings > |
| |
| using | lookup_tx_context_public_inputs_gas_used_settings = lookup_settings< lookup_tx_context_public_inputs_gas_used_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_context_public_inputs_gas_used_relation = lookup_relation_base< FF_, lookup_tx_context_public_inputs_gas_used_settings > |
| |
| using | lookup_tx_context_public_inputs_read_gas_limit_settings = lookup_settings< lookup_tx_context_public_inputs_read_gas_limit_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_context_public_inputs_read_gas_limit_relation = lookup_relation_base< FF_, lookup_tx_context_public_inputs_read_gas_limit_settings > |
| |
| using | lookup_tx_context_restore_state_on_revert_settings = lookup_settings< lookup_tx_context_restore_state_on_revert_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_context_restore_state_on_revert_relation = lookup_relation_base< FF_, lookup_tx_context_restore_state_on_revert_settings > |
| |
| using | lookup_tx_context_public_inputs_write_note_hash_count_settings = lookup_settings< lookup_tx_context_public_inputs_write_note_hash_count_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_context_public_inputs_write_note_hash_count_relation = lookup_relation_base< FF_, lookup_tx_context_public_inputs_write_note_hash_count_settings > |
| |
| using | lookup_tx_context_public_inputs_write_nullifier_count_settings = lookup_settings< lookup_tx_context_public_inputs_write_nullifier_count_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_context_public_inputs_write_nullifier_count_relation = lookup_relation_base< FF_, lookup_tx_context_public_inputs_write_nullifier_count_settings > |
| |
| using | lookup_tx_context_public_inputs_write_l2_to_l1_message_count_settings = lookup_settings< lookup_tx_context_public_inputs_write_l2_to_l1_message_count_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_context_public_inputs_write_l2_to_l1_message_count_relation = lookup_relation_base< FF_, lookup_tx_context_public_inputs_write_l2_to_l1_message_count_settings > |
| |
| using | lookup_tx_context_public_inputs_write_unencrypted_log_count_settings = lookup_settings< lookup_tx_context_public_inputs_write_unencrypted_log_count_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_tx_context_public_inputs_write_unencrypted_log_count_relation = lookup_relation_base< FF_, lookup_tx_context_public_inputs_write_unencrypted_log_count_settings > |
| |
| using | lookup_update_check_timestamp_from_public_inputs_settings = lookup_settings< lookup_update_check_timestamp_from_public_inputs_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_update_check_timestamp_from_public_inputs_relation = lookup_relation_base< FF_, lookup_update_check_timestamp_from_public_inputs_settings > |
| |
| using | lookup_update_check_delayed_public_mutable_slot_poseidon2_settings = lookup_settings< lookup_update_check_delayed_public_mutable_slot_poseidon2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_update_check_delayed_public_mutable_slot_poseidon2_relation = lookup_relation_base< FF_, lookup_update_check_delayed_public_mutable_slot_poseidon2_settings > |
| |
| using | lookup_update_check_update_hash_public_data_read_settings = lookup_settings< lookup_update_check_update_hash_public_data_read_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_update_check_update_hash_public_data_read_relation = lookup_relation_base< FF_, lookup_update_check_update_hash_public_data_read_settings > |
| |
| using | lookup_update_check_update_hash_poseidon2_settings = lookup_settings< lookup_update_check_update_hash_poseidon2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_update_check_update_hash_poseidon2_relation = lookup_relation_base< FF_, lookup_update_check_update_hash_poseidon2_settings > |
| |
| using | lookup_update_check_update_hi_metadata_range_settings = lookup_settings< lookup_update_check_update_hi_metadata_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_update_check_update_hi_metadata_range_relation = lookup_relation_base< FF_, lookup_update_check_update_hi_metadata_range_settings > |
| |
| using | lookup_update_check_update_lo_metadata_range_settings = lookup_settings< lookup_update_check_update_lo_metadata_range_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_update_check_update_lo_metadata_range_relation = lookup_relation_base< FF_, lookup_update_check_update_lo_metadata_range_settings > |
| |
| using | lookup_update_check_timestamp_is_lt_timestamp_of_change_settings = lookup_settings< lookup_update_check_timestamp_is_lt_timestamp_of_change_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_update_check_timestamp_is_lt_timestamp_of_change_relation = lookup_relation_base< FF_, lookup_update_check_timestamp_is_lt_timestamp_of_change_settings > |
| |
| using | lookup_written_public_data_slots_tree_check_silo_poseidon2_settings = lookup_settings< lookup_written_public_data_slots_tree_check_silo_poseidon2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_written_public_data_slots_tree_check_silo_poseidon2_relation = lookup_relation_base< FF_, lookup_written_public_data_slots_tree_check_silo_poseidon2_settings > |
| |
| using | lookup_written_public_data_slots_tree_check_low_leaf_poseidon2_settings = lookup_settings< lookup_written_public_data_slots_tree_check_low_leaf_poseidon2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_written_public_data_slots_tree_check_low_leaf_poseidon2_relation = lookup_relation_base< FF_, lookup_written_public_data_slots_tree_check_low_leaf_poseidon2_settings > |
| |
| using | lookup_written_public_data_slots_tree_check_updated_low_leaf_poseidon2_settings = lookup_settings< lookup_written_public_data_slots_tree_check_updated_low_leaf_poseidon2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_written_public_data_slots_tree_check_updated_low_leaf_poseidon2_relation = lookup_relation_base< FF_, lookup_written_public_data_slots_tree_check_updated_low_leaf_poseidon2_settings > |
| |
| using | lookup_written_public_data_slots_tree_check_low_leaf_merkle_check_settings = lookup_settings< lookup_written_public_data_slots_tree_check_low_leaf_merkle_check_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_written_public_data_slots_tree_check_low_leaf_merkle_check_relation = lookup_relation_base< FF_, lookup_written_public_data_slots_tree_check_low_leaf_merkle_check_settings > |
| |
| using | lookup_written_public_data_slots_tree_check_low_leaf_slot_validation_settings = lookup_settings< lookup_written_public_data_slots_tree_check_low_leaf_slot_validation_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_written_public_data_slots_tree_check_low_leaf_slot_validation_relation = lookup_relation_base< FF_, lookup_written_public_data_slots_tree_check_low_leaf_slot_validation_settings > |
| |
| using | lookup_written_public_data_slots_tree_check_low_leaf_next_slot_validation_settings = lookup_settings< lookup_written_public_data_slots_tree_check_low_leaf_next_slot_validation_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_written_public_data_slots_tree_check_low_leaf_next_slot_validation_relation = lookup_relation_base< FF_, lookup_written_public_data_slots_tree_check_low_leaf_next_slot_validation_settings > |
| |
| using | lookup_written_public_data_slots_tree_check_new_leaf_poseidon2_settings = lookup_settings< lookup_written_public_data_slots_tree_check_new_leaf_poseidon2_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_written_public_data_slots_tree_check_new_leaf_poseidon2_relation = lookup_relation_base< FF_, lookup_written_public_data_slots_tree_check_new_leaf_poseidon2_settings > |
| |
| using | lookup_written_public_data_slots_tree_check_new_leaf_merkle_check_settings = lookup_settings< lookup_written_public_data_slots_tree_check_new_leaf_merkle_check_settings_ > |
| |
| template<typename FF_ > |
| using | lookup_written_public_data_slots_tree_check_new_leaf_merkle_check_relation = lookup_relation_base< FF_, lookup_written_public_data_slots_tree_check_new_leaf_merkle_check_settings > |
| |
| using | perm_addressing_base_address_from_memory_settings = permutation_settings< perm_addressing_base_address_from_memory_settings_ > |
| |
| template<typename FF_ > |
| using | perm_addressing_base_address_from_memory_relation = permutation_relation_base< FF_, perm_addressing_base_address_from_memory_settings > |
| |
| using | perm_addressing_indirect_from_memory_0_settings = permutation_settings< perm_addressing_indirect_from_memory_0_settings_ > |
| |
| template<typename FF_ > |
| using | perm_addressing_indirect_from_memory_0_relation = permutation_relation_base< FF_, perm_addressing_indirect_from_memory_0_settings > |
| |
| using | perm_addressing_indirect_from_memory_1_settings = permutation_settings< perm_addressing_indirect_from_memory_1_settings_ > |
| |
| template<typename FF_ > |
| using | perm_addressing_indirect_from_memory_1_relation = permutation_relation_base< FF_, perm_addressing_indirect_from_memory_1_settings > |
| |
| using | perm_addressing_indirect_from_memory_2_settings = permutation_settings< perm_addressing_indirect_from_memory_2_settings_ > |
| |
| template<typename FF_ > |
| using | perm_addressing_indirect_from_memory_2_relation = permutation_relation_base< FF_, perm_addressing_indirect_from_memory_2_settings > |
| |
| using | perm_addressing_indirect_from_memory_3_settings = permutation_settings< perm_addressing_indirect_from_memory_3_settings_ > |
| |
| template<typename FF_ > |
| using | perm_addressing_indirect_from_memory_3_relation = permutation_relation_base< FF_, perm_addressing_indirect_from_memory_3_settings > |
| |
| using | perm_addressing_indirect_from_memory_4_settings = permutation_settings< perm_addressing_indirect_from_memory_4_settings_ > |
| |
| template<typename FF_ > |
| using | perm_addressing_indirect_from_memory_4_relation = permutation_relation_base< FF_, perm_addressing_indirect_from_memory_4_settings > |
| |
| using | perm_addressing_indirect_from_memory_5_settings = permutation_settings< perm_addressing_indirect_from_memory_5_settings_ > |
| |
| template<typename FF_ > |
| using | perm_addressing_indirect_from_memory_5_relation = permutation_relation_base< FF_, perm_addressing_indirect_from_memory_5_settings > |
| |
| using | perm_addressing_indirect_from_memory_6_settings = permutation_settings< perm_addressing_indirect_from_memory_6_settings_ > |
| |
| template<typename FF_ > |
| using | perm_addressing_indirect_from_memory_6_relation = permutation_relation_base< FF_, perm_addressing_indirect_from_memory_6_settings > |
| |
| using | perm_bc_hashing_get_packed_field_0_settings = permutation_settings< perm_bc_hashing_get_packed_field_0_settings_ > |
| |
| template<typename FF_ > |
| using | perm_bc_hashing_get_packed_field_0_relation = permutation_relation_base< FF_, perm_bc_hashing_get_packed_field_0_settings > |
| |
| using | perm_bc_hashing_get_packed_field_1_settings = permutation_settings< perm_bc_hashing_get_packed_field_1_settings_ > |
| |
| template<typename FF_ > |
| using | perm_bc_hashing_get_packed_field_1_relation = permutation_relation_base< FF_, perm_bc_hashing_get_packed_field_1_settings > |
| |
| using | perm_bc_hashing_get_packed_field_2_settings = permutation_settings< perm_bc_hashing_get_packed_field_2_settings_ > |
| |
| template<typename FF_ > |
| using | perm_bc_hashing_get_packed_field_2_relation = permutation_relation_base< FF_, perm_bc_hashing_get_packed_field_2_settings > |
| |
| using | perm_data_copy_mem_write_settings = permutation_settings< perm_data_copy_mem_write_settings_ > |
| |
| template<typename FF_ > |
| using | perm_data_copy_mem_write_relation = permutation_relation_base< FF_, perm_data_copy_mem_write_settings > |
| |
| using | perm_data_copy_mem_read_settings = permutation_settings< perm_data_copy_mem_read_settings_ > |
| |
| template<typename FF_ > |
| using | perm_data_copy_mem_read_relation = permutation_relation_base< FF_, perm_data_copy_mem_read_settings > |
| |
| using | perm_ecc_mem_write_mem_0_settings = permutation_settings< perm_ecc_mem_write_mem_0_settings_ > |
| |
| template<typename FF_ > |
| using | perm_ecc_mem_write_mem_0_relation = permutation_relation_base< FF_, perm_ecc_mem_write_mem_0_settings > |
| |
| using | perm_ecc_mem_write_mem_1_settings = permutation_settings< perm_ecc_mem_write_mem_1_settings_ > |
| |
| template<typename FF_ > |
| using | perm_ecc_mem_write_mem_1_relation = permutation_relation_base< FF_, perm_ecc_mem_write_mem_1_settings > |
| |
| using | perm_ecc_mem_write_mem_2_settings = permutation_settings< perm_ecc_mem_write_mem_2_settings_ > |
| |
| template<typename FF_ > |
| using | perm_ecc_mem_write_mem_2_relation = permutation_relation_base< FF_, perm_ecc_mem_write_mem_2_settings > |
| |
| using | perm_emit_unencrypted_log_read_mem_settings = permutation_settings< perm_emit_unencrypted_log_read_mem_settings_ > |
| |
| template<typename FF_ > |
| using | perm_emit_unencrypted_log_read_mem_relation = permutation_relation_base< FF_, perm_emit_unencrypted_log_read_mem_settings > |
| |
| using | perm_execution_dispatch_to_cd_copy_settings = permutation_settings< perm_execution_dispatch_to_cd_copy_settings_ > |
| |
| template<typename FF_ > |
| using | perm_execution_dispatch_to_cd_copy_relation = permutation_relation_base< FF_, perm_execution_dispatch_to_cd_copy_settings > |
| |
| using | perm_execution_dispatch_to_rd_copy_settings = permutation_settings< perm_execution_dispatch_to_rd_copy_settings_ > |
| |
| template<typename FF_ > |
| using | perm_execution_dispatch_to_rd_copy_relation = permutation_relation_base< FF_, perm_execution_dispatch_to_rd_copy_settings > |
| |
| using | perm_execution_dispatch_to_get_contract_instance_settings = permutation_settings< perm_execution_dispatch_to_get_contract_instance_settings_ > |
| |
| template<typename FF_ > |
| using | perm_execution_dispatch_to_get_contract_instance_relation = permutation_relation_base< FF_, perm_execution_dispatch_to_get_contract_instance_settings > |
| |
| using | perm_execution_dispatch_to_poseidon2_perm_settings = permutation_settings< perm_execution_dispatch_to_poseidon2_perm_settings_ > |
| |
| template<typename FF_ > |
| using | perm_execution_dispatch_to_poseidon2_perm_relation = permutation_relation_base< FF_, perm_execution_dispatch_to_poseidon2_perm_settings > |
| |
| using | perm_execution_dispatch_to_sha256_compression_settings = permutation_settings< perm_execution_dispatch_to_sha256_compression_settings_ > |
| |
| template<typename FF_ > |
| using | perm_execution_dispatch_to_sha256_compression_relation = permutation_relation_base< FF_, perm_execution_dispatch_to_sha256_compression_settings > |
| |
| using | perm_execution_dispatch_to_keccakf1600_settings = permutation_settings< perm_execution_dispatch_to_keccakf1600_settings_ > |
| |
| template<typename FF_ > |
| using | perm_execution_dispatch_to_keccakf1600_relation = permutation_relation_base< FF_, perm_execution_dispatch_to_keccakf1600_settings > |
| |
| using | perm_execution_dispatch_to_ecc_add_settings = permutation_settings< perm_execution_dispatch_to_ecc_add_settings_ > |
| |
| template<typename FF_ > |
| using | perm_execution_dispatch_to_ecc_add_relation = permutation_relation_base< FF_, perm_execution_dispatch_to_ecc_add_settings > |
| |
| using | perm_execution_dispatch_to_to_radix_settings = permutation_settings< perm_execution_dispatch_to_to_radix_settings_ > |
| |
| template<typename FF_ > |
| using | perm_execution_dispatch_to_to_radix_relation = permutation_relation_base< FF_, perm_execution_dispatch_to_to_radix_settings > |
| |
| using | perm_get_contract_instance_mem_write_contract_instance_exists_settings = permutation_settings< perm_get_contract_instance_mem_write_contract_instance_exists_settings_ > |
| |
| template<typename FF_ > |
| using | perm_get_contract_instance_mem_write_contract_instance_exists_relation = permutation_relation_base< FF_, perm_get_contract_instance_mem_write_contract_instance_exists_settings > |
| |
| using | perm_get_contract_instance_mem_write_contract_instance_member_settings = permutation_settings< perm_get_contract_instance_mem_write_contract_instance_member_settings_ > |
| |
| template<typename FF_ > |
| using | perm_get_contract_instance_mem_write_contract_instance_member_relation = permutation_relation_base< FF_, perm_get_contract_instance_mem_write_contract_instance_member_settings > |
| |
| using | perm_keccak_memory_slice_to_mem_settings = permutation_settings< perm_keccak_memory_slice_to_mem_settings_ > |
| |
| template<typename FF_ > |
| using | perm_keccak_memory_slice_to_mem_relation = permutation_relation_base< FF_, perm_keccak_memory_slice_to_mem_settings > |
| |
| using | perm_keccakf1600_read_to_slice_settings = permutation_settings< perm_keccakf1600_read_to_slice_settings_ > |
| |
| template<typename FF_ > |
| using | perm_keccakf1600_read_to_slice_relation = permutation_relation_base< FF_, perm_keccakf1600_read_to_slice_settings > |
| |
| using | perm_keccakf1600_write_to_slice_settings = permutation_settings< perm_keccakf1600_write_to_slice_settings_ > |
| |
| template<typename FF_ > |
| using | perm_keccakf1600_write_to_slice_relation = permutation_relation_base< FF_, perm_keccakf1600_write_to_slice_settings > |
| |
| using | perm_poseidon2_mem_pos_read_mem_0_settings = permutation_settings< perm_poseidon2_mem_pos_read_mem_0_settings_ > |
| |
| template<typename FF_ > |
| using | perm_poseidon2_mem_pos_read_mem_0_relation = permutation_relation_base< FF_, perm_poseidon2_mem_pos_read_mem_0_settings > |
| |
| using | perm_poseidon2_mem_pos_read_mem_1_settings = permutation_settings< perm_poseidon2_mem_pos_read_mem_1_settings_ > |
| |
| template<typename FF_ > |
| using | perm_poseidon2_mem_pos_read_mem_1_relation = permutation_relation_base< FF_, perm_poseidon2_mem_pos_read_mem_1_settings > |
| |
| using | perm_poseidon2_mem_pos_read_mem_2_settings = permutation_settings< perm_poseidon2_mem_pos_read_mem_2_settings_ > |
| |
| template<typename FF_ > |
| using | perm_poseidon2_mem_pos_read_mem_2_relation = permutation_relation_base< FF_, perm_poseidon2_mem_pos_read_mem_2_settings > |
| |
| using | perm_poseidon2_mem_pos_read_mem_3_settings = permutation_settings< perm_poseidon2_mem_pos_read_mem_3_settings_ > |
| |
| template<typename FF_ > |
| using | perm_poseidon2_mem_pos_read_mem_3_relation = permutation_relation_base< FF_, perm_poseidon2_mem_pos_read_mem_3_settings > |
| |
| using | perm_poseidon2_mem_pos_write_mem_0_settings = permutation_settings< perm_poseidon2_mem_pos_write_mem_0_settings_ > |
| |
| template<typename FF_ > |
| using | perm_poseidon2_mem_pos_write_mem_0_relation = permutation_relation_base< FF_, perm_poseidon2_mem_pos_write_mem_0_settings > |
| |
| using | perm_poseidon2_mem_pos_write_mem_1_settings = permutation_settings< perm_poseidon2_mem_pos_write_mem_1_settings_ > |
| |
| template<typename FF_ > |
| using | perm_poseidon2_mem_pos_write_mem_1_relation = permutation_relation_base< FF_, perm_poseidon2_mem_pos_write_mem_1_settings > |
| |
| using | perm_poseidon2_mem_pos_write_mem_2_settings = permutation_settings< perm_poseidon2_mem_pos_write_mem_2_settings_ > |
| |
| template<typename FF_ > |
| using | perm_poseidon2_mem_pos_write_mem_2_relation = permutation_relation_base< FF_, perm_poseidon2_mem_pos_write_mem_2_settings > |
| |
| using | perm_poseidon2_mem_pos_write_mem_3_settings = permutation_settings< perm_poseidon2_mem_pos_write_mem_3_settings_ > |
| |
| template<typename FF_ > |
| using | perm_poseidon2_mem_pos_write_mem_3_relation = permutation_relation_base< FF_, perm_poseidon2_mem_pos_write_mem_3_settings > |
| |
| using | perm_public_data_check_squashing_settings = permutation_settings< perm_public_data_check_squashing_settings_ > |
| |
| template<typename FF_ > |
| using | perm_public_data_check_squashing_relation = permutation_relation_base< FF_, perm_public_data_check_squashing_settings > |
| |
| using | perm_registers_mem_op_0_settings = permutation_settings< perm_registers_mem_op_0_settings_ > |
| |
| template<typename FF_ > |
| using | perm_registers_mem_op_0_relation = permutation_relation_base< FF_, perm_registers_mem_op_0_settings > |
| |
| using | perm_registers_mem_op_1_settings = permutation_settings< perm_registers_mem_op_1_settings_ > |
| |
| template<typename FF_ > |
| using | perm_registers_mem_op_1_relation = permutation_relation_base< FF_, perm_registers_mem_op_1_settings > |
| |
| using | perm_registers_mem_op_2_settings = permutation_settings< perm_registers_mem_op_2_settings_ > |
| |
| template<typename FF_ > |
| using | perm_registers_mem_op_2_relation = permutation_relation_base< FF_, perm_registers_mem_op_2_settings > |
| |
| using | perm_registers_mem_op_3_settings = permutation_settings< perm_registers_mem_op_3_settings_ > |
| |
| template<typename FF_ > |
| using | perm_registers_mem_op_3_relation = permutation_relation_base< FF_, perm_registers_mem_op_3_settings > |
| |
| using | perm_registers_mem_op_4_settings = permutation_settings< perm_registers_mem_op_4_settings_ > |
| |
| template<typename FF_ > |
| using | perm_registers_mem_op_4_relation = permutation_relation_base< FF_, perm_registers_mem_op_4_settings > |
| |
| using | perm_registers_mem_op_5_settings = permutation_settings< perm_registers_mem_op_5_settings_ > |
| |
| template<typename FF_ > |
| using | perm_registers_mem_op_5_relation = permutation_relation_base< FF_, perm_registers_mem_op_5_settings > |
| |
| using | perm_sha256_mem_mem_op_0_settings = permutation_settings< perm_sha256_mem_mem_op_0_settings_ > |
| |
| template<typename FF_ > |
| using | perm_sha256_mem_mem_op_0_relation = permutation_relation_base< FF_, perm_sha256_mem_mem_op_0_settings > |
| |
| using | perm_sha256_mem_mem_op_1_settings = permutation_settings< perm_sha256_mem_mem_op_1_settings_ > |
| |
| template<typename FF_ > |
| using | perm_sha256_mem_mem_op_1_relation = permutation_relation_base< FF_, perm_sha256_mem_mem_op_1_settings > |
| |
| using | perm_sha256_mem_mem_op_2_settings = permutation_settings< perm_sha256_mem_mem_op_2_settings_ > |
| |
| template<typename FF_ > |
| using | perm_sha256_mem_mem_op_2_relation = permutation_relation_base< FF_, perm_sha256_mem_mem_op_2_settings > |
| |
| using | perm_sha256_mem_mem_op_3_settings = permutation_settings< perm_sha256_mem_mem_op_3_settings_ > |
| |
| template<typename FF_ > |
| using | perm_sha256_mem_mem_op_3_relation = permutation_relation_base< FF_, perm_sha256_mem_mem_op_3_settings > |
| |
| using | perm_sha256_mem_mem_op_4_settings = permutation_settings< perm_sha256_mem_mem_op_4_settings_ > |
| |
| template<typename FF_ > |
| using | perm_sha256_mem_mem_op_4_relation = permutation_relation_base< FF_, perm_sha256_mem_mem_op_4_settings > |
| |
| using | perm_sha256_mem_mem_op_5_settings = permutation_settings< perm_sha256_mem_mem_op_5_settings_ > |
| |
| template<typename FF_ > |
| using | perm_sha256_mem_mem_op_5_relation = permutation_relation_base< FF_, perm_sha256_mem_mem_op_5_settings > |
| |
| using | perm_sha256_mem_mem_op_6_settings = permutation_settings< perm_sha256_mem_mem_op_6_settings_ > |
| |
| template<typename FF_ > |
| using | perm_sha256_mem_mem_op_6_relation = permutation_relation_base< FF_, perm_sha256_mem_mem_op_6_settings > |
| |
| using | perm_sha256_mem_mem_op_7_settings = permutation_settings< perm_sha256_mem_mem_op_7_settings_ > |
| |
| template<typename FF_ > |
| using | perm_sha256_mem_mem_op_7_relation = permutation_relation_base< FF_, perm_sha256_mem_mem_op_7_settings > |
| |
| using | perm_sha256_mem_mem_input_read_settings = permutation_settings< perm_sha256_mem_mem_input_read_settings_ > |
| |
| template<typename FF_ > |
| using | perm_sha256_mem_mem_input_read_relation = permutation_relation_base< FF_, perm_sha256_mem_mem_input_read_settings > |
| |
| using | perm_sstore_storage_write_settings = permutation_settings< perm_sstore_storage_write_settings_ > |
| |
| template<typename FF_ > |
| using | perm_sstore_storage_write_relation = permutation_relation_base< FF_, perm_sstore_storage_write_settings > |
| |
| using | perm_to_radix_mem_write_mem_settings = permutation_settings< perm_to_radix_mem_write_mem_settings_ > |
| |
| template<typename FF_ > |
| using | perm_to_radix_mem_write_mem_relation = permutation_relation_base< FF_, perm_to_radix_mem_write_mem_settings > |
| |
| using | perm_tx_balance_update_settings = permutation_settings< perm_tx_balance_update_settings_ > |
| |
| template<typename FF_ > |
| using | perm_tx_balance_update_relation = permutation_relation_base< FF_, perm_tx_balance_update_settings > |
| |
|
| bool | is_operand_relative (uint16_t indirect_flag, size_t operand_index) |
| |
| bool | is_operand_indirect (uint16_t indirect_flag, size_t operand_index) |
| |
| bool | is_valid_debug_log_level (uint8_t v) |
| |
| std::string | debug_log_level_to_string (DebugLogLevel lvl) |
| |
| bool | is_protocol_contract_address (const AztecAddress &address) |
| |
| std::optional< AztecAddress > | get_derived_address (const ProtocolContracts &protocol_contracts, const AztecAddress &canonical_address) |
| |
| uint32_t | compute_addressing_gas (uint16_t indirect_flag) |
| |
| std::ostream & | operator<< (std::ostream &os, const WireOpCode &op) |
| |
| std::ostream & | operator<< (std::ostream &os, const ExecutionOpCode &op) |
| |
| template<typename T > |
| std::ostream & | operator<< (std::ostream &os, const StandardAffinePoint< T > &point) |
| |
| std::string | field_to_string (const FF &ff) |
| |
template<typename T >
requires (std::unsigned_integral<T>) |
| std::string | to_hex (T value) |
| |
| template<size_t N> |
| std::string | to_string (const std::array< FF, N > &arr) |
| |
| template<size_t N> |
| std::string | column_values_to_string (const std::array< FF, N > &arr, const std::array< ColumnAndShifts, N > &columns) |
| |
| uint8_t | get_tag_bits (ValueTag tag) |
| |
| uint8_t | get_tag_bytes (ValueTag tag) |
| |
| uint256_t | get_tag_max_value (ValueTag tag) |
| |
| template<typename T > |
| ValueTag | tag_for_type () |
| |
| const std::array< std::vector< uint8_t >, 257 > & | get_p_limbs_per_radix () |
| |
| size_t | get_p_limbs_per_radix_size (size_t radix) |
| |
| | ACCUMULATE (address_derivationImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (address_derivationImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (address_derivationImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (address_derivationImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (address_derivationImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (addressingImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (addressingImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (addressingImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (addressingImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (addressingImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (aluImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (aluImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (aluImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (aluImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (aluImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (bc_decompositionImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (bc_decompositionImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (bc_decompositionImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (bc_decompositionImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (bc_decompositionImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (bc_hashingImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (bc_hashingImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (bc_hashingImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (bc_hashingImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (bc_hashingImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (bc_retrievalImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (bc_retrievalImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (bc_retrievalImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (bc_retrievalImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (bc_retrievalImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (bitwiseImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (bitwiseImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (bitwiseImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (bitwiseImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (bitwiseImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (calldataImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (calldataImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (calldataImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (calldataImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (calldataImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (calldata_hashingImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (calldata_hashingImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (calldata_hashingImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (calldata_hashingImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (calldata_hashingImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (class_id_derivationImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (class_id_derivationImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (class_id_derivationImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (class_id_derivationImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (class_id_derivationImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (contextImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (contextImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (contextImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (contextImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (contextImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (context_stackImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (context_stackImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (context_stackImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (context_stackImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (context_stackImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (contract_instance_retrievalImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (contract_instance_retrievalImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (contract_instance_retrievalImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (contract_instance_retrievalImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (contract_instance_retrievalImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (data_copyImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (data_copyImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (data_copyImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (data_copyImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (data_copyImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (discardImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (discardImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (discardImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (discardImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (discardImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (eccImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (eccImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (eccImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (eccImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (eccImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (ecc_memImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (ecc_memImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (ecc_memImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (ecc_memImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (ecc_memImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (emit_notehashImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (emit_notehashImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (emit_notehashImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (emit_notehashImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (emit_notehashImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (emit_nullifierImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (emit_nullifierImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (emit_nullifierImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (emit_nullifierImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (emit_nullifierImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (emit_unencrypted_logImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (emit_unencrypted_logImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (emit_unencrypted_logImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (emit_unencrypted_logImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (emit_unencrypted_logImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (executionImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (executionImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (executionImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (executionImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (executionImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (external_callImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (external_callImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (external_callImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (external_callImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (external_callImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (ff_gtImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (ff_gtImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (ff_gtImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (ff_gtImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (ff_gtImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (gasImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (gasImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (gasImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (gasImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (gasImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (get_contract_instanceImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (get_contract_instanceImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (get_contract_instanceImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (get_contract_instanceImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (get_contract_instanceImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (get_env_varImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (get_env_varImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (get_env_varImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (get_env_varImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (get_env_varImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (gtImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (gtImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (gtImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (gtImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (gtImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (instr_fetchingImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (instr_fetchingImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (instr_fetchingImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (instr_fetchingImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (instr_fetchingImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (internal_callImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (internal_callImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (internal_callImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (internal_callImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (internal_callImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (internal_call_stackImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (internal_call_stackImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (internal_call_stackImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (internal_call_stackImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (internal_call_stackImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (keccak_memoryImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (keccak_memoryImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (keccak_memoryImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (keccak_memoryImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (keccak_memoryImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (keccakf1600Impl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (keccakf1600Impl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (keccakf1600Impl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (keccakf1600Impl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (keccakf1600Impl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (l1_to_l2_message_existsImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (l1_to_l2_message_existsImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (l1_to_l2_message_existsImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (l1_to_l2_message_existsImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (l1_to_l2_message_existsImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (l1_to_l2_message_tree_checkImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (l1_to_l2_message_tree_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (l1_to_l2_message_tree_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (l1_to_l2_message_tree_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (l1_to_l2_message_tree_checkImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | INSTANTIATE_LOOKUP (lookup_address_derivation_salted_initialization_hash_poseidon2_0_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_address_derivation_salted_initialization_hash_poseidon2_1_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_address_derivation_partial_address_poseidon2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_address_derivation_public_keys_hash_poseidon2_0_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_address_derivation_public_keys_hash_poseidon2_1_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_address_derivation_public_keys_hash_poseidon2_2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_address_derivation_public_keys_hash_poseidon2_3_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_address_derivation_public_keys_hash_poseidon2_4_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_address_derivation_preaddress_poseidon2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_address_derivation_preaddress_scalar_mul_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_address_derivation_address_ecadd_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_addressing_relative_overflow_result_0_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_addressing_relative_overflow_result_1_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_addressing_relative_overflow_result_2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_addressing_relative_overflow_result_3_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_addressing_relative_overflow_result_4_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_addressing_relative_overflow_result_5_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_addressing_relative_overflow_result_6_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_alu_tag_max_bits_value_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_alu_range_check_decomposition_a_lo_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_alu_range_check_decomposition_a_hi_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_alu_range_check_decomposition_b_lo_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_alu_range_check_decomposition_b_hi_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_alu_range_check_mul_u128_c_hi_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_alu_gt_div_remainder_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_alu_ff_gt_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_alu_int_gt_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_alu_shifts_two_pow_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_alu_large_trunc_canonical_dec_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_alu_range_check_trunc_mid_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_bc_decomposition_bytes_are_bytes_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_bc_hashing_check_final_bytes_remaining_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_bc_hashing_poseidon2_hash_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_bc_retrieval_contract_instance_retrieval_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_bc_retrieval_is_new_class_check_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_bc_retrieval_class_id_derivation_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_bc_retrieval_retrieved_bytecodes_insertion_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_bitwise_integral_tag_length_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_bitwise_byte_operations_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_calldata_range_check_context_id_diff_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_calldata_hashing_get_calldata_field_0_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_calldata_hashing_get_calldata_field_1_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_calldata_hashing_get_calldata_field_2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_calldata_hashing_check_final_size_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_calldata_hashing_poseidon2_hash_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_class_id_derivation_class_id_poseidon2_0_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_class_id_derivation_class_id_poseidon2_1_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_context_ctx_stack_call_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_context_ctx_stack_rollback_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_context_ctx_stack_return_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_contract_instance_retrieval_check_protocol_address_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_contract_instance_retrieval_read_derived_address_from_public_inputs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_contract_instance_retrieval_deployment_nullifier_read_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_contract_instance_retrieval_address_derivation_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_contract_instance_retrieval_update_check_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_data_copy_max_read_index_gt_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_data_copy_check_src_addr_in_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_data_copy_check_dst_addr_in_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_data_copy_offset_gt_max_read_index_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_data_copy_col_read_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_ecc_mem_check_dst_addr_in_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_ecc_mem_input_output_ecc_add_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_emit_notehash_notehash_tree_write_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_emit_nullifier_write_nullifier_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_emit_unencrypted_log_check_memory_out_of_bounds_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_emit_unencrypted_log_check_log_fields_count_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_emit_unencrypted_log_write_data_to_public_inputs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_execution_bytecode_retrieval_result_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_execution_instruction_fetching_result_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_execution_instruction_fetching_body_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_execution_exec_spec_read_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_execution_dyn_l2_factor_bitwise_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_execution_check_radix_gt_256_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_execution_get_p_limbs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_execution_get_max_limbs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_execution_check_written_storage_slot_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_execution_dispatch_to_alu_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_execution_dispatch_to_bitwise_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_execution_dispatch_to_cast_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_execution_dispatch_to_set_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_execution_dispatch_to_emit_unencrypted_log_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_external_call_call_is_l2_gas_allocated_lt_left_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_external_call_call_is_da_gas_allocated_lt_left_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_ff_gt_a_lo_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_ff_gt_a_hi_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_gas_addressing_gas_read_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_gas_is_out_of_gas_l2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_gas_is_out_of_gas_da_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_get_contract_instance_precomputed_info_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_get_contract_instance_contract_instance_retrieval_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_get_env_var_precomputed_info_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_get_env_var_read_from_public_inputs_col0_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_get_env_var_read_from_public_inputs_col1_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_gt_gt_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_instr_fetching_pc_abs_diff_positive_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_instr_fetching_instr_abs_diff_positive_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_instr_fetching_tag_value_validation_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_instr_fetching_bytecode_size_from_bc_dec_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_instr_fetching_bytes_from_bc_dec_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_instr_fetching_wire_instruction_info_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_internal_call_push_call_stack_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_internal_call_unwind_call_stack_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_01_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_02_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_03_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_row_0_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_11_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_12_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_13_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_row_1_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_21_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_22_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_23_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_row_2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_31_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_32_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_33_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_row_3_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_41_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_42_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_43_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_xor_row_4_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_combined_xor_0_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_combined_xor_1_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_combined_xor_2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_combined_xor_3_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_combined_xor_4_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_00_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_01_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_02_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_03_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_04_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_10_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_11_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_12_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_13_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_14_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_20_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_21_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_22_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_23_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_24_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_30_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_31_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_32_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_33_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_34_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_40_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_41_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_42_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_43_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_theta_44_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_02_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_04_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_10_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_12_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_14_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_21_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_23_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_30_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_32_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_33_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_40_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_41_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_43_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_44_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_01_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_03_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_11_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_13_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_20_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_22_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_24_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_31_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_34_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_theta_limb_42_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_00_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_01_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_02_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_03_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_04_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_10_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_11_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_12_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_13_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_14_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_20_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_21_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_22_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_23_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_24_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_30_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_31_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_32_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_33_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_34_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_40_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_41_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_42_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_43_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_pi_and_44_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_00_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_01_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_02_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_03_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_04_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_10_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_11_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_12_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_13_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_14_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_20_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_21_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_22_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_23_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_24_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_30_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_31_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_32_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_33_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_34_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_40_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_41_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_42_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_43_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_chi_44_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_round_cst_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_state_iota_00_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_src_out_of_range_toggle_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_keccakf1600_dst_out_of_range_toggle_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_l1_to_l2_message_exists_l1_to_l2_msg_leaf_index_in_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_l1_to_l2_message_exists_l1_to_l2_msg_read_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_l1_to_l2_message_tree_check_merkle_check_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_memory_range_check_limb_0_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_memory_range_check_limb_1_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_memory_range_check_limb_2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_memory_tag_max_bits_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_memory_range_check_write_tagged_value_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_merkle_check_merkle_poseidon2_read_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_merkle_check_merkle_poseidon2_write_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_note_hash_tree_check_silo_poseidon2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_note_hash_tree_check_read_first_nullifier_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_note_hash_tree_check_nonce_computation_poseidon2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_note_hash_tree_check_unique_note_hash_poseidon2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_note_hash_tree_check_merkle_check_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_note_hash_tree_check_write_note_hash_to_public_inputs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_notehash_exists_note_hash_leaf_index_in_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_notehash_exists_note_hash_read_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_nullifier_check_silo_poseidon2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_nullifier_check_low_leaf_poseidon2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_nullifier_check_updated_low_leaf_poseidon2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_nullifier_check_low_leaf_merkle_check_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_nullifier_check_low_leaf_nullifier_validation_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_nullifier_check_low_leaf_next_nullifier_validation_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_nullifier_check_new_leaf_poseidon2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_nullifier_check_new_leaf_merkle_check_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_nullifier_check_write_nullifier_to_public_inputs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_nullifier_exists_nullifier_exists_check_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_poseidon2_hash_poseidon2_perm_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_poseidon2_mem_check_src_addr_in_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_poseidon2_mem_check_dst_addr_in_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_poseidon2_mem_input_output_poseidon2_perm_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_public_data_check_clk_diff_range_lo_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_public_data_check_clk_diff_range_hi_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_public_data_check_silo_poseidon2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_public_data_check_low_leaf_slot_validation_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_public_data_check_low_leaf_next_slot_validation_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_public_data_check_low_leaf_poseidon2_0_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_public_data_check_low_leaf_poseidon2_1_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_public_data_check_updated_low_leaf_poseidon2_0_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_public_data_check_updated_low_leaf_poseidon2_1_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_public_data_check_low_leaf_merkle_check_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_public_data_check_new_leaf_poseidon2_0_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_public_data_check_new_leaf_poseidon2_1_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_public_data_check_new_leaf_merkle_check_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_public_data_check_write_public_data_to_public_inputs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_public_data_check_write_writes_length_to_public_inputs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_public_data_squash_leaf_slot_increase_ff_gt_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_public_data_squash_clk_diff_range_lo_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_public_data_squash_clk_diff_range_hi_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_range_check_dyn_rng_chk_pow_2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_range_check_dyn_diff_is_u16_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_range_check_r0_is_u16_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_range_check_r1_is_u16_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_range_check_r2_is_u16_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_range_check_r3_is_u16_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_range_check_r4_is_u16_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_range_check_r5_is_u16_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_range_check_r6_is_u16_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_range_check_r7_is_u16_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_retrieved_bytecodes_tree_check_low_leaf_poseidon2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_retrieved_bytecodes_tree_check_updated_low_leaf_poseidon2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_retrieved_bytecodes_tree_check_low_leaf_merkle_check_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_retrieved_bytecodes_tree_check_low_leaf_class_id_validation_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_retrieved_bytecodes_tree_check_low_leaf_next_class_id_validation_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_retrieved_bytecodes_tree_check_new_leaf_poseidon2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_retrieved_bytecodes_tree_check_new_leaf_merkle_check_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_scalar_mul_to_radix_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_scalar_mul_double_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_scalar_mul_add_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_send_l2_to_l1_msg_write_l2_to_l1_msg_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_comp_w_lhs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_comp_w_rhs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_rhs_w_7_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_rhs_w_18_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_rhs_w_3_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_w_s_0_xor_0_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_w_s_0_xor_1_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_rhs_w_17_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_rhs_w_19_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_rhs_w_10_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_w_s_1_xor_0_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_w_s_1_xor_1_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_rhs_e_6_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_rhs_e_11_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_rhs_e_25_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_s_1_xor_0_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_s_1_xor_1_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_ch_and_0_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_ch_and_1_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_ch_xor_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_round_constant_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_rhs_a_2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_rhs_a_13_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_rhs_a_22_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_s_0_xor_0_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_s_0_xor_1_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_maj_and_0_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_maj_and_1_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_maj_and_2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_maj_xor_0_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_maj_xor_1_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_comp_next_a_lhs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_comp_next_a_rhs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_comp_next_e_lhs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_comp_next_e_rhs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_comp_a_lhs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_comp_a_rhs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_comp_b_lhs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_comp_b_rhs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_comp_c_lhs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_comp_c_rhs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_comp_d_lhs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_comp_d_rhs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_comp_e_lhs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_comp_e_rhs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_comp_f_lhs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_comp_f_rhs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_comp_g_lhs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_comp_g_rhs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_comp_h_lhs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_range_comp_h_rhs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_mem_check_state_addr_in_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_mem_check_input_addr_in_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sha256_mem_check_output_addr_in_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sload_storage_read_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_sstore_record_written_storage_slot_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_to_radix_limb_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_to_radix_limb_less_than_radix_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_to_radix_fetch_safe_limbs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_to_radix_fetch_p_limb_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_to_radix_limb_p_diff_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_to_radix_mem_check_dst_addr_in_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_to_radix_mem_check_radix_lt_2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_to_radix_mem_check_radix_gt_256_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_to_radix_mem_input_output_to_radix_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_read_phase_table_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_phase_jump_on_revert_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_read_phase_length_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_read_calldata_hash_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_read_public_call_request_phase_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_dispatch_exec_start_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_dispatch_exec_end_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_read_tree_insert_value_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_note_hash_append_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_nullifier_append_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_read_l2_l1_msg_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_write_l2_l1_msg_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_read_effective_fee_public_inputs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_read_fee_payer_public_inputs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_balance_slot_poseidon2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_balance_read_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_balance_validation_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_write_fee_public_inputs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_context_public_inputs_note_hash_tree_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_context_public_inputs_nullifier_tree_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_context_public_inputs_public_data_tree_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_context_public_inputs_l1_l2_tree_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_context_public_inputs_gas_used_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_context_public_inputs_read_gas_limit_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_context_restore_state_on_revert_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_context_public_inputs_write_note_hash_count_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_context_public_inputs_write_nullifier_count_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_context_public_inputs_write_l2_to_l1_message_count_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_tx_context_public_inputs_write_unencrypted_log_count_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_update_check_timestamp_from_public_inputs_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_update_check_delayed_public_mutable_slot_poseidon2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_update_check_update_hash_public_data_read_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_update_check_update_hash_poseidon2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_update_check_update_hi_metadata_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_update_check_update_lo_metadata_range_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_update_check_timestamp_is_lt_timestamp_of_change_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_written_public_data_slots_tree_check_silo_poseidon2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_written_public_data_slots_tree_check_low_leaf_poseidon2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_written_public_data_slots_tree_check_updated_low_leaf_poseidon2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_written_public_data_slots_tree_check_low_leaf_merkle_check_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_written_public_data_slots_tree_check_low_leaf_slot_validation_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_written_public_data_slots_tree_check_low_leaf_next_slot_validation_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_written_public_data_slots_tree_check_new_leaf_poseidon2_relation) |
| |
| | INSTANTIATE_LOOKUP (lookup_written_public_data_slots_tree_check_new_leaf_merkle_check_relation) |
| |
| | ACCUMULATE (memoryImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (memoryImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (memoryImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (memoryImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (memoryImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (merkle_checkImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (merkle_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (merkle_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (merkle_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (merkle_checkImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (note_hash_tree_checkImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (note_hash_tree_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (note_hash_tree_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (note_hash_tree_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (note_hash_tree_checkImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (notehash_existsImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (notehash_existsImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (notehash_existsImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (notehash_existsImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (notehash_existsImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (nullifier_checkImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (nullifier_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (nullifier_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (nullifier_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (nullifier_checkImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (nullifier_existsImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (nullifier_existsImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (nullifier_existsImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (nullifier_existsImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (nullifier_existsImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (poseidon2_hashImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (poseidon2_hashImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (poseidon2_hashImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (poseidon2_hashImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (poseidon2_hashImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (poseidon2_memImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (poseidon2_memImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (poseidon2_memImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (poseidon2_memImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (poseidon2_memImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (public_data_checkImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (public_data_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (public_data_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (public_data_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (public_data_checkImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (public_data_squashImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (public_data_squashImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (public_data_squashImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (public_data_squashImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (public_data_squashImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (range_checkImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (range_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (range_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (range_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (range_checkImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (registersImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (registersImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (registersImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (registersImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (registersImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (retrieved_bytecodes_tree_checkImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (retrieved_bytecodes_tree_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (retrieved_bytecodes_tree_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (retrieved_bytecodes_tree_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (retrieved_bytecodes_tree_checkImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (scalar_mulImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (scalar_mulImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (scalar_mulImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (scalar_mulImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (scalar_mulImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (send_l2_to_l1_msgImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (send_l2_to_l1_msgImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (send_l2_to_l1_msgImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (send_l2_to_l1_msgImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (send_l2_to_l1_msgImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (sha256Impl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (sha256Impl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (sha256Impl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (sha256Impl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (sha256Impl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (sha256_memImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (sha256_memImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (sha256_memImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (sha256_memImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (sha256_memImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (sloadImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (sloadImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (sloadImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (sloadImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (sloadImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (sstoreImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (sstoreImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (sstoreImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (sstoreImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (sstoreImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (to_radixImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (to_radixImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (to_radixImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (to_radixImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (to_radixImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (to_radix_memImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (to_radix_memImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (to_radix_memImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (to_radix_memImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (to_radix_memImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (txImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (txImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (txImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (txImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (txImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (tx_contextImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (tx_contextImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (tx_contextImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (tx_contextImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (tx_contextImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (tx_discardImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (tx_discardImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (tx_discardImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (tx_discardImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (tx_discardImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (update_checkImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (update_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (update_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (update_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (update_checkImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (written_public_data_slots_tree_checkImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (written_public_data_slots_tree_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (written_public_data_slots_tree_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (written_public_data_slots_tree_checkImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (written_public_data_slots_tree_checkImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (optimized_poseidon2_permImpl, AvmFlavor, SumcheckTupleOfUnivariatesOverSubrelations, ExtendedEdge) |
| |
| | ACCUMULATE (optimized_poseidon2_permImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |
| | ACCUMULATE (optimized_poseidon2_permImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckCircuitEdge) |
| |
| | ACCUMULATE (optimized_poseidon2_permImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, AvmCheckRelationEdge) |
| |
| | ACCUMULATE (optimized_poseidon2_permImpl, AvmRecursiveFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge) |
| |