diff --git a/Cargo.lock b/Cargo.lock index dae75a3..34ce8ab 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -544,7 +544,7 @@ dependencies = [ [[package]] name = "derive_tasm_object" version = "0.1.0" -source = "git+https://github.com/TritonVM/tasm-lib.git?rev=d71f76a2faf09b7c9e277a29bf9f16470dffd4d3#d71f76a2faf09b7c9e277a29bf9f16470dffd4d3" +source = "git+https://github.com/TritonVM/tasm-lib.git?rev=9c05dfdc#9c05dfdcca63ae0a48e642f1d12f92b24216cedc" dependencies = [ "proc-macro2", "quote", @@ -2112,7 +2112,7 @@ dependencies = [ [[package]] name = "tasm-lib" version = "0.2.1" -source = "git+https://github.com/TritonVM/tasm-lib.git?rev=d71f76a2faf09b7c9e277a29bf9f16470dffd4d3#d71f76a2faf09b7c9e277a29bf9f16470dffd4d3" +source = "git+https://github.com/TritonVM/tasm-lib.git?rev=9c05dfdc#9c05dfdcca63ae0a48e642f1d12f92b24216cedc" dependencies = [ "anyhow", "arbitrary", @@ -2297,9 +2297,9 @@ dependencies = [ [[package]] name = "triton-air" -version = "0.42.0-alpha.10" +version = "0.42.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "f6993e1b322f6c359fa7555b028cf4be179fa175e3bd43cc86653c749781ee1f" +checksum = "1ed5eeac794a7182f10a94394464861235bcec4be4e25d00a5b2cb8fa3e18bca" dependencies = [ "arbitrary", "itertools 0.13.0", @@ -2311,11 +2311,10 @@ dependencies = [ [[package]] name = "triton-constraint-builder" -version = "0.42.0-alpha.10" +version = "0.42.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "21bbfb9bdc43d339a260b88aa0a054f8c78ae64e042d73bc8fb82cbbceee78a4" +checksum = "0aa1aae9d5c7fce2e85e900f168d85a6d5662e2e503c67bfea4fb22f6e980e34" dependencies = [ - "arbitrary", "itertools 0.13.0", "prettyplease", "proc-macro2", @@ -2330,9 +2329,9 @@ dependencies = [ [[package]] name = "triton-constraint-circuit" -version = "0.42.0-alpha.10" +version = "0.42.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e7f33852d0138bc8f2a68b3c30ff202712b84f6e16351164c62d31929c5ea2e9" +checksum = "79b8d50c59b4a4a36b42778aa75b0881838458a26580ac158671e71b8a17679a" dependencies = [ "arbitrary", "itertools 0.13.0", @@ -2345,9 +2344,9 @@ dependencies = [ [[package]] name = "triton-isa" -version = "0.42.0-alpha.10" +version = "0.42.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1af56b884d765e6164b1440f169496ae7cd3235b40abe4b45351fe27ff58d4b2" +checksum = "1f5454f49379fa0b23d87abdb422de11634541e3593db1677aade967b1129f9a" dependencies = [ "arbitrary", "get-size", @@ -2363,9 +2362,9 @@ dependencies = [ [[package]] name = "triton-vm" -version = "0.42.0-alpha.10" +version = "0.42.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "2f3ae37b583246a4d82907d9fe359c3824131d5da6e1177eab51c455e0a52d3f" +checksum = "626606f12ceb8759de2ffcf7a5edf476972421a36437b4caa74ed67172660323" dependencies = [ "arbitrary", "colored", @@ -2375,7 +2374,6 @@ dependencies = [ "itertools 0.13.0", "lazy_static", "ndarray", - "nom", "num-traits", "prettyplease", "proc-macro2", diff --git a/Cargo.toml b/Cargo.toml index cd01fec..7486a36 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -15,7 +15,7 @@ rand = "0" regex = "1.10" strum = { version = "0.26", features = ["derive"] } syn = { version = "1.0", features = ["full", "extra-traits"] } -tasm-lib = { git = "https://github.com/TritonVM/tasm-lib.git", rev = "d71f76a2faf09b7c9e277a29bf9f16470dffd4d3" } +tasm-lib = { git = "https://github.com/TritonVM/tasm-lib.git", rev = "9c05dfdc" } [dev-dependencies] anyhow = "1" diff --git a/profiles/verify_stark_proof_inner_padded_height_1024_0_input_words.profile b/profiles/verify_stark_proof_inner_padded_height_1024_0_input_words.profile index d50004a..7b84c27 100644 --- a/profiles/verify_stark_proof_inner_padded_height_1024_0_input_words.profile +++ b/profiles/verify_stark_proof_inner_padded_height_1024_0_input_words.profile @@ -1,7 +1,7 @@ verify_stark_proof_inner_padded_height_1024_0_input_words: | Subroutine | Processor | Op Stack | RAM | Hash | U32 | |:------------------------------------------------------------------------------------------------------------------------|---------------------:|---------------------:|---------------------:|---------------------:|---------------------:| -| verify_stark_proof | 290888 (100.0%) | 271322 (100.0%) | 290638 (100.0%) | 87799 ( 56.9%) | 85483 (100.0%) | +| verify_stark_proof | 294226 (100.0%) | 276738 (100.0%) | 294261 (100.0%) | 87829 ( 55.8%) | 85705 (100.0%) | | ··tasmlib_io_read_stdin___digest | 3 ( 0.0%) | 5 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ··tasmlib_io_read_stdin___u32 | 6 ( 0.0%) | 2 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ··tasmlib_list_new___bfe | 60 ( 0.0%) | 48 ( 0.0%) | 6 ( 0.0%) | 0 ( 0.0%) | 64 ( 0.1%) | @@ -14,7 +14,7 @@ verify_stark_proof_inner_padded_height_1024_0_input_words: | ······tasmlib_memory_memcpy | 210 ( 0.1%) | 188 ( 0.1%) | 46 ( 0.0%) | 0 ( 0.0%) | 116 ( 0.1%) | | ········tasmlib_memory_memcpy_loop_cpy5_words | 66 ( 0.0%) | 64 ( 0.0%) | 30 ( 0.0%) | 0 ( 0.0%) | 26 ( 0.0%) | | ········tasmlib_memory_memcpy_cpy1_words | 18 ( 0.0%) | 8 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ··verify | 290593 ( 99.9%) | 271067 ( 99.9%) | 290611 (100.0%) | 87799 ( 56.9%) | 85352 ( 99.8%) | +| ··verify | 293931 ( 99.9%) | 276483 ( 99.9%) | 294234 (100.0%) | 87829 ( 55.8%) | 85574 ( 99.8%) | | ····default | 6 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ····box_new_StarkParameters | 32 ( 0.0%) | 31 ( 0.0%) | 8 ( 0.0%) | 0 ( 0.0%) | 32 ( 0.0%) | | ······tasmlib_memory_dyn_malloc | 105 ( 0.0%) | 95 ( 0.0%) | 10 ( 0.0%) | 0 ( 0.0%) | 160 ( 0.2%) | @@ -31,7 +31,7 @@ verify_stark_proof_inner_padded_height_1024_0_input_words: | ······tasmlib_verifier_vm_proof_iter_dequeue_next_as_log2paddedheight | 22 ( 0.0%) | 16 ( 0.0%) | 3 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ····tasmlib_arithmetic_u32_shiftleft | 12 ( 0.0%) | 9 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) | | ····method_boxed_LStarkParametersR_derive_fri | 256 ( 0.1%) | 231 ( 0.1%) | 4 ( 0.0%) | 0 ( 0.0%) | 166 ( 0.2%) | -| ······tasmlib_arithmetic_u32_safeadd | 729 ( 0.3%) | 567 ( 0.2%) | 0 ( 0.0%) | 0 ( 0.0%) | 12 ( 0.0%) | +| ······tasmlib_arithmetic_u32_safeadd | 729 ( 0.2%) | 567 ( 0.2%) | 0 ( 0.0%) | 0 ( 0.0%) | 12 ( 0.0%) | | ······tasmlib_arithmetic_u32_next_power_of_two | 23 ( 0.0%) | 18 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 29 ( 0.0%) | | ········tasmlib_arithmetic_u32_next_power_of_two_greater_than_one | 15 ( 0.0%) | 12 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 17 ( 0.0%) | | ······tasmlib_arithmetic_u32_safemul | 9 ( 0.0%) | 7 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 15 ( 0.0%) | @@ -41,42 +41,42 @@ verify_stark_proof_inner_padded_height_1024_0_input_words: | ······store_FriVerify_to_memory | 8 ( 0.0%) | 6 ( 0.0%) | 5 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ····method_boxed_LVmProofIterR_next_as_merkleroot | 519 ( 0.2%) | 372 ( 0.1%) | 30 ( 0.0%) | 18 ( 0.0%) | 9 ( 0.0%) | | ······tasmlib_verifier_vm_proof_iter_dequeue_next_as_merkleroot | 513 ( 0.2%) | 372 ( 0.1%) | 30 ( 0.0%) | 18 ( 0.0%) | 9 ( 0.0%) | -| ········tasmlib_hashing_sponge_hasher_pad_and_absorb_all | 2856 ( 1.0%) | 1974 ( 0.7%) | 2821 ( 1.0%) | 1710 ( 1.1%) | 41 ( 0.0%) | -| ··········tasmlib_hashing_absorb_multiple | 2808 ( 1.0%) | 1950 ( 0.7%) | 2813 ( 1.0%) | 1710 ( 1.1%) | 41 ( 0.0%) | -| ············tasmlib_hashing_absorb_multiple_hash_all_full_chunks | 1710 ( 0.6%) | 1140 ( 0.4%) | 2770 ( 1.0%) | 1662 ( 1.1%) | 0 ( 0.0%) | -| ············tasmlib_hashing_absorb_multiple_pad_varnum_zeros | 367 ( 0.1%) | 235 ( 0.1%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ············tasmlib_hashing_absorb_multiple_read_remainder | 435 ( 0.1%) | 247 ( 0.1%) | 43 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ····tasmlib_verifier_challenges_new_generic_dyn_claim_59_4 | 1795 ( 0.6%) | 2588 ( 1.0%) | 213 ( 0.1%) | 108 ( 0.1%) | 0 ( 0.0%) | +| ········tasmlib_hashing_sponge_hasher_pad_and_absorb_all | 2860 ( 1.0%) | 1974 ( 0.7%) | 2845 ( 1.0%) | 1722 ( 1.1%) | 51 ( 0.1%) | +| ··········tasmlib_hashing_absorb_multiple | 2812 ( 1.0%) | 1950 ( 0.7%) | 2837 ( 1.0%) | 1722 ( 1.1%) | 51 ( 0.1%) | +| ············tasmlib_hashing_absorb_multiple_hash_all_full_chunks | 1722 ( 0.6%) | 1148 ( 0.4%) | 2790 ( 0.9%) | 1674 ( 1.1%) | 0 ( 0.0%) | +| ············tasmlib_hashing_absorb_multiple_pad_varnum_zeros | 323 ( 0.1%) | 207 ( 0.1%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | +| ············tasmlib_hashing_absorb_multiple_read_remainder | 471 ( 0.2%) | 267 ( 0.1%) | 47 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | +| ····tasmlib_verifier_challenges_new_generic_dyn_claim_59_4 | 1795 ( 0.6%) | 2588 ( 0.9%) | 213 ( 0.1%) | 108 ( 0.1%) | 0 ( 0.0%) | | ······tasmlib_hashing_algebraic_hasher_sample_scalars_static_length_static_pointer_59_18446744056529682432 | 114 ( 0.0%) | 398 ( 0.1%) | 180 ( 0.1%) | 108 ( 0.1%) | 0 ( 0.0%) | | ········tasmlib_hashing_squeeze_repeatedly_static_number_18 | 111 ( 0.0%) | 397 ( 0.1%) | 180 ( 0.1%) | 108 ( 0.1%) | 0 ( 0.0%) | | ······tasmlib_verifier_eval_arg_compute_terminal_dyn_sized_dynamic_symbols | 54 ( 0.0%) | 28 ( 0.0%) | 2 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ········tasmlib_verifier_eval_arg_compute_terminal_dyn_sized_dynamic_symbols_loop | 12 ( 0.0%) | 8 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ······tasmlib_verifier_eval_arg_compute_terminal_from_digest | 38 ( 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 | 1538 ( 0.5%) | 2048 ( 0.8%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | +| ······tasmlib_verifier_eval_arg_compute_terminal_const_sized_static_symbols_symbol_count_256_16790708486107472414 | 1538 ( 0.5%) | 2048 ( 0.7%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ····num_quotients | 3 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ····tasmlib_hashing_algebraic_hasher_sample_scalars | 4337 ( 1.5%) | 9092 ( 3.4%) | 3212 ( 1.1%) | 1920 ( 1.2%) | 135 ( 0.2%) | +| ····tasmlib_hashing_algebraic_hasher_sample_scalars | 4376 ( 1.5%) | 9176 ( 3.3%) | 3242 ( 1.1%) | 1938 ( 1.2%) | 140 ( 0.2%) | | ······tasmlib_list_new___xfe | 84 ( 0.0%) | 69 ( 0.0%) | 9 ( 0.0%) | 0 ( 0.0%) | 96 ( 0.1%) | | ········tasmlib_memory_dyn_malloc | 63 ( 0.0%) | 57 ( 0.0%) | 6 ( 0.0%) | 0 ( 0.0%) | 96 ( 0.1%) | | ······tasmlib_list_set_length___xfe | 18 ( 0.0%) | 9 ( 0.0%) | 3 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ······tasmlib_hashing_squeeze_repeatedly | 4178 ( 1.4%) | 8972 ( 3.3%) | 3200 ( 1.1%) | 1920 ( 1.2%) | 0 ( 0.0%) | -| ····method_Result___array592_of_LXFieldR_unwrap | 3 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | +| ······tasmlib_hashing_squeeze_repeatedly | 4217 ( 1.4%) | 9056 ( 3.3%) | 3230 ( 1.1%) | 1938 ( 1.2%) | 0 ( 0.0%) | +| ····method_Result___array596_of_LXFieldR_unwrap | 3 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ····generator_for_length | 251 ( 0.1%) | 221 ( 0.1%) | 0 ( 0.0%) | 0 ( 0.0%) | 58 ( 0.1%) | | ······is_power_of_two | 66 ( 0.0%) | 43 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 25 ( 0.0%) | | ········tasmlib_arithmetic_u64_sub | 24 ( 0.0%) | 16 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 12 ( 0.0%) | | ········tasmlib_arithmetic_u64_and | 6 ( 0.0%) | 2 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 13 ( 0.0%) | | ····tasmlib_arithmetic_xfe_to_the_fourth | 10 ( 0.0%) | 12 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ····method_boxed_LVmProofIterR_next_as_outofdomainmainrow | 1690 ( 0.6%) | 1144 ( 0.4%) | 2260 ( 0.8%) | 1356 ( 0.9%) | 12 ( 0.0%) | -| ······tasmlib_verifier_vm_proof_iter_dequeue_next_as_outofdomainmainrow | 1686 ( 0.6%) | 1144 ( 0.4%) | 2260 ( 0.8%) | 1356 ( 0.9%) | 12 ( 0.0%) | -| ····method_boxed_LVmProofIterR_next_as_outofdomainauxrow | 662 ( 0.2%) | 460 ( 0.2%) | 538 ( 0.2%) | 324 ( 0.2%) | 10 ( 0.0%) | -| ······tasmlib_verifier_vm_proof_iter_dequeue_next_as_outofdomainauxrow | 658 ( 0.2%) | 460 ( 0.2%) | 538 ( 0.2%) | 324 ( 0.2%) | 10 ( 0.0%) | +| ····method_boxed_LVmProofIterR_next_as_outofdomainmainrow | 1694 ( 0.6%) | 1144 ( 0.4%) | 2284 ( 0.8%) | 1368 ( 0.9%) | 17 ( 0.0%) | +| ······tasmlib_verifier_vm_proof_iter_dequeue_next_as_outofdomainmainrow | 1690 ( 0.6%) | 1144 ( 0.4%) | 2284 ( 0.8%) | 1368 ( 0.9%) | 17 ( 0.0%) | +| ····method_boxed_LVmProofIterR_next_as_outofdomainauxrow | 662 ( 0.2%) | 460 ( 0.2%) | 538 ( 0.2%) | 324 ( 0.2%) | 15 ( 0.0%) | +| ······tasmlib_verifier_vm_proof_iter_dequeue_next_as_outofdomainauxrow | 658 ( 0.2%) | 460 ( 0.2%) | 538 ( 0.2%) | 324 ( 0.2%) | 15 ( 0.0%) | | ····method_boxed_LVmProofIterR_next_as_outofdomainquotientsegments | 185 ( 0.1%) | 134 ( 0.0%) | 17 ( 0.0%) | 12 ( 0.0%) | 10 ( 0.0%) | | ······tasmlib_verifier_vm_proof_iter_dequeue_next_as_outofdomainquotientsegments | 183 ( 0.1%) | 134 ( 0.0%) | 17 ( 0.0%) | 12 ( 0.0%) | 10 ( 0.0%) | -| ····tasmlib_verifier_master_aux_table_air_constraint_evaluation | 46807 ( 16.1%) | 73265 ( 27.0%) | 27034 ( 9.3%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ····tasmlib_verifier_master_aux_table_divide_out_zerofiers | 7294 ( 2.5%) | 8463 ( 3.1%) | 5343 ( 1.8%) | 0 ( 0.0%) | 12 ( 0.0%) | -| ······tasmlib_verifier_master_aux_table_zerofiers_inverse | 182 ( 0.1%) | 169 ( 0.1%) | 15 ( 0.0%) | 0 ( 0.0%) | 12 ( 0.0%) | +| ····tasmlib_verifier_master_table_air_constraint_evaluation | 49458 ( 16.8%) | 78029 ( 28.2%) | 28895 ( 9.8%) | 0 ( 0.0%) | 0 ( 0.0%) | +| ····tasmlib_verifier_master_table_divide_out_zerofiers | 7342 ( 2.5%) | 8519 ( 3.1%) | 5379 ( 1.8%) | 0 ( 0.0%) | 12 ( 0.0%) | +| ······tasmlib_verifier_master_table_zerofiers_inverse | 182 ( 0.1%) | 169 ( 0.1%) | 15 ( 0.0%) | 0 ( 0.0%) | 12 ( 0.0%) | | ········tasmlib_arithmetic_xfe_to_the_power_of_power_of_2 | 142 ( 0.0%) | 125 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ··········tasmlib_arithmetic_xfe_to_the_power_of_power_of_2_loop | 136 ( 0.0%) | 124 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ····tasmlib_array_inner_product_of_592_xfes | 601 ( 0.2%) | 5 ( 0.0%) | 3552 ( 1.2%) | 0 ( 0.0%) | 0 ( 0.0%) | +| ····tasmlib_array_inner_product_of_596_xfes | 605 ( 0.2%) | 5 ( 0.0%) | 3576 ( 1.2%) | 0 ( 0.0%) | 0 ( 0.0%) | | ····tasmlib_array_horner_evaluation_with_4_coefficients | 52 ( 0.0%) | 65 ( 0.0%) | 12 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ····num_main_aux_quotient_deep_weights | 3 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ····num_columns_plus_quotient_segments | 3 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | @@ -86,13 +86,13 @@ verify_stark_proof_inner_padded_height_1024_0_input_words: | ····num_columns | 3 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ········tasmlib_memory_memcpy_cpy2_words | 9 ( 0.0%) | 6 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ····method_Result___array4_of_LXFieldR_unwrap | 3 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ····linearly_sum_xfe_main_and_aux_row | 61452 ( 21.1%) | 61076 ( 22.5%) | 5556 ( 1.9%) | 0 ( 0.0%) | 35365 ( 41.4%) | -| ······_binop_Lt__LboolR_bool_193_while_loop | 48022 ( 16.5%) | 48016 ( 17.7%) | 4500 ( 1.5%) | 0 ( 0.0%) | 30967 ( 36.2%) | -| ········tasmlib_arithmetic_u32_safeadd | 9918 ( 3.4%) | 7714 ( 2.8%) | 0 ( 0.0%) | 0 ( 0.0%) | 4109 ( 4.8%) | -| ······_binop_Lt__LboolR_bool_212_while_loop | 13398 ( 4.6%) | 13040 ( 4.8%) | 1056 ( 0.4%) | 0 ( 0.0%) | 4398 ( 5.1%) | +| ····linearly_sum_xfe_main_and_aux_row | 61964 ( 21.1%) | 61588 ( 22.3%) | 5604 ( 1.9%) | 0 ( 0.0%) | 35701 ( 41.7%) | +| ······_binop_Lt__LboolR_bool_193_while_loop | 48534 ( 16.5%) | 48528 ( 17.5%) | 4548 ( 1.5%) | 0 ( 0.0%) | 31303 ( 36.5%) | +| ········tasmlib_arithmetic_u32_safeadd | 9990 ( 3.4%) | 7770 ( 2.8%) | 0 ( 0.0%) | 0 ( 0.0%) | 4149 ( 4.8%) | +| ······_binop_Lt__LboolR_bool_212_while_loop | 13398 ( 4.6%) | 13040 ( 4.7%) | 1056 ( 0.4%) | 0 ( 0.0%) | 4398 ( 5.1%) | | ····tasmlib_array_inner_product_of_4_xfes | 13 ( 0.0%) | 5 ( 0.0%) | 24 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ····method_boxed_LFriVerifyR_verify | 72588 ( 25.0%) | 66265 ( 24.4%) | 21066 ( 7.2%) | 31494 ( 20.4%) | 42819 ( 50.1%) | -| ······tasmlib_verifier_fri_verify | 72581 ( 25.0%) | 66261 ( 24.4%) | 21066 ( 7.2%) | 31494 ( 20.4%) | 42819 ( 50.1%) | +| ····method_boxed_LFriVerifyR_verify | 72588 ( 24.7%) | 66265 ( 23.9%) | 21066 ( 7.2%) | 31494 ( 20.0%) | 42658 ( 49.8%) | +| ······tasmlib_verifier_fri_verify | 72581 ( 24.7%) | 66261 ( 23.9%) | 21066 ( 7.2%) | 31494 ( 20.0%) | 42658 ( 49.8%) | | ········tasmlib_verifier_fri_number_of_rounds | 54 ( 0.0%) | 46 ( 0.0%) | 3 ( 0.0%) | 0 ( 0.0%) | 45 ( 0.1%) | | ········tasmlib_list_new___xfe | 56 ( 0.0%) | 46 ( 0.0%) | 6 ( 0.0%) | 0 ( 0.0%) | 64 ( 0.1%) | | ··········tasmlib_memory_dyn_malloc | 105 ( 0.0%) | 95 ( 0.0%) | 10 ( 0.0%) | 0 ( 0.0%) | 160 ( 0.2%) | @@ -114,22 +114,22 @@ verify_stark_proof_inner_padded_height_1024_0_input_words: | ··············tasmlib_hashing_absorb_multiple | 568 ( 0.2%) | 416 ( 0.2%) | 24 ( 0.0%) | 24 ( 0.0%) | 0 ( 0.0%) | | ················tasmlib_hashing_absorb_multiple_hash_all_full_chunks | 24 ( 0.0%) | 16 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ················tasmlib_hashing_absorb_multiple_pad_varnum_zeros | 156 ( 0.1%) | 100 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ················tasmlib_hashing_absorb_multiple_read_remainder | 240 ( 0.1%) | 136 ( 0.1%) | 24 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | +| ················tasmlib_hashing_absorb_multiple_read_remainder | 240 ( 0.1%) | 136 ( 0.0%) | 24 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ··········tasmlib_list_push___digest | 84 ( 0.0%) | 80 ( 0.0%) | 32 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ········tasmlib_verifier_vm_proof_iter_dequeue_next_as_fricodeword | 28 ( 0.0%) | 22 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) | | ········tasmlib_list_length___digest | 8 ( 0.0%) | 4 ( 0.0%) | 2 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ········tasmlib_hashing_merkle_root_from_xfes_generic | 8280 ( 2.8%) | 13598 ( 5.0%) | 6653 ( 2.3%) | 3066 ( 2.0%) | 162 ( 0.2%) | -| ··········tasmlib_hashing_merkle_root_from_xfes_generic_build_parent_layer | 4609 ( 1.6%) | 6656 ( 2.5%) | 2816 ( 1.0%) | 1536 ( 1.0%) | 0 ( 0.0%) | +| ········tasmlib_hashing_merkle_root_from_xfes_generic | 8280 ( 2.8%) | 13598 ( 4.9%) | 6653 ( 2.3%) | 3066 ( 1.9%) | 162 ( 0.2%) | +| ··········tasmlib_hashing_merkle_root_from_xfes_generic_build_parent_layer | 4609 ( 1.6%) | 6656 ( 2.4%) | 2816 ( 1.0%) | 1536 ( 1.0%) | 0 ( 0.0%) | | ··········tasmlib_hashing_merkle_root | 3602 ( 1.2%) | 6882 ( 2.5%) | 3833 ( 1.3%) | 1530 ( 1.0%) | 105 ( 0.1%) | | ············tasmlib_hashing_merkle_root_next_layer_loop | 3561 ( 1.2%) | 6842 ( 2.5%) | 3825 ( 1.3%) | 1530 ( 1.0%) | 73 ( 0.1%) | | ··············tasmlib_hashing_merkle_root_calculate_parent_digests | 3323 ( 1.1%) | 6630 ( 2.4%) | 3825 ( 1.3%) | 1530 ( 1.0%) | 0 ( 0.0%) | | ········tasmlib_list_get_element___digest | 28 ( 0.0%) | 30 ( 0.0%) | 10 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ········tasmlib_verifier_vm_proof_iter_dequeue_next_as_fripolynomial | 56 ( 0.0%) | 50 ( 0.0%) | 8 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) | -| ········tasmlib_hashing_algebraic_hasher_sample_indices | 4638 ( 1.6%) | 3329 ( 1.2%) | 412 ( 0.1%) | 48 ( 0.0%) | 5206 ( 6.1%) | +| ········tasmlib_hashing_algebraic_hasher_sample_indices | 4638 ( 1.6%) | 3329 ( 1.2%) | 412 ( 0.1%) | 48 ( 0.0%) | 5203 ( 6.1%) | | ··········tasmlib_list_new___u32 | 56 ( 0.0%) | 46 ( 0.0%) | 6 ( 0.0%) | 0 ( 0.0%) | 64 ( 0.1%) | -| ··········tasmlib_hashing_algebraic_hasher_sample_indices_main_loop | 4602 ( 1.6%) | 3302 ( 1.2%) | 409 ( 0.1%) | 48 ( 0.0%) | 5174 ( 6.1%) | +| ··········tasmlib_hashing_algebraic_hasher_sample_indices_main_loop | 4602 ( 1.6%) | 3302 ( 1.2%) | 409 ( 0.1%) | 48 ( 0.0%) | 5171 ( 6.0%) | | ············tasmlib_list_length___u32 | 356 ( 0.1%) | 178 ( 0.1%) | 89 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ············tasmlib_hashing_algebraic_hasher_sample_indices_then_reduce_and_save | 2800 ( 1.0%) | 1680 ( 0.6%) | 320 ( 0.1%) | 0 ( 0.0%) | 5174 ( 6.1%) | +| ············tasmlib_hashing_algebraic_hasher_sample_indices_then_reduce_and_save | 2800 ( 1.0%) | 1680 ( 0.6%) | 320 ( 0.1%) | 0 ( 0.0%) | 5171 ( 6.0%) | | ··············tasmlib_list_push___u32 | 1520 ( 0.5%) | 1120 ( 0.4%) | 320 ( 0.1%) | 0 ( 0.0%) | 0 ( 0.0%) | | ········tasmlib_list_length___xfe | 8 ( 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 | 33 ( 0.0%) | 43 ( 0.0%) | 12 ( 0.0%) | 6 ( 0.0%) | 32 ( 0.0%) | @@ -139,57 +139,57 @@ verify_stark_proof_inner_padded_height_1024_0_input_words: | ··········tasmlib_list_length___xfe | 4 ( 0.0%) | 2 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ··········tasmlib_list_horner_evaluation_dynamic_length_loop_batches | 1097 ( 0.4%) | 1648 ( 0.6%) | 336 ( 0.1%) | 0 ( 0.0%) | 33 ( 0.0%) | | ··········tasmlib_list_horner_evaluation_dynamic_length_loop_remainder | 264 ( 0.1%) | 326 ( 0.1%) | 48 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ········tasmlib_verifier_fri_barycentric_evaluation | 13534 ( 4.7%) | 12495 ( 4.6%) | 6145 ( 2.1%) | 0 ( 0.0%) | 49 ( 0.1%) | +| ········tasmlib_verifier_fri_barycentric_evaluation | 13534 ( 4.6%) | 12495 ( 4.5%) | 6145 ( 2.1%) | 0 ( 0.0%) | 49 ( 0.1%) | | ··········tasmlib_arithmetic_bfe_primitive_root_of_unity | 161 ( 0.1%) | 159 ( 0.1%) | 0 ( 0.0%) | 0 ( 0.0%) | 32 ( 0.0%) | | ··········tasmlib_verifier_fri_barycentric_evaluation_partial_terms_loop | 7681 ( 2.6%) | 7168 ( 2.6%) | 1536 ( 0.5%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ··········tasmlib_verifier_fri_barycentric_evaluation_numerator_from_partial_sums | 2561 ( 0.9%) | 1024 ( 0.4%) | 3072 ( 1.1%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ··········tasmlib_verifier_fri_barycentric_evaluation_denominator_from_partial_sums | 3073 ( 1.1%) | 4096 ( 1.5%) | 1536 ( 0.5%) | 0 ( 0.0%) | 0 ( 0.0%) | +| ··········tasmlib_verifier_fri_barycentric_evaluation_numerator_from_partial_sums | 2561 ( 0.9%) | 1024 ( 0.4%) | 3072 ( 1.0%) | 0 ( 0.0%) | 0 ( 0.0%) | +| ··········tasmlib_verifier_fri_barycentric_evaluation_denominator_from_partial_sums | 3073 ( 1.0%) | 4096 ( 1.5%) | 1536 ( 0.5%) | 0 ( 0.0%) | 0 ( 0.0%) | | ········tasmlib_verifier_vm_proof_iter_dequeue_next_as_friresponse | 28 ( 0.0%) | 22 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) | | ········tasmlib_list_length___u32 | 4 ( 0.0%) | 2 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ········tasmlib_verifier_fri_verify_fri_authentication_paths | 4085 ( 1.4%) | 1770 ( 0.7%) | 320 ( 0.1%) | 6240 ( 4.0%) | 9272 ( 10.8%) | -| ··········tasmlib_verifier_fri_verify_fri_authentication_paths_main_loop | 4081 ( 1.4%) | 1760 ( 0.6%) | 320 ( 0.1%) | 6240 ( 4.0%) | 9272 ( 10.8%) | -| ············tasmlib_verifier_fri_verify_fri_authentication_paths_loop_over_auth_path_elements | 2160 ( 0.7%) | 0 ( 0.0%) | 0 ( 0.0%) | 6240 ( 4.0%) | 6952 ( 8.1%) | +| ········tasmlib_verifier_fri_verify_fri_authentication_paths | 4085 ( 1.4%) | 1770 ( 0.6%) | 320 ( 0.1%) | 6240 ( 4.0%) | 9423 ( 11.0%) | +| ··········tasmlib_verifier_fri_verify_fri_authentication_paths_main_loop | 4081 ( 1.4%) | 1760 ( 0.6%) | 320 ( 0.1%) | 6240 ( 4.0%) | 9423 ( 11.0%) | +| ············tasmlib_verifier_fri_verify_fri_authentication_paths_loop_over_auth_path_elements | 2160 ( 0.7%) | 0 ( 0.0%) | 0 ( 0.0%) | 6240 ( 4.0%) | 7103 ( 8.3%) | | ········tasmlib_list_higher_order_u32_zip_u32_with_xfe | 3174 ( 1.1%) | 3310 ( 1.2%) | 1292 ( 0.4%) | 0 ( 0.0%) | 64 ( 0.1%) | | ··········tasmlib_list_new___tuple_Lu32___xfeR | 84 ( 0.0%) | 69 ( 0.0%) | 9 ( 0.0%) | 0 ( 0.0%) | 96 ( 0.1%) | | ··········tasmlib_list_higher_order_u32_zip_u32_with_xfe_loop | 3052 ( 1.0%) | 3208 ( 1.2%) | 1280 ( 0.4%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ········tasmlib_verifier_fri_verify_query_phase_main_loop | 31006 ( 10.7%) | 23556 ( 8.7%) | 4536 ( 1.6%) | 22080 ( 14.3%) | 25187 ( 29.5%) | +| ········tasmlib_verifier_fri_verify_query_phase_main_loop | 31006 ( 10.5%) | 23556 ( 8.5%) | 4536 ( 1.5%) | 22080 ( 14.0%) | 24704 ( 28.8%) | | ··········tasmlib_verifier_vm_proof_iter_dequeue_next_as_friresponse | 112 ( 0.0%) | 88 ( 0.0%) | 16 ( 0.0%) | 0 ( 0.0%) | 72 ( 0.1%) | | ··········tasmlib_list_get_element___digest | 56 ( 0.0%) | 60 ( 0.0%) | 20 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ··········tasmlib_verifier_fri_verify_fri_authentication_paths | 15380 ( 5.3%) | 7080 ( 2.6%) | 1280 ( 0.4%) | 22080 ( 14.3%) | 20840 ( 24.4%) | -| ············tasmlib_verifier_fri_verify_fri_authentication_paths_main_loop | 15364 ( 5.3%) | 7040 ( 2.6%) | 1280 ( 0.4%) | 22080 ( 14.3%) | 20840 ( 24.4%) | -| ··············tasmlib_verifier_fri_verify_fri_authentication_paths_loop_over_auth_path_elements | 7680 ( 2.6%) | 0 ( 0.0%) | 0 ( 0.0%) | 22080 ( 14.3%) | 13426 ( 15.7%) | +| ··········tasmlib_verifier_fri_verify_fri_authentication_paths | 15380 ( 5.2%) | 7080 ( 2.6%) | 1280 ( 0.4%) | 22080 ( 14.0%) | 20433 ( 23.8%) | +| ············tasmlib_verifier_fri_verify_fri_authentication_paths_main_loop | 15364 ( 5.2%) | 7040 ( 2.5%) | 1280 ( 0.4%) | 22080 ( 14.0%) | 20433 ( 23.8%) | +| ··············tasmlib_verifier_fri_verify_fri_authentication_paths_loop_over_auth_path_elements | 7680 ( 2.6%) | 0 ( 0.0%) | 0 ( 0.0%) | 22080 ( 14.0%) | 12938 ( 15.1%) | | ··········tasmlib_list_get_element___xfe | 56 ( 0.0%) | 52 ( 0.0%) | 12 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ··········tasmlib_verifier_fri_verify_compute_c_values_loop | 15044 ( 5.2%) | 16000 ( 5.9%) | 3200 ( 1.1%) | 0 ( 0.0%) | 4240 ( 5.0%) | -| ········tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_reduce_indices | 1653 ( 0.6%) | 1162 ( 0.4%) | 165 ( 0.1%) | 0 ( 0.0%) | 1834 ( 2.1%) | -| ··········tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_reduce_indices_loop | 1606 ( 0.6%) | 1124 ( 0.4%) | 160 ( 0.1%) | 0 ( 0.0%) | 1802 ( 2.1%) | -| ········tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_assert_codeword_membership | 2941 ( 1.0%) | 3410 ( 1.3%) | 885 ( 0.3%) | 0 ( 0.0%) | 547 ( 0.6%) | -| ··········tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_assert_codeword_membership_loop | 2886 ( 1.0%) | 3364 ( 1.2%) | 880 ( 0.3%) | 0 ( 0.0%) | 515 ( 0.6%) | -| ············tasmlib_list_get_element___xfe | 1120 ( 0.4%) | 1040 ( 0.4%) | 240 ( 0.1%) | 0 ( 0.0%) | 515 ( 0.6%) | +| ··········tasmlib_verifier_fri_verify_compute_c_values_loop | 15044 ( 5.1%) | 16000 ( 5.8%) | 3200 ( 1.1%) | 0 ( 0.0%) | 4164 ( 4.9%) | +| ········tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_reduce_indices | 1653 ( 0.6%) | 1162 ( 0.4%) | 165 ( 0.1%) | 0 ( 0.0%) | 1885 ( 2.2%) | +| ··········tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_reduce_indices_loop | 1606 ( 0.5%) | 1124 ( 0.4%) | 160 ( 0.1%) | 0 ( 0.0%) | 1853 ( 2.2%) | +| ········tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_assert_codeword_membership | 2941 ( 1.0%) | 3410 ( 1.2%) | 885 ( 0.3%) | 0 ( 0.0%) | 670 ( 0.8%) | +| ··········tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_assert_codeword_membership_loop | 2886 ( 1.0%) | 3364 ( 1.2%) | 880 ( 0.3%) | 0 ( 0.0%) | 638 ( 0.7%) | +| ············tasmlib_list_get_element___xfe | 1120 ( 0.4%) | 1040 ( 0.4%) | 240 ( 0.1%) | 0 ( 0.0%) | 638 ( 0.7%) | | ····method_boxed_LVmProofIterR_next_as_mastermaintablerows | 30 ( 0.0%) | 22 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) | | ······tasmlib_verifier_vm_proof_iter_dequeue_next_as_mastermaintablerows | 28 ( 0.0%) | 22 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) | | ····method_boxed_LVmProofIterR_next_as_authenticationstructure | 90 ( 0.0%) | 66 ( 0.0%) | 12 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) | | ······tasmlib_verifier_vm_proof_iter_dequeue_next_as_authenticationstructure | 84 ( 0.0%) | 66 ( 0.0%) | 12 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) | -| ····tasmlib_verifier_master_aux_table_verify_Main_table_rows | 10430 ( 3.6%) | 5793 ( 2.1%) | 30086 ( 10.4%) | 25040 ( 16.2%) | 5 ( 0.0%) | -| ······tasmlib_verifier_master_aux_table_verify_Main_table_rows_loop_over_rows | 10406 ( 3.6%) | 5764 ( 2.1%) | 30080 ( 10.3%) | 25040 ( 16.2%) | 0 ( 0.0%) | -| ········tasmlib_hashing_algebraic_hasher_hash_static_size_375 | 5920 ( 2.0%) | 3920 ( 1.4%) | 30000 ( 10.3%) | 18800 ( 12.2%) | 0 ( 0.0%) | -| ··········tasmlib_hashing_absorb_multiple_static_size_375 | 4720 ( 1.6%) | 2720 ( 1.0%) | 30000 ( 10.3%) | 18240 ( 11.8%) | 0 ( 0.0%) | -| ········tasmlib_verifier_master_aux_table_verify_Main_table_rows_loop_over_auth_path_elements | 2160 ( 0.7%) | 0 ( 0.0%) | 0 ( 0.0%) | 6240 ( 4.0%) | 0 ( 0.0%) | +| ····tasmlib_verifier_master_table_verify_Main_table_rows | 10190 ( 3.5%) | 5793 ( 2.1%) | 30406 ( 10.3%) | 25040 ( 15.9%) | 5 ( 0.0%) | +| ······tasmlib_verifier_master_table_verify_Main_table_rows_loop_over_rows | 10166 ( 3.5%) | 5764 ( 2.1%) | 30400 ( 10.3%) | 25040 ( 15.9%) | 0 ( 0.0%) | +| ········tasmlib_hashing_algebraic_hasher_hash_static_size_379 | 5680 ( 1.9%) | 3920 ( 1.4%) | 30320 ( 10.3%) | 18800 ( 12.0%) | 0 ( 0.0%) | +| ··········tasmlib_hashing_absorb_multiple_static_size_379 | 4480 ( 1.5%) | 2720 ( 1.0%) | 30320 ( 10.3%) | 18240 ( 11.6%) | 0 ( 0.0%) | +| ········tasmlib_verifier_master_table_verify_Main_table_rows_loop_over_auth_path_elements | 2160 ( 0.7%) | 0 ( 0.0%) | 0 ( 0.0%) | 6240 ( 4.0%) | 0 ( 0.0%) | | ····method_boxed_LVmProofIterR_next_as_masterauxtablerows | 30 ( 0.0%) | 22 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) | | ······tasmlib_verifier_vm_proof_iter_dequeue_next_as_masterauxtablerows | 28 ( 0.0%) | 22 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) | -| ····tasmlib_verifier_master_aux_table_verify_Aux_table_rows | 9630 ( 3.3%) | 5793 ( 2.1%) | 21206 ( 7.3%) | 19760 ( 12.8%) | 0 ( 0.0%) | -| ······tasmlib_verifier_master_aux_table_verify_Aux_table_rows_loop_over_rows | 9606 ( 3.3%) | 5764 ( 2.1%) | 21200 ( 7.3%) | 19760 ( 12.8%) | 0 ( 0.0%) | -| ········tasmlib_hashing_algebraic_hasher_hash_static_size_264 | 5120 ( 1.8%) | 3920 ( 1.4%) | 21120 ( 7.3%) | 13520 ( 8.8%) | 0 ( 0.0%) | -| ··········tasmlib_hashing_absorb_multiple_static_size_264 | 3920 ( 1.3%) | 2720 ( 1.0%) | 21120 ( 7.3%) | 12960 ( 8.4%) | 0 ( 0.0%) | -| ········tasmlib_verifier_master_aux_table_verify_Aux_table_rows_loop_over_auth_path_elements | 2160 ( 0.7%) | 0 ( 0.0%) | 0 ( 0.0%) | 6240 ( 4.0%) | 0 ( 0.0%) | +| ····tasmlib_verifier_master_table_verify_Aux_table_rows | 9630 ( 3.3%) | 5793 ( 2.1%) | 21206 ( 7.2%) | 19760 ( 12.6%) | 0 ( 0.0%) | +| ······tasmlib_verifier_master_table_verify_Aux_table_rows_loop_over_rows | 9606 ( 3.3%) | 5764 ( 2.1%) | 21200 ( 7.2%) | 19760 ( 12.6%) | 0 ( 0.0%) | +| ········tasmlib_hashing_algebraic_hasher_hash_static_size_264 | 5120 ( 1.7%) | 3920 ( 1.4%) | 21120 ( 7.2%) | 13520 ( 8.6%) | 0 ( 0.0%) | +| ··········tasmlib_hashing_absorb_multiple_static_size_264 | 3920 ( 1.3%) | 2720 ( 1.0%) | 21120 ( 7.2%) | 12960 ( 8.2%) | 0 ( 0.0%) | +| ········tasmlib_verifier_master_table_verify_Aux_table_rows_loop_over_auth_path_elements | 2160 ( 0.7%) | 0 ( 0.0%) | 0 ( 0.0%) | 6240 ( 4.0%) | 0 ( 0.0%) | | ····method_boxed_LVmProofIterR_next_as_quotientsegmentselements | 30 ( 0.0%) | 22 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) | | ······tasmlib_verifier_vm_proof_iter_dequeue_next_as_quotientsegmentselements | 28 ( 0.0%) | 22 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) | -| ····tasmlib_verifier_master_aux_table_verify_Quotient_table_rows | 7790 ( 2.7%) | 5793 ( 2.1%) | 1046 ( 0.4%) | 7760 ( 5.0%) | 0 ( 0.0%) | -| ······tasmlib_verifier_master_aux_table_verify_Quotient_table_rows_loop_over_rows | 7766 ( 2.7%) | 5764 ( 2.1%) | 1040 ( 0.4%) | 7760 ( 5.0%) | 0 ( 0.0%) | +| ····tasmlib_verifier_master_table_verify_Quotient_table_rows | 7790 ( 2.6%) | 5793 ( 2.1%) | 1046 ( 0.4%) | 7760 ( 4.9%) | 0 ( 0.0%) | +| ······tasmlib_verifier_master_table_verify_Quotient_table_rows_loop_over_rows | 7766 ( 2.6%) | 5764 ( 2.1%) | 1040 ( 0.4%) | 7760 ( 4.9%) | 0 ( 0.0%) | | ········tasmlib_hashing_algebraic_hasher_hash_static_size_12 | 3280 ( 1.1%) | 3920 ( 1.4%) | 960 ( 0.3%) | 1520 ( 1.0%) | 0 ( 0.0%) | | ··········tasmlib_hashing_absorb_multiple_static_size_12 | 2080 ( 0.7%) | 2720 ( 1.0%) | 960 ( 0.3%) | 960 ( 0.6%) | 0 ( 0.0%) | -| ········tasmlib_verifier_master_aux_table_verify_Quotient_table_rows_loop_over_auth_path_elements | 2160 ( 0.7%) | 0 ( 0.0%) | 0 ( 0.0%) | 6240 ( 4.0%) | 0 ( 0.0%) | -| ····method_Result___array463_of_LXFieldR_unwrap | 3 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ····_binop_Lt__LboolR_bool_314_while_loop | 63131 ( 21.7%) | 29288 ( 10.8%) | 169201 ( 58.2%) | 0 ( 0.0%) | 6312 ( 7.4%) | -| ······tasmlib_array_inner_product_of_three_rows_with_weights_Bfe_mainrowelem | 38160 ( 13.1%) | 480 ( 0.2%) | 162240 ( 55.8%) | 0 ( 0.0%) | 0 ( 0.0%) | +| ········tasmlib_verifier_master_table_verify_Quotient_table_rows_loop_over_auth_path_elements | 2160 ( 0.7%) | 0 ( 0.0%) | 0 ( 0.0%) | 6240 ( 4.0%) | 0 ( 0.0%) | +| ····method_Result___array467_of_LXFieldR_unwrap | 3 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | +| ····_binop_Lt__LboolR_bool_314_while_loop | 63451 ( 21.6%) | 29288 ( 10.6%) | 170481 ( 57.9%) | 0 ( 0.0%) | 6344 ( 7.4%) | +| ······tasmlib_array_inner_product_of_three_rows_with_weights_Bfe_mainrowelem | 38480 ( 13.1%) | 480 ( 0.2%) | 163520 ( 55.6%) | 0 ( 0.0%) | 0 ( 0.0%) | | ······tasmlib_array_inner_product_of_4_xfes | 1040 ( 0.4%) | 400 ( 0.1%) | 1920 ( 0.7%) | 0 ( 0.0%) | 0 ( 0.0%) | -| Total | 290889 (100.0%) | 271322 (100.0%) | 290638 (100.0%) | 154327 (100.0%) | 85483 (100.0%) | +| Total | 294227 (100.0%) | 276738 (100.0%) | 294261 (100.0%) | 157285 (100.0%) | 85705 (100.0%) | diff --git a/profiles/verify_stark_proof_inner_padded_height_256_0_input_words.profile b/profiles/verify_stark_proof_inner_padded_height_256_0_input_words.profile index 815871f..f36fa00 100644 --- a/profiles/verify_stark_proof_inner_padded_height_256_0_input_words.profile +++ b/profiles/verify_stark_proof_inner_padded_height_256_0_input_words.profile @@ -1,7 +1,7 @@ verify_stark_proof_inner_padded_height_256_0_input_words: | Subroutine | Processor | Op Stack | RAM | Hash | U32 | |:------------------------------------------------------------------------------------------------------------------------|---------------------:|---------------------:|---------------------:|---------------------:|---------------------:| -| verify_stark_proof | 273222 (100.0%) | 259066 (100.0%) | 288282 (100.0%) | 71935 ( 52.0%) | 67908 (100.0%) | +| verify_stark_proof | 276560 (100.0%) | 264482 (100.0%) | 291905 (100.0%) | 71965 ( 50.9%) | 67469 (100.0%) | | ··tasmlib_io_read_stdin___digest | 3 ( 0.0%) | 5 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ··tasmlib_io_read_stdin___u32 | 6 ( 0.0%) | 2 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ··tasmlib_list_new___bfe | 60 ( 0.0%) | 48 ( 0.0%) | 6 ( 0.0%) | 0 ( 0.0%) | 64 ( 0.1%) | @@ -14,7 +14,7 @@ verify_stark_proof_inner_padded_height_256_0_input_words: | ······tasmlib_memory_memcpy | 210 ( 0.1%) | 188 ( 0.1%) | 46 ( 0.0%) | 0 ( 0.0%) | 116 ( 0.2%) | | ········tasmlib_memory_memcpy_loop_cpy5_words | 66 ( 0.0%) | 64 ( 0.0%) | 30 ( 0.0%) | 0 ( 0.0%) | 26 ( 0.0%) | | ········tasmlib_memory_memcpy_cpy1_words | 18 ( 0.0%) | 8 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ··verify | 272927 ( 99.9%) | 258811 ( 99.9%) | 288255 (100.0%) | 71935 ( 52.0%) | 67777 ( 99.8%) | +| ··verify | 276265 ( 99.9%) | 264227 ( 99.9%) | 291878 (100.0%) | 71965 ( 50.9%) | 67338 ( 99.8%) | | ····default | 6 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ····box_new_StarkParameters | 32 ( 0.0%) | 31 ( 0.0%) | 8 ( 0.0%) | 0 ( 0.0%) | 32 ( 0.0%) | | ······tasmlib_memory_dyn_malloc | 105 ( 0.0%) | 95 ( 0.0%) | 10 ( 0.0%) | 0 ( 0.0%) | 160 ( 0.2%) | @@ -41,12 +41,12 @@ verify_stark_proof_inner_padded_height_256_0_input_words: | ······store_FriVerify_to_memory | 8 ( 0.0%) | 6 ( 0.0%) | 5 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ····method_boxed_LVmProofIterR_next_as_merkleroot | 519 ( 0.2%) | 372 ( 0.1%) | 30 ( 0.0%) | 18 ( 0.0%) | 9 ( 0.0%) | | ······tasmlib_verifier_vm_proof_iter_dequeue_next_as_merkleroot | 513 ( 0.2%) | 372 ( 0.1%) | 30 ( 0.0%) | 18 ( 0.0%) | 9 ( 0.0%) | -| ········tasmlib_hashing_sponge_hasher_pad_and_absorb_all | 2856 ( 1.0%) | 1974 ( 0.8%) | 2821 ( 1.0%) | 1710 ( 1.2%) | 41 ( 0.1%) | -| ··········tasmlib_hashing_absorb_multiple | 2808 ( 1.0%) | 1950 ( 0.8%) | 2813 ( 1.0%) | 1710 ( 1.2%) | 41 ( 0.1%) | -| ············tasmlib_hashing_absorb_multiple_hash_all_full_chunks | 1710 ( 0.6%) | 1140 ( 0.4%) | 2770 ( 1.0%) | 1662 ( 1.2%) | 0 ( 0.0%) | -| ············tasmlib_hashing_absorb_multiple_pad_varnum_zeros | 367 ( 0.1%) | 235 ( 0.1%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ············tasmlib_hashing_absorb_multiple_read_remainder | 435 ( 0.2%) | 247 ( 0.1%) | 43 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ····tasmlib_verifier_challenges_new_generic_dyn_claim_59_4 | 1795 ( 0.7%) | 2588 ( 1.0%) | 213 ( 0.1%) | 108 ( 0.1%) | 0 ( 0.0%) | +| ········tasmlib_hashing_sponge_hasher_pad_and_absorb_all | 2860 ( 1.0%) | 1974 ( 0.7%) | 2845 ( 1.0%) | 1722 ( 1.2%) | 51 ( 0.1%) | +| ··········tasmlib_hashing_absorb_multiple | 2812 ( 1.0%) | 1950 ( 0.7%) | 2837 ( 1.0%) | 1722 ( 1.2%) | 51 ( 0.1%) | +| ············tasmlib_hashing_absorb_multiple_hash_all_full_chunks | 1722 ( 0.6%) | 1148 ( 0.4%) | 2790 ( 1.0%) | 1674 ( 1.2%) | 0 ( 0.0%) | +| ············tasmlib_hashing_absorb_multiple_pad_varnum_zeros | 323 ( 0.1%) | 207 ( 0.1%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | +| ············tasmlib_hashing_absorb_multiple_read_remainder | 471 ( 0.2%) | 267 ( 0.1%) | 47 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | +| ····tasmlib_verifier_challenges_new_generic_dyn_claim_59_4 | 1795 ( 0.6%) | 2588 ( 1.0%) | 213 ( 0.1%) | 108 ( 0.1%) | 0 ( 0.0%) | | ······tasmlib_hashing_algebraic_hasher_sample_scalars_static_length_static_pointer_59_18446744056529682432 | 114 ( 0.0%) | 398 ( 0.2%) | 180 ( 0.1%) | 108 ( 0.1%) | 0 ( 0.0%) | | ········tasmlib_hashing_squeeze_repeatedly_static_number_18 | 111 ( 0.0%) | 397 ( 0.2%) | 180 ( 0.1%) | 108 ( 0.1%) | 0 ( 0.0%) | | ······tasmlib_verifier_eval_arg_compute_terminal_dyn_sized_dynamic_symbols | 54 ( 0.0%) | 28 ( 0.0%) | 2 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | @@ -54,29 +54,29 @@ verify_stark_proof_inner_padded_height_256_0_input_words: | ······tasmlib_verifier_eval_arg_compute_terminal_from_digest | 38 ( 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 | 1538 ( 0.6%) | 2048 ( 0.8%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ····num_quotients | 3 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ····tasmlib_hashing_algebraic_hasher_sample_scalars | 4337 ( 1.6%) | 9092 ( 3.5%) | 3212 ( 1.1%) | 1920 ( 1.4%) | 135 ( 0.2%) | +| ····tasmlib_hashing_algebraic_hasher_sample_scalars | 4376 ( 1.6%) | 9176 ( 3.5%) | 3242 ( 1.1%) | 1938 ( 1.4%) | 140 ( 0.2%) | | ······tasmlib_list_new___xfe | 84 ( 0.0%) | 69 ( 0.0%) | 9 ( 0.0%) | 0 ( 0.0%) | 96 ( 0.1%) | | ········tasmlib_memory_dyn_malloc | 63 ( 0.0%) | 57 ( 0.0%) | 6 ( 0.0%) | 0 ( 0.0%) | 96 ( 0.1%) | | ······tasmlib_list_set_length___xfe | 18 ( 0.0%) | 9 ( 0.0%) | 3 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ······tasmlib_hashing_squeeze_repeatedly | 4178 ( 1.5%) | 8972 ( 3.5%) | 3200 ( 1.1%) | 1920 ( 1.4%) | 0 ( 0.0%) | -| ····method_Result___array592_of_LXFieldR_unwrap | 3 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | +| ······tasmlib_hashing_squeeze_repeatedly | 4217 ( 1.5%) | 9056 ( 3.4%) | 3230 ( 1.1%) | 1938 ( 1.4%) | 0 ( 0.0%) | +| ····method_Result___array596_of_LXFieldR_unwrap | 3 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ····generator_for_length | 251 ( 0.1%) | 221 ( 0.1%) | 0 ( 0.0%) | 0 ( 0.0%) | 54 ( 0.1%) | | ······is_power_of_two | 66 ( 0.0%) | 43 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 21 ( 0.0%) | | ········tasmlib_arithmetic_u64_sub | 24 ( 0.0%) | 16 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 10 ( 0.0%) | | ········tasmlib_arithmetic_u64_and | 6 ( 0.0%) | 2 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 11 ( 0.0%) | | ····tasmlib_arithmetic_xfe_to_the_fourth | 10 ( 0.0%) | 12 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ····method_boxed_LVmProofIterR_next_as_outofdomainmainrow | 1690 ( 0.6%) | 1144 ( 0.4%) | 2260 ( 0.8%) | 1356 ( 1.0%) | 12 ( 0.0%) | -| ······tasmlib_verifier_vm_proof_iter_dequeue_next_as_outofdomainmainrow | 1686 ( 0.6%) | 1144 ( 0.4%) | 2260 ( 0.8%) | 1356 ( 1.0%) | 12 ( 0.0%) | -| ····method_boxed_LVmProofIterR_next_as_outofdomainauxrow | 662 ( 0.2%) | 460 ( 0.2%) | 538 ( 0.2%) | 324 ( 0.2%) | 10 ( 0.0%) | -| ······tasmlib_verifier_vm_proof_iter_dequeue_next_as_outofdomainauxrow | 658 ( 0.2%) | 460 ( 0.2%) | 538 ( 0.2%) | 324 ( 0.2%) | 10 ( 0.0%) | +| ····method_boxed_LVmProofIterR_next_as_outofdomainmainrow | 1694 ( 0.6%) | 1144 ( 0.4%) | 2284 ( 0.8%) | 1368 ( 1.0%) | 17 ( 0.0%) | +| ······tasmlib_verifier_vm_proof_iter_dequeue_next_as_outofdomainmainrow | 1690 ( 0.6%) | 1144 ( 0.4%) | 2284 ( 0.8%) | 1368 ( 1.0%) | 17 ( 0.0%) | +| ····method_boxed_LVmProofIterR_next_as_outofdomainauxrow | 662 ( 0.2%) | 460 ( 0.2%) | 538 ( 0.2%) | 324 ( 0.2%) | 15 ( 0.0%) | +| ······tasmlib_verifier_vm_proof_iter_dequeue_next_as_outofdomainauxrow | 658 ( 0.2%) | 460 ( 0.2%) | 538 ( 0.2%) | 324 ( 0.2%) | 15 ( 0.0%) | | ····method_boxed_LVmProofIterR_next_as_outofdomainquotientsegments | 185 ( 0.1%) | 134 ( 0.1%) | 17 ( 0.0%) | 12 ( 0.0%) | 10 ( 0.0%) | | ······tasmlib_verifier_vm_proof_iter_dequeue_next_as_outofdomainquotientsegments | 183 ( 0.1%) | 134 ( 0.1%) | 17 ( 0.0%) | 12 ( 0.0%) | 10 ( 0.0%) | -| ····tasmlib_verifier_master_aux_table_air_constraint_evaluation | 46807 ( 17.1%) | 73265 ( 28.3%) | 27034 ( 9.4%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ····tasmlib_verifier_master_aux_table_divide_out_zerofiers | 7268 ( 2.7%) | 8439 ( 3.3%) | 5343 ( 1.9%) | 0 ( 0.0%) | 10 ( 0.0%) | -| ······tasmlib_verifier_master_aux_table_zerofiers_inverse | 156 ( 0.1%) | 145 ( 0.1%) | 15 ( 0.0%) | 0 ( 0.0%) | 10 ( 0.0%) | +| ····tasmlib_verifier_master_table_air_constraint_evaluation | 49458 ( 17.9%) | 78029 ( 29.5%) | 28895 ( 9.9%) | 0 ( 0.0%) | 0 ( 0.0%) | +| ····tasmlib_verifier_master_table_divide_out_zerofiers | 7316 ( 2.6%) | 8495 ( 3.2%) | 5379 ( 1.8%) | 0 ( 0.0%) | 10 ( 0.0%) | +| ······tasmlib_verifier_master_table_zerofiers_inverse | 156 ( 0.1%) | 145 ( 0.1%) | 15 ( 0.0%) | 0 ( 0.0%) | 10 ( 0.0%) | | ········tasmlib_arithmetic_xfe_to_the_power_of_power_of_2 | 116 ( 0.0%) | 101 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ··········tasmlib_arithmetic_xfe_to_the_power_of_power_of_2_loop | 110 ( 0.0%) | 100 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ····tasmlib_array_inner_product_of_592_xfes | 601 ( 0.2%) | 5 ( 0.0%) | 3552 ( 1.2%) | 0 ( 0.0%) | 0 ( 0.0%) | +| ····tasmlib_array_inner_product_of_596_xfes | 605 ( 0.2%) | 5 ( 0.0%) | 3576 ( 1.2%) | 0 ( 0.0%) | 0 ( 0.0%) | | ····tasmlib_array_horner_evaluation_with_4_coefficients | 52 ( 0.0%) | 65 ( 0.0%) | 12 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ····num_main_aux_quotient_deep_weights | 3 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ····num_columns_plus_quotient_segments | 3 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | @@ -86,13 +86,13 @@ verify_stark_proof_inner_padded_height_256_0_input_words: | ····num_columns | 3 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ········tasmlib_memory_memcpy_cpy2_words | 9 ( 0.0%) | 6 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ····method_Result___array4_of_LXFieldR_unwrap | 3 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ····linearly_sum_xfe_main_and_aux_row | 61452 ( 22.5%) | 61076 ( 23.6%) | 5556 ( 1.9%) | 0 ( 0.0%) | 35345 ( 52.0%) | -| ······_binop_Lt__LboolR_bool_193_while_loop | 48022 ( 17.6%) | 48016 ( 18.5%) | 4500 ( 1.6%) | 0 ( 0.0%) | 30947 ( 45.6%) | -| ········tasmlib_arithmetic_u32_safeadd | 9918 ( 3.6%) | 7714 ( 3.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 4089 ( 6.0%) | -| ······_binop_Lt__LboolR_bool_212_while_loop | 13398 ( 4.9%) | 13040 ( 5.0%) | 1056 ( 0.4%) | 0 ( 0.0%) | 4398 ( 6.5%) | +| ····linearly_sum_xfe_main_and_aux_row | 61964 ( 22.4%) | 61588 ( 23.3%) | 5604 ( 1.9%) | 0 ( 0.0%) | 35681 ( 52.9%) | +| ······_binop_Lt__LboolR_bool_193_while_loop | 48534 ( 17.5%) | 48528 ( 18.3%) | 4548 ( 1.6%) | 0 ( 0.0%) | 31283 ( 46.4%) | +| ········tasmlib_arithmetic_u32_safeadd | 9990 ( 3.6%) | 7770 ( 2.9%) | 0 ( 0.0%) | 0 ( 0.0%) | 4129 ( 6.1%) | +| ······_binop_Lt__LboolR_bool_212_while_loop | 13398 ( 4.8%) | 13040 ( 4.9%) | 1056 ( 0.4%) | 0 ( 0.0%) | 4398 ( 6.5%) | | ····tasmlib_array_inner_product_of_4_xfes | 13 ( 0.0%) | 5 ( 0.0%) | 24 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ····method_boxed_LFriVerifyR_verify | 55908 ( 20.5%) | 54033 ( 20.9%) | 18710 ( 6.5%) | 18510 ( 13.4%) | 25283 ( 37.2%) | -| ······tasmlib_verifier_fri_verify | 55901 ( 20.5%) | 54029 ( 20.9%) | 18710 ( 6.5%) | 18510 ( 13.4%) | 25283 ( 37.2%) | +| ····method_boxed_LFriVerifyR_verify | 55908 ( 20.2%) | 54033 ( 20.4%) | 18710 ( 6.4%) | 18510 ( 13.1%) | 24461 ( 36.3%) | +| ······tasmlib_verifier_fri_verify | 55901 ( 20.2%) | 54029 ( 20.4%) | 18710 ( 6.4%) | 18510 ( 13.1%) | 24461 ( 36.3%) | | ········tasmlib_verifier_fri_number_of_rounds | 54 ( 0.0%) | 46 ( 0.0%) | 3 ( 0.0%) | 0 ( 0.0%) | 41 ( 0.1%) | | ········tasmlib_list_new___xfe | 56 ( 0.0%) | 46 ( 0.0%) | 6 ( 0.0%) | 0 ( 0.0%) | 64 ( 0.1%) | | ··········tasmlib_memory_dyn_malloc | 105 ( 0.0%) | 95 ( 0.0%) | 10 ( 0.0%) | 0 ( 0.0%) | 160 ( 0.2%) | @@ -118,19 +118,19 @@ verify_stark_proof_inner_padded_height_256_0_input_words: | ··········tasmlib_list_push___digest | 42 ( 0.0%) | 40 ( 0.0%) | 16 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ········tasmlib_verifier_vm_proof_iter_dequeue_next_as_fricodeword | 28 ( 0.0%) | 22 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) | | ········tasmlib_list_length___digest | 8 ( 0.0%) | 4 ( 0.0%) | 2 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ········tasmlib_hashing_merkle_root_from_xfes_generic | 8280 ( 3.0%) | 13598 ( 5.2%) | 6653 ( 2.3%) | 3066 ( 2.2%) | 153 ( 0.2%) | -| ··········tasmlib_hashing_merkle_root_from_xfes_generic_build_parent_layer | 4609 ( 1.7%) | 6656 ( 2.6%) | 2816 ( 1.0%) | 1536 ( 1.1%) | 0 ( 0.0%) | -| ··········tasmlib_hashing_merkle_root | 3602 ( 1.3%) | 6882 ( 2.7%) | 3833 ( 1.3%) | 1530 ( 1.1%) | 96 ( 0.1%) | +| ········tasmlib_hashing_merkle_root_from_xfes_generic | 8280 ( 3.0%) | 13598 ( 5.1%) | 6653 ( 2.3%) | 3066 ( 2.2%) | 153 ( 0.2%) | +| ··········tasmlib_hashing_merkle_root_from_xfes_generic_build_parent_layer | 4609 ( 1.7%) | 6656 ( 2.5%) | 2816 ( 1.0%) | 1536 ( 1.1%) | 0 ( 0.0%) | +| ··········tasmlib_hashing_merkle_root | 3602 ( 1.3%) | 6882 ( 2.6%) | 3833 ( 1.3%) | 1530 ( 1.1%) | 96 ( 0.1%) | | ············tasmlib_hashing_merkle_root_next_layer_loop | 3561 ( 1.3%) | 6842 ( 2.6%) | 3825 ( 1.3%) | 1530 ( 1.1%) | 64 ( 0.1%) | -| ··············tasmlib_hashing_merkle_root_calculate_parent_digests | 3323 ( 1.2%) | 6630 ( 2.6%) | 3825 ( 1.3%) | 1530 ( 1.1%) | 0 ( 0.0%) | +| ··············tasmlib_hashing_merkle_root_calculate_parent_digests | 3323 ( 1.2%) | 6630 ( 2.5%) | 3825 ( 1.3%) | 1530 ( 1.1%) | 0 ( 0.0%) | | ········tasmlib_list_get_element___digest | 28 ( 0.0%) | 30 ( 0.0%) | 10 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ········tasmlib_verifier_vm_proof_iter_dequeue_next_as_fripolynomial | 56 ( 0.0%) | 50 ( 0.0%) | 8 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) | -| ········tasmlib_hashing_algebraic_hasher_sample_indices | 4638 ( 1.7%) | 3329 ( 1.3%) | 412 ( 0.1%) | 48 ( 0.0%) | 5198 ( 7.7%) | +| ········tasmlib_hashing_algebraic_hasher_sample_indices | 4638 ( 1.7%) | 3329 ( 1.3%) | 412 ( 0.1%) | 48 ( 0.0%) | 5180 ( 7.7%) | | ··········tasmlib_list_new___u32 | 56 ( 0.0%) | 46 ( 0.0%) | 6 ( 0.0%) | 0 ( 0.0%) | 64 ( 0.1%) | -| ··········tasmlib_hashing_algebraic_hasher_sample_indices_main_loop | 4602 ( 1.7%) | 3302 ( 1.3%) | 409 ( 0.1%) | 48 ( 0.0%) | 5166 ( 7.6%) | +| ··········tasmlib_hashing_algebraic_hasher_sample_indices_main_loop | 4602 ( 1.7%) | 3302 ( 1.2%) | 409 ( 0.1%) | 48 ( 0.0%) | 5148 ( 7.6%) | | ············tasmlib_list_length___u32 | 356 ( 0.1%) | 178 ( 0.1%) | 89 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ············tasmlib_hashing_algebraic_hasher_sample_indices_then_reduce_and_save | 2800 ( 1.0%) | 1680 ( 0.6%) | 320 ( 0.1%) | 0 ( 0.0%) | 5166 ( 7.6%) | -| ··············tasmlib_list_push___u32 | 1520 ( 0.6%) | 1120 ( 0.4%) | 320 ( 0.1%) | 0 ( 0.0%) | 0 ( 0.0%) | +| ············tasmlib_hashing_algebraic_hasher_sample_indices_then_reduce_and_save | 2800 ( 1.0%) | 1680 ( 0.6%) | 320 ( 0.1%) | 0 ( 0.0%) | 5148 ( 7.6%) | +| ··············tasmlib_list_push___u32 | 1520 ( 0.5%) | 1120 ( 0.4%) | 320 ( 0.1%) | 0 ( 0.0%) | 0 ( 0.0%) | | ········tasmlib_list_length___xfe | 8 ( 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 | 33 ( 0.0%) | 43 ( 0.0%) | 12 ( 0.0%) | 6 ( 0.0%) | 32 ( 0.0%) | | ··········tasmlib_hashing_squeeze_repeatedly_static_number_1 | 9 ( 0.0%) | 23 ( 0.0%) | 10 ( 0.0%) | 6 ( 0.0%) | 0 ( 0.0%) | @@ -139,57 +139,57 @@ verify_stark_proof_inner_padded_height_256_0_input_words: | ··········tasmlib_list_length___xfe | 4 ( 0.0%) | 2 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ··········tasmlib_list_horner_evaluation_dynamic_length_loop_batches | 1097 ( 0.4%) | 1648 ( 0.6%) | 336 ( 0.1%) | 0 ( 0.0%) | 33 ( 0.0%) | | ··········tasmlib_list_horner_evaluation_dynamic_length_loop_remainder | 264 ( 0.1%) | 326 ( 0.1%) | 48 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ········tasmlib_verifier_fri_barycentric_evaluation | 13534 ( 5.0%) | 12495 ( 4.8%) | 6145 ( 2.1%) | 0 ( 0.0%) | 49 ( 0.1%) | +| ········tasmlib_verifier_fri_barycentric_evaluation | 13534 ( 4.9%) | 12495 ( 4.7%) | 6145 ( 2.1%) | 0 ( 0.0%) | 49 ( 0.1%) | | ··········tasmlib_arithmetic_bfe_primitive_root_of_unity | 161 ( 0.1%) | 159 ( 0.1%) | 0 ( 0.0%) | 0 ( 0.0%) | 32 ( 0.0%) | -| ··········tasmlib_verifier_fri_barycentric_evaluation_partial_terms_loop | 7681 ( 2.8%) | 7168 ( 2.8%) | 1536 ( 0.5%) | 0 ( 0.0%) | 0 ( 0.0%) | +| ··········tasmlib_verifier_fri_barycentric_evaluation_partial_terms_loop | 7681 ( 2.8%) | 7168 ( 2.7%) | 1536 ( 0.5%) | 0 ( 0.0%) | 0 ( 0.0%) | | ··········tasmlib_verifier_fri_barycentric_evaluation_numerator_from_partial_sums | 2561 ( 0.9%) | 1024 ( 0.4%) | 3072 ( 1.1%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ··········tasmlib_verifier_fri_barycentric_evaluation_denominator_from_partial_sums | 3073 ( 1.1%) | 4096 ( 1.6%) | 1536 ( 0.5%) | 0 ( 0.0%) | 0 ( 0.0%) | +| ··········tasmlib_verifier_fri_barycentric_evaluation_denominator_from_partial_sums | 3073 ( 1.1%) | 4096 ( 1.5%) | 1536 ( 0.5%) | 0 ( 0.0%) | 0 ( 0.0%) | | ········tasmlib_verifier_vm_proof_iter_dequeue_next_as_friresponse | 28 ( 0.0%) | 22 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) | | ········tasmlib_list_length___u32 | 4 ( 0.0%) | 2 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ········tasmlib_verifier_fri_verify_fri_authentication_paths | 3765 ( 1.4%) | 1770 ( 0.7%) | 320 ( 0.1%) | 5280 ( 3.8%) | 6910 ( 10.2%) | -| ··········tasmlib_verifier_fri_verify_fri_authentication_paths_main_loop | 3761 ( 1.4%) | 1760 ( 0.7%) | 320 ( 0.1%) | 5280 ( 3.8%) | 6910 ( 10.2%) | -| ············tasmlib_verifier_fri_verify_fri_authentication_paths_loop_over_auth_path_elements | 1840 ( 0.7%) | 0 ( 0.0%) | 0 ( 0.0%) | 5280 ( 3.8%) | 4910 ( 7.2%) | -| ········tasmlib_list_higher_order_u32_zip_u32_with_xfe | 3174 ( 1.2%) | 3310 ( 1.3%) | 1292 ( 0.4%) | 0 ( 0.0%) | 64 ( 0.1%) | +| ········tasmlib_verifier_fri_verify_fri_authentication_paths | 3765 ( 1.4%) | 1770 ( 0.7%) | 320 ( 0.1%) | 5280 ( 3.7%) | 6619 ( 9.8%) | +| ··········tasmlib_verifier_fri_verify_fri_authentication_paths_main_loop | 3761 ( 1.4%) | 1760 ( 0.7%) | 320 ( 0.1%) | 5280 ( 3.7%) | 6619 ( 9.8%) | +| ············tasmlib_verifier_fri_verify_fri_authentication_paths_loop_over_auth_path_elements | 1840 ( 0.7%) | 0 ( 0.0%) | 0 ( 0.0%) | 5280 ( 3.7%) | 4644 ( 6.9%) | +| ········tasmlib_list_higher_order_u32_zip_u32_with_xfe | 3174 ( 1.1%) | 3310 ( 1.3%) | 1292 ( 0.4%) | 0 ( 0.0%) | 64 ( 0.1%) | | ··········tasmlib_list_new___tuple_Lu32___xfeR | 84 ( 0.0%) | 69 ( 0.0%) | 9 ( 0.0%) | 0 ( 0.0%) | 96 ( 0.1%) | | ··········tasmlib_list_higher_order_u32_zip_u32_with_xfe_loop | 3052 ( 1.1%) | 3208 ( 1.2%) | 1280 ( 0.4%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ········tasmlib_verifier_fri_verify_query_phase_main_loop | 15186 ( 5.6%) | 11780 ( 4.5%) | 2268 ( 0.8%) | 10080 ( 7.3%) | 10242 ( 15.1%) | +| ········tasmlib_verifier_fri_verify_query_phase_main_loop | 15186 ( 5.5%) | 11780 ( 4.5%) | 2268 ( 0.8%) | 10080 ( 7.1%) | 9870 ( 14.6%) | | ··········tasmlib_verifier_vm_proof_iter_dequeue_next_as_friresponse | 56 ( 0.0%) | 44 ( 0.0%) | 8 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) | | ··········tasmlib_list_get_element___digest | 28 ( 0.0%) | 30 ( 0.0%) | 10 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ··········tasmlib_verifier_fri_verify_fri_authentication_paths | 7370 ( 2.7%) | 3540 ( 1.4%) | 640 ( 0.2%) | 10080 ( 7.3%) | 8434 ( 12.4%) | -| ············tasmlib_verifier_fri_verify_fri_authentication_paths_main_loop | 7362 ( 2.7%) | 3520 ( 1.4%) | 640 ( 0.2%) | 10080 ( 7.3%) | 8434 ( 12.4%) | -| ··············tasmlib_verifier_fri_verify_fri_authentication_paths_loop_over_auth_path_elements | 3520 ( 1.3%) | 0 ( 0.0%) | 0 ( 0.0%) | 10080 ( 7.3%) | 5529 ( 8.1%) | +| ··········tasmlib_verifier_fri_verify_fri_authentication_paths | 7370 ( 2.7%) | 3540 ( 1.3%) | 640 ( 0.2%) | 10080 ( 7.1%) | 8130 ( 12.0%) | +| ············tasmlib_verifier_fri_verify_fri_authentication_paths_main_loop | 7362 ( 2.7%) | 3520 ( 1.3%) | 640 ( 0.2%) | 10080 ( 7.1%) | 8130 ( 12.0%) | +| ··············tasmlib_verifier_fri_verify_fri_authentication_paths_loop_over_auth_path_elements | 3520 ( 1.3%) | 0 ( 0.0%) | 0 ( 0.0%) | 10080 ( 7.1%) | 5262 ( 7.8%) | | ··········tasmlib_list_get_element___xfe | 28 ( 0.0%) | 26 ( 0.0%) | 6 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ··········tasmlib_verifier_fri_verify_compute_c_values_loop | 7522 ( 2.8%) | 8000 ( 3.1%) | 1600 ( 0.6%) | 0 ( 0.0%) | 1772 ( 2.6%) | -| ········tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_reduce_indices | 1653 ( 0.6%) | 1162 ( 0.4%) | 165 ( 0.1%) | 0 ( 0.0%) | 1619 ( 2.4%) | -| ··········tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_reduce_indices_loop | 1606 ( 0.6%) | 1124 ( 0.4%) | 160 ( 0.1%) | 0 ( 0.0%) | 1587 ( 2.3%) | -| ········tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_assert_codeword_membership | 2941 ( 1.1%) | 3410 ( 1.3%) | 885 ( 0.3%) | 0 ( 0.0%) | 644 ( 0.9%) | -| ··········tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_assert_codeword_membership_loop | 2886 ( 1.1%) | 3364 ( 1.3%) | 880 ( 0.3%) | 0 ( 0.0%) | 612 ( 0.9%) | -| ············tasmlib_list_get_element___xfe | 1120 ( 0.4%) | 1040 ( 0.4%) | 240 ( 0.1%) | 0 ( 0.0%) | 612 ( 0.9%) | +| ··········tasmlib_verifier_fri_verify_compute_c_values_loop | 7522 ( 2.7%) | 8000 ( 3.0%) | 1600 ( 0.5%) | 0 ( 0.0%) | 1704 ( 2.5%) | +| ········tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_reduce_indices | 1653 ( 0.6%) | 1162 ( 0.4%) | 165 ( 0.1%) | 0 ( 0.0%) | 1474 ( 2.2%) | +| ··········tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_reduce_indices_loop | 1606 ( 0.6%) | 1124 ( 0.4%) | 160 ( 0.1%) | 0 ( 0.0%) | 1442 ( 2.1%) | +| ········tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_assert_codeword_membership | 2941 ( 1.1%) | 3410 ( 1.3%) | 885 ( 0.3%) | 0 ( 0.0%) | 648 ( 1.0%) | +| ··········tasmlib_list_higher_order_u32_map_tasmlib_verifier_fri_verify_assert_codeword_membership_loop | 2886 ( 1.0%) | 3364 ( 1.3%) | 880 ( 0.3%) | 0 ( 0.0%) | 616 ( 0.9%) | +| ············tasmlib_list_get_element___xfe | 1120 ( 0.4%) | 1040 ( 0.4%) | 240 ( 0.1%) | 0 ( 0.0%) | 616 ( 0.9%) | | ····method_boxed_LVmProofIterR_next_as_mastermaintablerows | 30 ( 0.0%) | 22 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) | | ······tasmlib_verifier_vm_proof_iter_dequeue_next_as_mastermaintablerows | 28 ( 0.0%) | 22 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) | | ····method_boxed_LVmProofIterR_next_as_authenticationstructure | 90 ( 0.0%) | 66 ( 0.0%) | 12 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) | | ······tasmlib_verifier_vm_proof_iter_dequeue_next_as_authenticationstructure | 84 ( 0.0%) | 66 ( 0.0%) | 12 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) | -| ····tasmlib_verifier_master_aux_table_verify_Main_table_rows | 10110 ( 3.7%) | 5793 ( 2.2%) | 30086 ( 10.4%) | 24080 ( 17.4%) | 5 ( 0.0%) | -| ······tasmlib_verifier_master_aux_table_verify_Main_table_rows_loop_over_rows | 10086 ( 3.7%) | 5764 ( 2.2%) | 30080 ( 10.4%) | 24080 ( 17.4%) | 0 ( 0.0%) | -| ········tasmlib_hashing_algebraic_hasher_hash_static_size_375 | 5920 ( 2.2%) | 3920 ( 1.5%) | 30000 ( 10.4%) | 18800 ( 13.6%) | 0 ( 0.0%) | -| ··········tasmlib_hashing_absorb_multiple_static_size_375 | 4720 ( 1.7%) | 2720 ( 1.0%) | 30000 ( 10.4%) | 18240 ( 13.2%) | 0 ( 0.0%) | -| ········tasmlib_verifier_master_aux_table_verify_Main_table_rows_loop_over_auth_path_elements | 1840 ( 0.7%) | 0 ( 0.0%) | 0 ( 0.0%) | 5280 ( 3.8%) | 0 ( 0.0%) | +| ····tasmlib_verifier_master_table_verify_Main_table_rows | 9870 ( 3.6%) | 5793 ( 2.2%) | 30406 ( 10.4%) | 24080 ( 17.0%) | 5 ( 0.0%) | +| ······tasmlib_verifier_master_table_verify_Main_table_rows_loop_over_rows | 9846 ( 3.6%) | 5764 ( 2.2%) | 30400 ( 10.4%) | 24080 ( 17.0%) | 0 ( 0.0%) | +| ········tasmlib_hashing_algebraic_hasher_hash_static_size_379 | 5680 ( 2.1%) | 3920 ( 1.5%) | 30320 ( 10.4%) | 18800 ( 13.3%) | 0 ( 0.0%) | +| ··········tasmlib_hashing_absorb_multiple_static_size_379 | 4480 ( 1.6%) | 2720 ( 1.0%) | 30320 ( 10.4%) | 18240 ( 12.9%) | 0 ( 0.0%) | +| ········tasmlib_verifier_master_table_verify_Main_table_rows_loop_over_auth_path_elements | 1840 ( 0.7%) | 0 ( 0.0%) | 0 ( 0.0%) | 5280 ( 3.7%) | 0 ( 0.0%) | | ····method_boxed_LVmProofIterR_next_as_masterauxtablerows | 30 ( 0.0%) | 22 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) | | ······tasmlib_verifier_vm_proof_iter_dequeue_next_as_masterauxtablerows | 28 ( 0.0%) | 22 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) | -| ····tasmlib_verifier_master_aux_table_verify_Aux_table_rows | 9310 ( 3.4%) | 5793 ( 2.2%) | 21206 ( 7.4%) | 18800 ( 13.6%) | 0 ( 0.0%) | -| ······tasmlib_verifier_master_aux_table_verify_Aux_table_rows_loop_over_rows | 9286 ( 3.4%) | 5764 ( 2.2%) | 21200 ( 7.4%) | 18800 ( 13.6%) | 0 ( 0.0%) | -| ········tasmlib_hashing_algebraic_hasher_hash_static_size_264 | 5120 ( 1.9%) | 3920 ( 1.5%) | 21120 ( 7.3%) | 13520 ( 9.8%) | 0 ( 0.0%) | -| ··········tasmlib_hashing_absorb_multiple_static_size_264 | 3920 ( 1.4%) | 2720 ( 1.0%) | 21120 ( 7.3%) | 12960 ( 9.4%) | 0 ( 0.0%) | -| ········tasmlib_verifier_master_aux_table_verify_Aux_table_rows_loop_over_auth_path_elements | 1840 ( 0.7%) | 0 ( 0.0%) | 0 ( 0.0%) | 5280 ( 3.8%) | 0 ( 0.0%) | +| ····tasmlib_verifier_master_table_verify_Aux_table_rows | 9310 ( 3.4%) | 5793 ( 2.2%) | 21206 ( 7.3%) | 18800 ( 13.3%) | 0 ( 0.0%) | +| ······tasmlib_verifier_master_table_verify_Aux_table_rows_loop_over_rows | 9286 ( 3.4%) | 5764 ( 2.2%) | 21200 ( 7.3%) | 18800 ( 13.3%) | 0 ( 0.0%) | +| ········tasmlib_hashing_algebraic_hasher_hash_static_size_264 | 5120 ( 1.9%) | 3920 ( 1.5%) | 21120 ( 7.2%) | 13520 ( 9.6%) | 0 ( 0.0%) | +| ··········tasmlib_hashing_absorb_multiple_static_size_264 | 3920 ( 1.4%) | 2720 ( 1.0%) | 21120 ( 7.2%) | 12960 ( 9.2%) | 0 ( 0.0%) | +| ········tasmlib_verifier_master_table_verify_Aux_table_rows_loop_over_auth_path_elements | 1840 ( 0.7%) | 0 ( 0.0%) | 0 ( 0.0%) | 5280 ( 3.7%) | 0 ( 0.0%) | | ····method_boxed_LVmProofIterR_next_as_quotientsegmentselements | 30 ( 0.0%) | 22 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) | | ······tasmlib_verifier_vm_proof_iter_dequeue_next_as_quotientsegmentselements | 28 ( 0.0%) | 22 ( 0.0%) | 4 ( 0.0%) | 0 ( 0.0%) | 24 ( 0.0%) | -| ····tasmlib_verifier_master_aux_table_verify_Quotient_table_rows | 7470 ( 2.7%) | 5793 ( 2.2%) | 1046 ( 0.4%) | 6800 ( 4.9%) | 0 ( 0.0%) | -| ······tasmlib_verifier_master_aux_table_verify_Quotient_table_rows_loop_over_rows | 7446 ( 2.7%) | 5764 ( 2.2%) | 1040 ( 0.4%) | 6800 ( 4.9%) | 0 ( 0.0%) | +| ····tasmlib_verifier_master_table_verify_Quotient_table_rows | 7470 ( 2.7%) | 5793 ( 2.2%) | 1046 ( 0.4%) | 6800 ( 4.8%) | 0 ( 0.0%) | +| ······tasmlib_verifier_master_table_verify_Quotient_table_rows_loop_over_rows | 7446 ( 2.7%) | 5764 ( 2.2%) | 1040 ( 0.4%) | 6800 ( 4.8%) | 0 ( 0.0%) | | ········tasmlib_hashing_algebraic_hasher_hash_static_size_12 | 3280 ( 1.2%) | 3920 ( 1.5%) | 960 ( 0.3%) | 1520 ( 1.1%) | 0 ( 0.0%) | | ··········tasmlib_hashing_absorb_multiple_static_size_12 | 2080 ( 0.8%) | 2720 ( 1.0%) | 960 ( 0.3%) | 960 ( 0.7%) | 0 ( 0.0%) | -| ········tasmlib_verifier_master_aux_table_verify_Quotient_table_rows_loop_over_auth_path_elements | 1840 ( 0.7%) | 0 ( 0.0%) | 0 ( 0.0%) | 5280 ( 3.8%) | 0 ( 0.0%) | -| ····method_Result___array463_of_LXFieldR_unwrap | 3 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | -| ····_binop_Lt__LboolR_bool_314_while_loop | 63131 ( 23.1%) | 29288 ( 11.3%) | 169201 ( 58.7%) | 0 ( 0.0%) | 6312 ( 9.3%) | -| ······tasmlib_array_inner_product_of_three_rows_with_weights_Bfe_mainrowelem | 38160 ( 14.0%) | 480 ( 0.2%) | 162240 ( 56.3%) | 0 ( 0.0%) | 0 ( 0.0%) | +| ········tasmlib_verifier_master_table_verify_Quotient_table_rows_loop_over_auth_path_elements | 1840 ( 0.7%) | 0 ( 0.0%) | 0 ( 0.0%) | 5280 ( 3.7%) | 0 ( 0.0%) | +| ····method_Result___array467_of_LXFieldR_unwrap | 3 ( 0.0%) | 1 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | 0 ( 0.0%) | +| ····_binop_Lt__LboolR_bool_314_while_loop | 63451 ( 22.9%) | 29288 ( 11.1%) | 170481 ( 58.4%) | 0 ( 0.0%) | 6344 ( 9.4%) | +| ······tasmlib_array_inner_product_of_three_rows_with_weights_Bfe_mainrowelem | 38480 ( 13.9%) | 480 ( 0.2%) | 163520 ( 56.0%) | 0 ( 0.0%) | 0 ( 0.0%) | | ······tasmlib_array_inner_product_of_4_xfes | 1040 ( 0.4%) | 400 ( 0.2%) | 1920 ( 0.7%) | 0 ( 0.0%) | 0 ( 0.0%) | -| Total | 273223 (100.0%) | 259066 (100.0%) | 288282 (100.0%) | 138463 (100.0%) | 67908 (100.0%) | +| Total | 276561 (100.0%) | 264482 (100.0%) | 291905 (100.0%) | 141421 (100.0%) | 67469 (100.0%) | diff --git a/src/tests_and_benchmarks/ozk/programs/recufier/verify.rs b/src/tests_and_benchmarks/ozk/programs/recufier/verify.rs index be4dee1..dbff627 100644 --- a/src/tests_and_benchmarks/ozk/programs/recufier/verify.rs +++ b/src/tests_and_benchmarks/ozk/programs/recufier/verify.rs @@ -45,7 +45,7 @@ impl Recufier { let extension_tree_merkle_root: Box = proof_iter.next_as_merkleroot(); - let quot_codeword_weights: [XFieldElement; 592] = <[XFieldElement; 592]>::try_from( + let quot_codeword_weights: [XFieldElement; 596] = <[XFieldElement; 596]>::try_from( Tip5WithState::sample_scalars(Recufier::num_quotients()), ) .unwrap(); @@ -72,16 +72,16 @@ impl Recufier { let out_of_domain_curr_row_quot_segments: Box<[XFieldElement; 4]> = proof_iter.next_as_outofdomainquotientsegments(); - let air_evaluation_result: [XFieldElement; 592] = - tasm::tasmlib_verifier_master_aux_table_air_constraint_evaluation( + let air_evaluation_result: [XFieldElement; 596] = + tasm::tasmlib_verifier_master_table_air_constraint_evaluation( &out_of_domain_curr_main_row, &out_of_domain_curr_aux_row, &out_of_domain_next_main_row, &out_of_domain_next_aux_row, ); - let quotient_summands: [XFieldElement; 592] = - tasm::tasmlib_verifier_master_aux_table_divide_out_zerofiers( + let quotient_summands: [XFieldElement; 596] = + tasm::tasmlib_verifier_master_table_divide_out_zerofiers( air_evaluation_result, out_of_domain_point_curr_row, padded_height, @@ -89,7 +89,7 @@ impl Recufier { ); let out_of_domain_quotient_value: XFieldElement = - tasm::tasmlib_array_inner_product_of_592_xfes(quot_codeword_weights, quotient_summands); + tasm::tasmlib_array_inner_product_of_596_xfes(quot_codeword_weights, quotient_summands); let sum_of_evaluated_out_of_domain_quotient_segments: XFieldElement = tasm::tasmlib_array_horner_evaluation_with_4_coefficients( @@ -152,7 +152,7 @@ impl Recufier { // hash base rows to get leafs let merkle_tree_height: u32 = fri.domain_length.ilog2(); - tasm::tasmlib_verifier_master_aux_table_verify_Main_table_rows( + tasm::tasmlib_verifier_master_table_verify_Main_table_rows( num_combination_codeword_checks, merkle_tree_height, &main_merkle_tree_root, @@ -167,7 +167,7 @@ impl Recufier { let _dummy: Box> = proof_iter.next_as_authenticationstructure(); } - tasm::tasmlib_verifier_master_aux_table_verify_Aux_table_rows( + tasm::tasmlib_verifier_master_table_verify_Aux_table_rows( num_combination_codeword_checks, merkle_tree_height, &extension_tree_merkle_root, @@ -184,7 +184,7 @@ impl Recufier { let _dummy: Box> = proof_iter.next_as_authenticationstructure(); } - tasm::tasmlib_verifier_master_aux_table_verify_Quotient_table_rows( + tasm::tasmlib_verifier_master_table_verify_Quotient_table_rows( num_combination_codeword_checks, merkle_tree_height, "ient_tree_merkle_root, @@ -200,8 +200,8 @@ impl Recufier { assert!(num_combination_codeword_checks == quotient_segment_elements.len()); // Main loop - let trace_weights: [XFieldElement; 463] = - <[XFieldElement; 463]>::try_from(main_and_aux_codeword_weights).unwrap(); + let trace_weights: [XFieldElement; 467] = + <[XFieldElement; 467]>::try_from(main_and_aux_codeword_weights).unwrap(); { let mut i: usize = 0; while i < num_combination_codeword_checks { @@ -257,19 +257,19 @@ impl Recufier { } const fn num_quotients() -> usize { - return 592; + return 596; } const fn num_main_aux_quotient_deep_weights() -> usize { - return 470; + return 474; } fn num_columns_plus_quotient_segments() -> usize { - return 467; + return 471; } fn num_columns() -> usize { - return 463; + return 467; } #[allow(clippy::boxed_local)] @@ -445,7 +445,7 @@ mod test { fn num_columns_agrees_with_tvm() { assert_eq!( Recufier::num_columns(), - MasterMainTable::NUM_COLUMNS + MasterAuxTable::NUM_COLUMNS + MasterMainTable::NUM_COLUMNS + MasterAuxTable::NUM_COLUMNS, ) } diff --git a/src/tests_and_benchmarks/ozk/programs/recufier/vm_proof_iter_next_as.rs b/src/tests_and_benchmarks/ozk/programs/recufier/vm_proof_iter_next_as.rs index 41b4e37..e559f1d 100644 --- a/src/tests_and_benchmarks/ozk/programs/recufier/vm_proof_iter_next_as.rs +++ b/src/tests_and_benchmarks/ozk/programs/recufier/vm_proof_iter_next_as.rs @@ -34,7 +34,7 @@ mod test { let a_merkle_root: Box = vm_proof_iter.next_as_merkleroot(); tasm::tasmlib_io_write_to_stdout___digest(*a_merkle_root); - let out_of_domain_main_row: Box> = + let out_of_domain_main_row: Box> = vm_proof_iter.next_as_outofdomainmainrow(); tasm::tasmlib_io_write_to_stdout___xfe(out_of_domain_main_row[0]); tasm::tasmlib_io_write_to_stdout___xfe(out_of_domain_main_row[1]); @@ -57,7 +57,7 @@ mod test { tasm::tasmlib_io_write_to_stdout___digest(authentication_structure[1]); tasm::tasmlib_io_write_to_stdout___digest(authentication_structure[2]); - let mbtw: Box> = vm_proof_iter.next_as_mastermaintablerows(); + let mbtw: Box> = vm_proof_iter.next_as_mastermaintablerows(); { let mut j: usize = 0; while j < mbtw.len() { diff --git a/src/tests_and_benchmarks/ozk/rust_shadows.rs b/src/tests_and_benchmarks/ozk/rust_shadows.rs index f723882..8b57a0f 100644 --- a/src/tests_and_benchmarks/ozk/rust_shadows.rs +++ b/src/tests_and_benchmarks/ozk/rust_shadows.rs @@ -27,9 +27,9 @@ use tasm_lib::twenty_first::math::x_field_element::EXTENSION_DEGREE; use tasm_lib::twenty_first::util_types::algebraic_hasher::AlgebraicHasher; use tasm_lib::twenty_first::util_types::algebraic_hasher::Sponge; use tasm_lib::twenty_first::util_types::merkle_tree::MerkleTreeInclusionProof; -use tasm_lib::verifier::master_aux_table::air_constraint_evaluation; -use tasm_lib::verifier::master_aux_table::air_constraint_evaluation::AirConstraintEvaluation; -use tasm_lib::verifier::master_aux_table::air_constraint_evaluation::AirConstraintSnippetInputs; +use tasm_lib::verifier::master_table::air_constraint_evaluation; +use tasm_lib::verifier::master_table::air_constraint_evaluation::AirConstraintEvaluation; +use tasm_lib::verifier::master_table::air_constraint_evaluation::AirConstraintSnippetInputs; use crate::tests_and_benchmarks::ozk::programs::recufier::challenges::Challenges as TasmLangChallenges; use crate::tests_and_benchmarks::ozk::programs::recufier::stark_parameters::FriVerify; @@ -358,9 +358,9 @@ pub(super) fn tasmlib_array_inner_product_of_4_xfes( inner_product(&a, &b) } -pub(super) fn tasmlib_array_inner_product_of_592_xfes( - a: [XFieldElement; 592], - b: [XFieldElement; 592], +pub(super) fn tasmlib_array_inner_product_of_596_xfes( + a: [XFieldElement; 596], + b: [XFieldElement; 596], ) -> XFieldElement { inner_product(&a, &b) } @@ -379,7 +379,7 @@ pub(super) fn tasmlib_array_horner_evaluation_with_4_coefficients( running_evaluation } -pub(super) fn tasmlib_verifier_master_aux_table_air_constraint_evaluation( +pub(super) fn tasmlib_verifier_master_table_air_constraint_evaluation( curr_main: &MainRow, curr_aux: &AuxiliaryRow, next_main: &MainRow, @@ -411,7 +411,7 @@ pub(super) fn tasmlib_verifier_master_aux_table_air_constraint_evaluation( .unwrap() } -pub(super) fn tasmlib_verifier_master_aux_table_divide_out_zerofiers( +pub(super) fn tasmlib_verifier_master_table_divide_out_zerofiers( mut air_evaluation_result: [XFieldElement; MasterAuxTable::NUM_CONSTRAINTS], out_of_domain_point_curr_row: XFieldElement, padded_height: u32, @@ -456,7 +456,7 @@ pub(super) fn tasmlib_verifier_master_aux_table_divide_out_zerofiers( } #[allow(non_snake_case)] // Name must agree with `tasm-lib` -pub(super) fn tasmlib_verifier_master_aux_table_verify_Main_table_rows( +pub(super) fn tasmlib_verifier_master_table_verify_Main_table_rows( num_combination_codeword_checks: usize, merkle_tree_height: u32, merkle_tree_root: &Digest, @@ -479,7 +479,7 @@ pub(super) fn tasmlib_verifier_master_aux_table_verify_Main_table_rows( } #[allow(non_snake_case)] // Name must agree with `tasm-lib` -pub(super) fn tasmlib_verifier_master_aux_table_verify_Aux_table_rows( +pub(super) fn tasmlib_verifier_master_table_verify_Aux_table_rows( num_combination_codeword_checks: usize, merkle_tree_height: u32, merkle_tree_root: &Digest, @@ -505,7 +505,7 @@ pub(super) fn tasmlib_verifier_master_aux_table_verify_Aux_table_rows( } #[allow(non_snake_case)] // Name must agree with `tasm-lib` -pub(super) fn tasmlib_verifier_master_aux_table_verify_Quotient_table_rows( +pub(super) fn tasmlib_verifier_master_table_verify_Quotient_table_rows( num_combination_codeword_checks: usize, merkle_tree_height: u32, merkle_tree_root: &Digest,