diff --git a/ipa-core/src/protocol/step/steps.txt b/ipa-core/src/protocol/step/steps.txt index 8ad49b639..ab8e9a427 100644 --- a/ipa-core/src/protocol/step/steps.txt +++ b/ipa-core/src/protocol/step/steps.txt @@ -12,6 +12,15 @@ ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attrib ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth3 ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth4 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth5 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth6 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::accumulate_credit::Step::active_bit_times_stop_bit ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth0 @@ -26,6 +35,15 @@ ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attrib ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth3 ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth4 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth5 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth6 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::apply_attribution_window::Step::compare_bit_times_trigger_value ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::apply_attribution_window::Step::initialize_time_delta ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::apply_attribution_window::Step::random_bits_for_bit_decomposition @@ -417,8 +435,21 @@ ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attrib ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth2/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth2/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth3 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_credit_or_credit_update ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth4 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_credit_or_credit_update +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth5 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_credit_or_credit_update +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth6 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_credit_or_credit_update +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::if_current_exceeds_cap_or_else ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::if_next_event_has_same_match_key_or_else ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::if_next_exceeds_cap_or_else @@ -512,6 +543,18 @@ ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attrib ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_credit_or_credit_update ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth4 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_credit_or_credit_update +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth5 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_credit_or_credit_update +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth6 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_credit_or_credit_update +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_times_helper_bit ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::random_bits_for_comparison ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::random_bits_for_comparison/ipa_core::protocol::boolean::random_bits_generator::FallbackStep::fallback @@ -1286,6 +1329,27 @@ ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::contex ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth4 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth5 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth6 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::accumulate_credit::Step::active_bit_times_stop_bit ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::accumulate_credit::Step::active_bit_times_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::accumulate_credit/ipa_core::protocol::attribution::accumulate_credit::Step::active_bit_times_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation @@ -1316,6 +1380,27 @@ ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::contex ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth4 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth5 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth6 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::apply_attribution_window::Step::compare_bit_times_trigger_value ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::apply_attribution_window::Step::compare_bit_times_trigger_value/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::apply_attribution_window/ipa_core::protocol::attribution::apply_attribution_window::Step::compare_bit_times_trigger_value/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation @@ -2150,10 +2235,43 @@ ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::contex ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth2/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth2/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth3 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_credit_or_credit_update +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_credit_or_credit_update/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_credit_or_credit_update/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth4 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_credit_or_credit_update +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_credit_or_credit_update/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_credit_or_credit_update/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth5 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_credit_or_credit_update +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_credit_or_credit_update/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_credit_or_credit_update/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth6 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_credit_or_credit_update +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_credit_or_credit_update/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_credit_or_credit_update/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::if_current_exceeds_cap_or_else ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::if_current_exceeds_cap_or_else/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::if_current_exceeds_cap_or_else/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation @@ -2409,6 +2527,36 @@ ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::contex ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth3/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth4 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_credit_or_credit_update +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_credit_or_credit_update/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_credit_or_credit_update/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth4/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth5 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_credit_or_credit_update +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_credit_or_credit_update/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_credit_or_credit_update/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth5/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth6 +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_credit_or_credit_update +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_credit_or_credit_update/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_credit_or_credit_update/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_credit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation +ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_compare_bits/ipa_core::protocol::attribution::InteractionPatternStep::depth6/ipa_core::protocol::attribution::Step::current_stop_bit_times_successor_stop_bit ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_times_helper_bit ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_times_helper_bit/ipa_core::protocol::basics::mul::malicious::Step::duplicate_multiply ipa_core::protocol::ipa::Step::after_convert_all_bits/ipa_core::protocol::context::validator::Step::malicious_protocol/ipa_core::protocol::attribution::AttributionStep::perform_user_capping/ipa_core::protocol::attribution::credit_capping::Step::prefix_or_times_helper_bit/ipa_core::protocol::basics::mul::malicious::Step::randomness_for_validation @@ -7991,42 +8139,7 @@ ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass12/ipa_core::protocol::ipa_prf::quicksort::Step::reveal ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13 ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit0 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit1 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit10 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit11 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit12 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit13 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit14 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit15 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit16 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit17 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit18 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit19 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit2 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit20 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit21 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit22 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit23 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit24 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit25 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit26 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit27 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit28 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit29 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit3 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit30 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit31 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit4 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit5 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit6 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit7 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit8 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit9 ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass13/ipa_core::protocol::ipa_prf::quicksort::Step::reveal -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass14 -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass14/ipa_core::protocol::ipa_prf::quicksort::Step::compare -ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass14/ipa_core::protocol::ipa_prf::quicksort::Step::reveal ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass2 ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass2/ipa_core::protocol::ipa_prf::quicksort::Step::compare ipa_core::protocol::ipa_prf::Step::sort_by_timestamp/ipa_core::protocol::ipa_prf::quicksort::Step::quicksort_pass2/ipa_core::protocol::ipa_prf::quicksort::Step::compare/ipa_core::protocol::step::BitOpStep::bit0 diff --git a/ipa-core/tests/common/mod.rs b/ipa-core/tests/common/mod.rs index 43e72db43..0f11717f3 100644 --- a/ipa-core/tests/common/mod.rs +++ b/ipa-core/tests/common/mod.rs @@ -203,7 +203,7 @@ pub fn test_ipa(mode: IpaSecurityModel, https: bool) { } pub fn test_ipa_with_config(mode: IpaSecurityModel, https: bool, config: IpaQueryConfig) { - const INPUT_SIZE: usize = 10; + const INPUT_SIZE: usize = 100; // set to true to always keep the temp dir after test finishes let dir = TempDir::new_delete_on_drop(); let path = dir.path(); diff --git a/scripts/collect_steps.py b/scripts/collect_steps.py index b3f87dac8..116cf7c86 100755 --- a/scripts/collect_steps.py +++ b/scripts/collect_steps.py @@ -19,7 +19,7 @@ "--num-multi-bits", "3", ] -QUERY_SIZE = 10 +QUERY_SIZE = 100 # per_user_cap = 1 runs an optimized protocol, so 1 and anything larger than 1 PER_USER_CAP = [1, 3] # attribution_window_seconds = 0 runs an optimized protocol, so 0 and anything larger