signoff: MerkleRootFromXfes

Also, add support for lists of length 1.

Author: jan-ferdinand

tasm-lib/benchmarks/tasmlib_hashing_merkle_root_from_xfes.json

@@ -2,21 +2,21 @@
   {
     "name": "tasmlib_hashing_merkle_root_from_xfes",
     "benchmark_result": {
-      "clock_cycle_count": 7228,
+      "clock_cycle_count": 6455,
       "hash_table_height": 3228,
       "u32_table_height": 99,
-      "op_stack_table_height": 12038,
+      "op_stack_table_height": 10494,
       "ram_table_height": 6653
     },
     "case": "CommonCase"
   },
   {
     "name": "tasmlib_hashing_merkle_root_from_xfes",
     "benchmark_result": {
-      "clock_cycle_count": 14165,
+      "clock_cycle_count": 12624,
       "hash_table_height": 6300,
       "u32_table_height": 102,
-      "op_stack_table_height": 23836,
+      "op_stack_table_height": 20756,
       "ram_table_height": 13309
     },
     "case": "WorstCase"

tasm-lib/benchmarks/tasmlib_verifier_fri_verify.json

@@ -2,21 +2,21 @@
   {
     "name": "tasmlib_verifier_fri_verify",
     "benchmark_result": {
-      "clock_cycle_count": 43507,
-      "hash_table_height": 14658,
+      "clock_cycle_count": 42734,
+      "hash_table_height": 14664,
       "u32_table_height": 18381,
-      "op_stack_table_height": 40821,
+      "op_stack_table_height": 39277,
       "ram_table_height": 17564
     },
     "case": "CommonCase"
   },
   {
     "name": "tasmlib_verifier_fri_verify",
     "benchmark_result": {
-      "clock_cycle_count": 43507,
-      "hash_table_height": 14658,
+      "clock_cycle_count": 42734,
+      "hash_table_height": 14664,
       "u32_table_height": 17772,
-      "op_stack_table_height": 40821,
+      "op_stack_table_height": 39277,
       "ram_table_height": 17564
     },
     "case": "WorstCase"

tasm-lib/benchmarks/tasmlib_verifier_stark_verify_dynamic_inner_padded_height_256_fri_exp_4.json

@@ -2,10 +2,10 @@
   {
     "name": "tasmlib_verifier_stark_verify_dynamic_inner_padded_height_256_fri_exp_4",
     "benchmark_result": {
-      "clock_cycle_count": 187670,
+      "clock_cycle_count": 186897,
       "hash_table_height": 138829,
       "u32_table_height": 25459,
-      "op_stack_table_height": 165828,
+      "op_stack_table_height": 164284,
       "ram_table_height": 289170
     },
     "case": "CommonCase"

tasm-lib/benchmarks/tasmlib_verifier_stark_verify_dynamic_inner_padded_height_512_fri_exp_4.json

@@ -2,10 +2,10 @@
   {
     "name": "tasmlib_verifier_stark_verify_dynamic_inner_padded_height_512_fri_exp_4",
     "benchmark_result": {
-      "clock_cycle_count": 195174,
+      "clock_cycle_count": 194401,
       "hash_table_height": 146521,
       "u32_table_height": 34071,
-      "op_stack_table_height": 170532,
+      "op_stack_table_height": 168988,
       "ram_table_height": 290321
     },
     "case": "CommonCase"

tasm-lib/benchmarks/tasmlib_verifier_stark_verify_static_inner_padded_height_256_fri_exp_4.json

@@ -2,10 +2,10 @@
   {
     "name": "tasmlib_verifier_stark_verify_static_inner_padded_height_256_fri_exp_4",
     "benchmark_result": {
-      "clock_cycle_count": 175967,
-      "hash_table_height": 124783,
+      "clock_cycle_count": 175194,
+      "hash_table_height": 124789,
       "u32_table_height": 25459,
-      "op_stack_table_height": 158022,
+      "op_stack_table_height": 156478,
       "ram_table_height": 285271
     },
     "case": "CommonCase"

tasm-lib/benchmarks/tasmlib_verifier_stark_verify_static_inner_padded_height_512_fri_exp_4.json

@@ -2,10 +2,10 @@
   {
     "name": "tasmlib_verifier_stark_verify_static_inner_padded_height_512_fri_exp_4",
     "benchmark_result": {
-      "clock_cycle_count": 183471,
-      "hash_table_height": 132475,
+      "clock_cycle_count": 182698,
+      "hash_table_height": 132481,
       "u32_table_height": 34071,
-      "op_stack_table_height": 162726,
+      "op_stack_table_height": 161182,
       "ram_table_height": 286422
     },
     "case": "CommonCase"