Closed Sword-Smith closed 3 months ago
Profile for VM-verifier, inner-padded height $2^{20}$, FRI EF 4
tasmlib_verifier_stark_verify:
| Subroutine | Processor | Op Stack | RAM | Hash | U32 |
|:----------------------------------------------------------------------------------------------------------------------|---------------------:|---------------------:|---------------------:|---------------------:|---------------------:|
| tasmlib_verifier_stark_verify | 559496 (100.0%) | 476198 (100.0%) | 309131 (100.0%) | 194953 ( 78.3%) | 123527 (100.0%) |
| ··tasmlib_verifier_claim_instantiate_fiat_shamir_with_claim | 170 ( 0.0%) | 129 ( 0.0%) | 13 ( 0.0%) | 12 ( 0.0%) | 10 ( 0.0%) |
| ····tasmlib_hashing_absorb_multiple | 157 ( 0.0%) | 118 ( 0.0%) | 11 ( 0.0%) | 12 ( 0.0%) | 10 ( 0.0%) |
| ······tasmlib_hashing_absorb_multiple_hash_all_full_chunks | 11 ( 0.0%) | 8 ( 0.0%) | 10 ( 0.0%) | 6 ( 0.0%) | 0 ( 0.0%) |
| ······tasmlib_hashing_absorb_multiple_pad_varnum_zeros | 93 ( 0.0%) | 60 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ······tasmlib_hashing_absorb_multiple_read_remainder | 14 ( 0.0%) | 9 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ··tasmlib_verifier_vm_proof_iter_dequeue_next_as_log2paddedheight | 21 ( 0.0%) | 16 ( 0.0%) | 3 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ··tasmlib_verifier_fri_derive_from_stark_params | 219 ( 0.0%) | 210 ( 0.0%) | 7 ( 0.0%) | 0 ( 0.0%) | 108 ( 0.1%) |
| ····tasmlib_arithmetic_u32_next_power_of_two | 22 ( 0.0%) | 18 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 50 ( 0.0%) |
| ······tasmlib_arithmetic_u32_next_power_of_two_greater_than_one | 14 ( 0.0%) | 12 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 28 ( 0.0%) |
| ····tasmlib_arithmetic_bfe_primitive_root_of_unity | 160 ( 0.0%) | 159 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 33 ( 0.0%) |
| ····tasmlib_memory_dyn_malloc | 52 ( 0.0%) | 47 ( 0.0%) | 6 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ······tasmlib_memory_dyn_malloc_initialize | 3 ( 0.0%) | 2 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ··tasmlib_verifier_vm_proof_iter_dequeue_next_as_merkleroot | 510 ( 0.1%) | 372 ( 0.1%) | 30 ( 0.0%) | 18 ( 0.0%) | 9 ( 0.0%) |
| ····tasmlib_hashing_sponge_hasher_pad_and_absorb_all | 2788 ( 0.5%) | 1926 ( 0.4%) | 2773 ( 0.9%) | 1674 ( 0.7%) | 51 ( 0.0%) |
| ······tasmlib_hashing_absorb_multiple | 2740 ( 0.5%) | 1902 ( 0.4%) | 2765 ( 0.9%) | 1674 ( 0.7%) | 51 ( 0.0%) |
| ········tasmlib_hashing_absorb_multiple_hash_all_full_chunks | 1666 ( 0.3%) | 1116 ( 0.2%) | 2710 ( 0.9%) | 1626 ( 0.7%) | 0 ( 0.0%) |
| ········tasmlib_hashing_absorb_multiple_pad_varnum_zeros | 227 ( 0.0%) | 151 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ········tasmlib_hashing_absorb_multiple_read_remainder | 535 ( 0.1%) | 307 ( 0.1%) | 55 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ··tasmlib_verifier_challenges_new_generic_dyn_claim_59_4 | 1826 ( 0.3%) | 2620 ( 0.6%) | 215 ( 0.1%) | 108 ( 0.0%) | 0 ( 0.0%) |
| ····tasmlib_hashing_algebraic_hasher_sample_scalars_static_length_static_pointer_59_18446744060824649728 | 113 ( 0.0%) | 398 ( 0.1%) | 180 ( 0.1%) | 108 ( 0.0%) | 0 ( 0.0%) |
| ······tasmlib_hashing_squeeze_repeatedly_static_number_18 | 110 ( 0.0%) | 397 ( 0.1%) | 180 ( 0.1%) | 108 ( 0.0%) | 0 ( 0.0%) |
| ····tasmlib_verifier_eval_arg_compute_terminal_dyn_sized_dynamic_symbols | 84 ( 0.0%) | 60 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ······tasmlib_verifier_eval_arg_compute_terminal_dyn_sized_dynamic_symbols_loop | 42 ( 0.0%) | 40 ( 0.0%) | 2 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ····tasmlib_verifier_eval_arg_compute_terminal_from_digest | 37 ( 0.0%) | 45 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ····tasmlib_verifier_eval_arg_compute_terminal_const_sized_static_symbols_symbol_count_256_16790708486107472414 | 1537 ( 0.3%) | 2048 ( 0.4%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ··tasmlib_hashing_algebraic_hasher_sample_scalars_static_length_dyn_malloc_612 | 1126 ( 0.2%) | 4065 ( 0.9%) | 1842 ( 0.6%) | 1104 ( 0.4%) | 0 ( 0.0%) |
| ····tasmlib_hashing_squeeze_repeatedly_static_number_184 | 1106 ( 0.2%) | 4049 ( 0.9%) | 1840 ( 0.6%) | 1104 ( 0.4%) | 0 ( 0.0%) |
| ··tasmlib_arithmetic_bfe_primitive_root_of_unity | 160 ( 0.0%) | 159 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 32 ( 0.0%) |
| ··tasmlib_hashing_algebraic_hasher_sample_scalar_one | 8 ( 0.0%) | 17 ( 0.0%) | 0 ( 0.0%) | 6 ( 0.0%) | 0 ( 0.0%) |
| ··tasmlib_verifier_out_of_domain_points | 31 ( 0.0%) | 33 ( 0.0%) | 9 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ····tasmlib_arithmetic_xfe_to_the_fourth | 9 ( 0.0%) | 12 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ··tasmlib_verifier_master_ext_table_quotient_summands | 42494 ( 7.6%) | 73384 ( 15.4%) | 28440 ( 9.2%) | 0 ( 0.0%) | 22 ( 0.0%) |
| ····tasmlib_verifier_master_ext_table_zerofiers | 311 ( 0.1%) | 289 ( 0.1%) | 15 ( 0.0%) | 0 ( 0.0%) | 22 ( 0.0%) |
| ······tasmlib_arithmetic_xfe_to_the_power_of_power_of_2 | 271 ( 0.0%) | 245 ( 0.1%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ········tasmlib_arithmetic_xfe_to_the_power_of_power_of_2_loop | 265 ( 0.0%) | 244 ( 0.1%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ····tasmlib_verifier_master_ext_table_air_constraint_evaluation | 34830 ( 6.2%) | 64521 ( 13.5%) | 22917 ( 7.4%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ··tasmlib_verifier_vm_proof_iter_dequeue_next_as_outofdomainbaserow | 1652 ( 0.3%) | 1120 ( 0.2%) | 2224 ( 0.7%) | 1332 ( 0.5%) | 17 ( 0.0%) |
| ··tasmlib_verifier_vm_proof_iter_dequeue_next_as_outofdomainextrow | 628 ( 0.1%) | 436 ( 0.1%) | 526 ( 0.2%) | 312 ( 0.1%) | 15 ( 0.0%) |
| ··tasmlib_verifier_vm_proof_iter_dequeue_next_as_outofdomainquotientsegments | 182 ( 0.0%) | 134 ( 0.0%) | 17 ( 0.0%) | 12 ( 0.0%) | 10 ( 0.0%) |
| ··tasmlib_array_horner_evaluation_with_4_coefficients | 51 ( 0.0%) | 65 ( 0.0%) | 12 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ··tasmlib_array_inner_product_of_612_xfes | 620 ( 0.1%) | 5 ( 0.0%) | 3672 ( 1.2%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ··tasmlib_hashing_algebraic_hasher_sample_scalars_static_length_dyn_malloc_462 | 856 ( 0.2%) | 3075 ( 0.6%) | 1392 ( 0.5%) | 834 ( 0.3%) | 0 ( 0.0%) |
| ····tasmlib_hashing_squeeze_repeatedly_static_number_139 | 836 ( 0.1%) | 3059 ( 0.6%) | 1390 ( 0.4%) | 834 ( 0.3%) | 0 ( 0.0%) |
| ··tasmlib_verifier_fri_verify | 404105 ( 72.2%) | 337901 ( 71.0%) | 50056 ( 16.2%) | 125214 ( 50.3%) | 123202 ( 99.7%) |
| ····tasmlib_verifier_fri_number_of_rounds | 53 ( 0.0%) | 46 ( 0.0%) | 3 ( 0.0%) | 0 ( 0.0%) | 66 ( 0.1%) |
| ····tasmlib_list_new___xfe | 23 ( 0.0%) | 19 ( 0.0%) | 3 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ······tasmlib_memory_dyn_malloc | 48 ( 0.0%) | 45 ( 0.0%) | 6 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ····tasmlib_list_new___digest | 23 ( 0.0%) | 19 ( 0.0%) | 3 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ····tasmlib_verifier_vm_proof_iter_dequeue_next_as_merkleroot | 170 ( 0.0%) | 124 ( 0.0%) | 10 ( 0.0%) | 6 ( 0.0%) | 0 ( 0.0%) |
| ······tasmlib_hashing_sponge_hasher_pad_and_absorb_all | 147 ( 0.0%) | 107 ( 0.0%) | 7 ( 0.0%) | 6 ( 0.0%) | 0 ( 0.0%) |
| ········tasmlib_hashing_absorb_multiple | 141 ( 0.0%) | 104 ( 0.0%) | 6 ( 0.0%) | 6 ( 0.0%) | 0 ( 0.0%) |
| ··········tasmlib_hashing_absorb_multiple_hash_all_full_chunks | 5 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ··········tasmlib_hashing_absorb_multiple_pad_varnum_zeros | 38 ( 0.0%) | 25 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ··········tasmlib_hashing_absorb_multiple_read_remainder | 59 ( 0.0%) | 34 ( 0.0%) | 6 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ····tasmlib_list_push___digest | 20 ( 0.0%) | 20 ( 0.0%) | 8 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ····tasmlib_verifier_fri_verify_dequeue_commit_phase_remainder | 3729 ( 0.7%) | 3140 ( 0.7%) | 616 ( 0.2%) | 168 ( 0.1%) | 0 ( 0.0%) |
| ······tasmlib_hashing_algebraic_hasher_sample_scalars_static_length_dyn_malloc_1 | 392 ( 0.1%) | 546 ( 0.1%) | 168 ( 0.1%) | 84 ( 0.0%) | 0 ( 0.0%) |
| ········tasmlib_memory_dyn_malloc | 560 ( 0.1%) | 525 ( 0.1%) | 70 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ········tasmlib_hashing_squeeze_repeatedly_static_number_1 | 112 ( 0.0%) | 322 ( 0.1%) | 140 ( 0.0%) | 84 ( 0.0%) | 0 ( 0.0%) |
| ······tasmlib_list_push___xfe | 280 ( 0.1%) | 252 ( 0.1%) | 84 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ······tasmlib_verifier_vm_proof_iter_dequeue_next_as_merkleroot | 2380 ( 0.4%) | 1736 ( 0.4%) | 140 ( 0.0%) | 84 ( 0.0%) | 0 ( 0.0%) |
| ········tasmlib_hashing_sponge_hasher_pad_and_absorb_all | 2058 ( 0.4%) | 1498 ( 0.3%) | 98 ( 0.0%) | 84 ( 0.0%) | 0 ( 0.0%) |
| ··········tasmlib_hashing_absorb_multiple | 1974 ( 0.4%) | 1456 ( 0.3%) | 84 ( 0.0%) | 84 ( 0.0%) | 0 ( 0.0%) |
| ············tasmlib_hashing_absorb_multiple_hash_all_full_chunks | 70 ( 0.0%) | 56 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ············tasmlib_hashing_absorb_multiple_pad_varnum_zeros | 532 ( 0.1%) | 350 ( 0.1%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ············tasmlib_hashing_absorb_multiple_read_remainder | 826 ( 0.1%) | 476 ( 0.1%) | 84 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ······tasmlib_list_push___digest | 280 ( 0.1%) | 280 ( 0.1%) | 112 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ····tasmlib_verifier_vm_proof_iter_dequeue_next_as_fricodeword | 27 ( 0.0%) | 22 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) |
| ····tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_identity | 7736 ( 1.4%) | 8238 ( 1.7%) | 3077 ( 1.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ······tasmlib_list_new___xfe | 345 ( 0.1%) | 285 ( 0.1%) | 45 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ······tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_identity_loop | 7685 ( 1.4%) | 8196 ( 1.7%) | 3072 ( 1.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ····tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_convert_xfe_to_digest | 10808 ( 1.9%) | 10286 ( 2.2%) | 4101 ( 1.3%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ······tasmlib_list_new___digest | 23 ( 0.0%) | 19 ( 0.0%) | 3 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ······tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_convert_xfe_to_digest_loop | 10757 ( 1.9%) | 10244 ( 2.2%) | 4096 ( 1.3%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ····tasmlib_list_length___digest | 6 ( 0.0%) | 4 ( 0.0%) | 2 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ····tasmlib_hashing_merkle_root | 37333 ( 6.7%) | 31708 ( 6.7%) | 2560 ( 0.8%) | 3066 ( 1.2%) | 66 ( 0.1%) |
| ······tasmlib_hashing_merkle_root_else | 37314 ( 6.7%) | 31696 ( 6.7%) | 2560 ( 0.8%) | 3066 ( 1.2%) | 66 ( 0.1%) |
| ········tasmlib_hashing_merkle_root | 37290 ( 6.7%) | 31672 ( 6.7%) | 2560 ( 0.8%) | 3060 ( 1.2%) | 52 ( 0.0%) |
| ··········tasmlib_hashing_merkle_root_else | 37252 ( 6.7%) | 31648 ( 6.6%) | 2560 ( 0.8%) | 3060 ( 1.2%) | 52 ( 0.0%) |
| ············tasmlib_hashing_merkle_root | 37204 ( 6.6%) | 31600 ( 6.6%) | 2560 ( 0.8%) | 3048 ( 1.2%) | 42 ( 0.0%) |
| ··············tasmlib_hashing_merkle_root_else | 37128 ( 6.6%) | 31552 ( 6.6%) | 2560 ( 0.8%) | 3048 ( 1.2%) | 42 ( 0.0%) |
| ················tasmlib_hashing_merkle_root | 37032 ( 6.6%) | 31456 ( 6.6%) | 2560 ( 0.8%) | 3024 ( 1.2%) | 33 ( 0.0%) |
| ··················tasmlib_hashing_merkle_root_else | 36880 ( 6.6%) | 31360 ( 6.6%) | 2560 ( 0.8%) | 3024 ( 1.2%) | 33 ( 0.0%) |
| ····················tasmlib_hashing_merkle_root | 36688 ( 6.6%) | 31168 ( 6.5%) | 2560 ( 0.8%) | 2976 ( 1.2%) | 25 ( 0.0%) |
| ······················tasmlib_hashing_merkle_root_else | 36384 ( 6.5%) | 30976 ( 6.5%) | 2560 ( 0.8%) | 2976 ( 1.2%) | 25 ( 0.0%) |
| ························tasmlib_hashing_merkle_root | 36000 ( 6.4%) | 30592 ( 6.4%) | 2560 ( 0.8%) | 2880 ( 1.2%) | 18 ( 0.0%) |
| ··························tasmlib_hashing_merkle_root_else | 35392 ( 6.3%) | 30208 ( 6.3%) | 2560 ( 0.8%) | 2880 ( 1.2%) | 18 ( 0.0%) |
| ····························tasmlib_hashing_merkle_root | 34624 ( 6.2%) | 29440 ( 6.2%) | 2560 ( 0.8%) | 2688 ( 1.1%) | 12 ( 0.0%) |
| ······························tasmlib_hashing_merkle_root_else | 33408 ( 6.0%) | 28672 ( 6.0%) | 2560 ( 0.8%) | 2688 ( 1.1%) | 12 ( 0.0%) |
| ································tasmlib_hashing_merkle_root | 31872 ( 5.7%) | 27136 ( 5.7%) | 2560 ( 0.8%) | 2304 ( 0.9%) | 7 ( 0.0%) |
| ··································tasmlib_hashing_merkle_root_else | 29440 ( 5.3%) | 25600 ( 5.4%) | 2560 ( 0.8%) | 2304 ( 0.9%) | 7 ( 0.0%) |
| ····································tasmlib_hashing_merkle_root | 26368 ( 4.7%) | 22528 ( 4.7%) | 2560 ( 0.8%) | 1536 ( 0.6%) | 3 ( 0.0%) |
| ······································tasmlib_hashing_merkle_root_else | 21504 ( 3.8%) | 19456 ( 4.1%) | 2560 ( 0.8%) | 1536 ( 0.6%) | 3 ( 0.0%) |
| ········································tasmlib_hashing_merkle_root | 15360 ( 2.7%) | 13312 ( 2.8%) | 2560 ( 0.8%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ··········································tasmlib_hashing_merkle_root_then | 5632 ( 1.0%) | 7168 ( 1.5%) | 2560 ( 0.8%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ····tasmlib_list_get_element___digest | 26 ( 0.0%) | 30 ( 0.0%) | 10 ( 0.0%) | 0 ( 0.0%) | 12 ( 0.0%) |
| ····tasmlib_verifier_vm_proof_iter_dequeue_next_as_fripolynomial | 55 ( 0.0%) | 50 ( 0.0%) | 8 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) |
| ····tasmlib_hashing_algebraic_hasher_sample_indices | 4633 ( 0.8%) | 3325 ( 0.7%) | 412 ( 0.1%) | 48 ( 0.0%) | 5189 ( 4.2%) |
| ······tasmlib_list_new___u32 | 23 ( 0.0%) | 19 ( 0.0%) | 3 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ······tasmlib_hashing_algebraic_hasher_sample_indices_main_loop | 4601 ( 0.8%) | 3302 ( 0.7%) | 409 ( 0.1%) | 48 ( 0.0%) | 5189 ( 4.2%) |
| ········tasmlib_list_length___u32 | 267 ( 0.0%) | 178 ( 0.0%) | 89 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ········tasmlib_hashing_algebraic_hasher_sample_indices_then_reduce_and_save | 2720 ( 0.5%) | 1680 ( 0.4%) | 320 ( 0.1%) | 0 ( 0.0%) | 5189 ( 4.2%) |
| ··········tasmlib_list_push___u32 | 1440 ( 0.3%) | 1120 ( 0.2%) | 320 ( 0.1%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ····tasmlib_list_length___xfe | 6 ( 0.0%) | 4 ( 0.0%) | 2 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ····tasmlib_hashing_algebraic_hasher_sample_scalars_static_length_dyn_malloc_1 | 28 ( 0.0%) | 39 ( 0.0%) | 12 ( 0.0%) | 6 ( 0.0%) | 0 ( 0.0%) |
| ······tasmlib_hashing_squeeze_repeatedly_static_number_1 | 8 ( 0.0%) | 23 ( 0.0%) | 10 ( 0.0%) | 6 ( 0.0%) | 0 ( 0.0%) |
| ····tasmlib_list_get_element___xfe | 26 ( 0.0%) | 26 ( 0.0%) | 6 ( 0.0%) | 0 ( 0.0%) | 3 ( 0.0%) |
| ····tasmlib_list_horner_evaluation_dynamic_length | 1384 ( 0.2%) | 1995 ( 0.4%) | 385 ( 0.1%) | 0 ( 0.0%) | 95 ( 0.1%) |
| ······tasmlib_list_length___xfe | 3 ( 0.0%) | 2 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ······tasmlib_list_horner_evaluation_dynamic_length_loop_batches | 1096 ( 0.2%) | 1648 ( 0.3%) | 336 ( 0.1%) | 0 ( 0.0%) | 95 ( 0.1%) |
| ······tasmlib_list_horner_evaluation_dynamic_length_loop_remainder | 263 ( 0.0%) | 326 ( 0.1%) | 48 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ····tasmlib_verifier_fri_barycentric_evaluation | 23241 ( 4.2%) | 18621 ( 3.9%) | 1537 ( 0.5%) | 0 ( 0.0%) | 32 ( 0.0%) |
| ······tasmlib_arithmetic_bfe_primitive_root_of_unity | 160 ( 0.0%) | 159 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 32 ( 0.0%) |
| ······tasmlib_verifier_fri_barycentric_evaluation_loop | 23045 ( 4.1%) | 18436 ( 3.9%) | 1536 ( 0.5%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ····tasmlib_verifier_vm_proof_iter_dequeue_next_as_friresponse | 27 ( 0.0%) | 22 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) |
| ····tasmlib_list_length___u32 | 3 ( 0.0%) | 2 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ····tasmlib_list_higher_order_u32_zip_u32_with_xfe | 4746 ( 0.8%) | 4953 ( 1.0%) | 1938 ( 0.6%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ······tasmlib_list_new___tuple_Lu32___xfeR | 92 ( 0.0%) | 76 ( 0.0%) | 12 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ······tasmlib_list_higher_order_u32_zip_u32_with_xfe_loop | 4575 ( 0.8%) | 4812 ( 1.0%) | 1920 ( 0.6%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ····tasmlib_verifier_verify_authentication_paths_for_leaf_and_index_list | 13633 ( 2.4%) | 9623 ( 2.0%) | 321 ( 0.1%) | 11040 ( 4.4%) | 6 ( 0.0%) |
| ······tasmlib_verifier_verify_authentication_paths_for_leaf_and_index_list_main_loop | 13605 ( 2.4%) | 9604 ( 2.0%) | 320 ( 0.1%) | 11040 ( 4.4%) | 0 ( 0.0%) |
| ········tasmlib_verifier_verify_authentication_paths_for_leaf_and_index_list_loop_over_auth_path_elements | 11440 ( 2.0%) | 7680 ( 1.6%) | 0 ( 0.0%) | 11040 ( 4.4%) | 0 ( 0.0%) |
| ····tasmlib_verifier_fri_verify_query_phase_main_loop | 293207 ( 52.4%) | 241980 ( 50.8%) | 34132 ( 11.0%) | 110880 ( 44.5%) | 116939 ( 94.7%) |
| ······tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_add_half_domain | 25312 ( 4.5%) | 18452 ( 3.9%) | 2310 ( 0.7%) | 0 ( 0.0%) | 40194 ( 32.5%) |
| ········tasmlib_list_new___u32 | 644 ( 0.1%) | 532 ( 0.1%) | 84 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ··········tasmlib_memory_dyn_malloc | 672 ( 0.1%) | 630 ( 0.1%) | 84 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ········tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_add_half_domain_loop | 24710 ( 4.4%) | 17976 ( 3.8%) | 2240 ( 0.7%) | 0 ( 0.0%) | 40194 ( 32.5%) |
| ······tasmlib_verifier_vm_proof_iter_dequeue_next_as_friresponse | 378 ( 0.1%) | 308 ( 0.1%) | 56 ( 0.0%) | 0 ( 0.0%) | 312 ( 0.3%) |
| ······tasmlib_list_higher_order_u32_zip_u32_with_xfe | 22148 ( 4.0%) | 23114 ( 4.9%) | 9044 ( 2.9%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ········tasmlib_list_new___tuple_Lu32___xfeR | 322 ( 0.1%) | 266 ( 0.1%) | 42 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ········tasmlib_list_higher_order_u32_zip_u32_with_xfe_loop | 21350 ( 3.8%) | 22456 ( 4.7%) | 8960 ( 2.9%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ······tasmlib_list_get_element___digest | 182 ( 0.0%) | 210 ( 0.0%) | 70 ( 0.0%) | 0 ( 0.0%) | 86 ( 0.1%) |
| ······tasmlib_verifier_verify_authentication_paths_for_leaf_and_index_list | 147182 ( 26.3%) | 105602 ( 22.2%) | 4494 ( 1.5%) | 110880 ( 44.5%) | 45 ( 0.0%) |
| ········tasmlib_verifier_verify_authentication_paths_for_leaf_and_index_list_main_loop | 146790 ( 26.2%) | 105336 ( 22.1%) | 4480 ( 1.4%) | 110880 ( 44.5%) | 0 ( 0.0%) |
| ··········tasmlib_verifier_verify_authentication_paths_for_leaf_and_index_list_loop_over_auth_path_elements | 116480 ( 20.8%) | 78400 ( 16.5%) | 0 ( 0.0%) | 110880 ( 44.5%) | 0 ( 0.0%) |
| ······tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_reduce_indices | 23072 ( 4.1%) | 16212 ( 3.4%) | 2310 ( 0.7%) | 0 ( 0.0%) | 37581 ( 30.4%) |
| ········tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_reduce_indices_loop | 22470 ( 4.0%) | 15736 ( 3.3%) | 2240 ( 0.7%) | 0 ( 0.0%) | 37581 ( 30.4%) |
| ······tasmlib_verifier_fri_verify_compute_c_values_loop | 72870 ( 13.0%) | 76216 ( 16.0%) | 15680 ( 5.1%) | 0 ( 0.0%) | 38417 ( 31.1%) |
| ····tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_assert_codeword_membership | 2936 ( 0.5%) | 3406 ( 0.7%) | 885 ( 0.3%) | 0 ( 0.0%) | 619 ( 0.5%) |
| ······tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_assert_codeword_membership_loop | 2885 ( 0.5%) | 3364 ( 0.7%) | 880 ( 0.3%) | 0 ( 0.0%) | 619 ( 0.5%) |
| ········tasmlib_list_get_element___xfe | 1040 ( 0.2%) | 1040 ( 0.2%) | 240 ( 0.1%) | 0 ( 0.0%) | 619 ( 0.5%) |
| ··tasmlib_verifier_vm_proof_iter_dequeue_next_as_masterbasetablerows | 27 ( 0.0%) | 22 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) |
| ··tasmlib_verifier_master_ext_table_verify_Base_table_rows | 19309 ( 3.5%) | 13313 ( 2.8%) | 29606 ( 9.6%) | 29360 ( 11.8%) | 0 ( 0.0%) |
| ····tasmlib_verifier_master_ext_table_verify_Base_table_rows_loop_over_rows | 19285 ( 3.4%) | 13284 ( 2.8%) | 29600 ( 9.6%) | 29360 ( 11.8%) | 0 ( 0.0%) |
| ······tasmlib_hashing_algebraic_hasher_hash_static_size_369 | 5520 ( 1.0%) | 3920 ( 0.8%) | 29520 ( 9.5%) | 18320 ( 7.4%) | 0 ( 0.0%) |
| ········tasmlib_hashing_absorb_multiple_static_size_369 | 4320 ( 0.8%) | 2720 ( 0.6%) | 29520 ( 9.5%) | 17760 ( 7.1%) | 0 ( 0.0%) |
| ······tasmlib_verifier_master_ext_table_verify_Base_table_rows_loop_over_auth_path_elements | 11440 ( 2.0%) | 7680 ( 1.6%) | 0 ( 0.0%) | 11040 ( 4.4%) | 0 ( 0.0%) |
| ··tasmlib_verifier_vm_proof_iter_dequeue_next_as_authenticationstructure | 54 ( 0.0%) | 44 ( 0.0%) | 8 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) |
| ··tasmlib_verifier_vm_proof_iter_dequeue_next_as_masterexttablerows | 27 ( 0.0%) | 22 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) |
| ··tasmlib_verifier_master_ext_table_verify_Extension_table_rows | 18509 ( 3.3%) | 13313 ( 2.8%) | 20726 ( 6.7%) | 24080 ( 9.7%) | 0 ( 0.0%) |
| ····tasmlib_verifier_master_ext_table_verify_Extension_table_rows_loop_over_rows | 18485 ( 3.3%) | 13284 ( 2.8%) | 20720 ( 6.7%) | 24080 ( 9.7%) | 0 ( 0.0%) |
| ······tasmlib_hashing_algebraic_hasher_hash_static_size_258 | 4720 ( 0.8%) | 3920 ( 0.8%) | 20640 ( 6.7%) | 13040 ( 5.2%) | 0 ( 0.0%) |
| ········tasmlib_hashing_absorb_multiple_static_size_258 | 3520 ( 0.6%) | 2720 ( 0.6%) | 20640 ( 6.7%) | 12480 ( 5.0%) | 0 ( 0.0%) |
| ······tasmlib_verifier_master_ext_table_verify_Extension_table_rows_loop_over_auth_path_elements | 11440 ( 2.0%) | 7680 ( 1.6%) | 0 ( 0.0%) | 11040 ( 4.4%) | 0 ( 0.0%) |
| ··tasmlib_verifier_vm_proof_iter_dequeue_next_as_quotientsegmentselements | 27 ( 0.0%) | 22 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) |
| ··tasmlib_verifier_master_ext_table_verify_Quotient_table_rows | 16989 ( 3.0%) | 13313 ( 2.8%) | 1046 ( 0.3%) | 12560 ( 5.0%) | 0 ( 0.0%) |
| ····tasmlib_verifier_master_ext_table_verify_Quotient_table_rows_loop_over_rows | 16965 ( 3.0%) | 13284 ( 2.8%) | 1040 ( 0.3%) | 12560 ( 5.0%) | 0 ( 0.0%) |
| ······tasmlib_hashing_algebraic_hasher_hash_static_size_12 | 3200 ( 0.6%) | 3920 ( 0.8%) | 960 ( 0.3%) | 1520 ( 0.6%) | 0 ( 0.0%) |
| ········tasmlib_hashing_absorb_multiple_static_size_12 | 2000 ( 0.4%) | 2720 ( 0.6%) | 960 ( 0.3%) | 960 ( 0.4%) | 0 ( 0.0%) |
| ······tasmlib_verifier_master_ext_table_verify_Quotient_table_rows_loop_over_auth_path_elements | 11440 ( 2.0%) | 7680 ( 1.6%) | 0 ( 0.0%) | 11040 ( 4.4%) | 0 ( 0.0%) |
| ··tasmlib_array_inner_product_of_three_rows_with_weights_Xfe_baserowelem | 936 ( 0.2%) | 12 ( 0.0%) | 5460 ( 1.8%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ··tasmlib_array_inner_product_of_4_xfes | 12 ( 0.0%) | 5 ( 0.0%) | 24 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ··tasmlib_verifier_stark_verify_main_loop | 48645 ( 8.7%) | 12164 ( 2.6%) | 163760 ( 53.0%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ····tasmlib_array_inner_product_of_three_rows_with_weights_Bfe_baserowelem | 37440 ( 6.7%) | 480 ( 0.1%) | 159360 ( 51.6%) | 0 ( 0.0%) | 0 ( 0.0%) |
| ····tasmlib_array_inner_product_of_4_xfes | 960 ( 0.2%) | 400 ( 0.1%) | 1920 ( 0.6%) | 0 ( 0.0%) | 0 ( 0.0%) |
| Total | 559500 (100.0%) | 476200 (100.0%) | 309131 (100.0%) | 249025 (100.0%) | 123527 (100.0%) |
Depends on upstream https://github.com/TritonVM/triton-vm/pull/295 being merged