signoff(hashing): Absorb multiple

TritonVM · Jan 20, 2025 · bd57aa2 · bd57aa2
1 parent 2975d7b
commit bd57aa2
Show file tree

Hide file tree

Showing 12 changed files with 155 additions and 187 deletions.
diff --git a/tasm-lib/benchmarks/tasmlib_hashing_absorb_multiple.json b/tasm-lib/benchmarks/tasmlib_hashing_absorb_multiple.json
@@ -2,21 +2,21 @@
   {
     "name": "tasmlib_hashing_absorb_multiple",
     "benchmark_result": {
-      "clock_cycle_count": 211,
-      "hash_table_height": 138,
+      "clock_cycle_count": 182,
+      "hash_table_height": 126,
       "u32_table_height": 13,
-      "op_stack_table_height": 152,
+      "op_stack_table_height": 134,
       "ram_table_height": 102
     },
     "case": "CommonCase"
   },
   {
     "name": "tasmlib_hashing_absorb_multiple",
     "benchmark_result": {
-      "clock_cycle_count": 1351,
-      "hash_table_height": 1278,
+      "clock_cycle_count": 1322,
+      "hash_table_height": 1266,
       "u32_table_height": 17,
-      "op_stack_table_height": 912,
+      "op_stack_table_height": 894,
       "ram_table_height": 2002
     },
     "case": "WorstCase"

diff --git a/tasm-lib/benchmarks/tasmlib_hashing_algebraic_hasher_hash_varlen.json b/tasm-lib/benchmarks/tasmlib_hashing_algebraic_hasher_hash_varlen.json
@@ -2,21 +2,21 @@
   {
     "name": "tasmlib_hashing_algebraic_hasher_hash_varlen",
     "benchmark_result": {
-      "clock_cycle_count": 171,
-      "hash_table_height": 115,
+      "clock_cycle_count": 148,
+      "hash_table_height": 103,
       "u32_table_height": 11,
-      "op_stack_table_height": 129,
+      "op_stack_table_height": 117,
       "ram_table_height": 25
     },
     "case": "CommonCase"
   },
   {
     "name": "tasmlib_hashing_algebraic_hasher_hash_varlen",
     "benchmark_result": {
-      "clock_cycle_count": 769,
-      "hash_table_height": 703,
+      "clock_cycle_count": 736,
+      "hash_table_height": 691,
       "u32_table_height": 16,
-      "op_stack_table_height": 531,
+      "op_stack_table_height": 509,
       "ram_table_height": 1000
     },
     "case": "WorstCase"

diff --git a/tasm-lib/benchmarks/tasmlib_list_multiset_equality_digests.json b/tasm-lib/benchmarks/tasmlib_list_multiset_equality_digests.json
@@ -2,21 +2,21 @@
   {
     "name": "tasmlib_list_multiset_equality_digests",
     "benchmark_result": {
-      "clock_cycle_count": 590,
-      "hash_table_height": 266,
+      "clock_cycle_count": 524,
+      "hash_table_height": 260,
       "u32_table_height": 10,
-      "op_stack_table_height": 533,
+      "op_stack_table_height": 489,
       "ram_table_height": 42
     },
     "case": "CommonCase"
   },
   {
     "name": "tasmlib_list_multiset_equality_digests",
     "benchmark_result": {
-      "clock_cycle_count": 7450,
-      "hash_table_height": 854,
+      "clock_cycle_count": 7384,
+      "hash_table_height": 848,
       "u32_table_height": 15,
-      "op_stack_table_height": 8373,
+      "op_stack_table_height": 8329,
       "ram_table_height": 2002
     },
     "case": "WorstCase"

diff --git a/tasm-lib/benchmarks/tasmlib_list_multiset_equality_u64s.json b/tasm-lib/benchmarks/tasmlib_list_multiset_equality_u64s.json
@@ -2,21 +2,21 @@
   {
     "name": "tasmlib_list_multiset_equality_u64s",
     "benchmark_result": {
-      "clock_cycle_count": 2613,
-      "hash_table_height": 440,
+      "clock_cycle_count": 2551,
+      "hash_table_height": 428,
       "u32_table_height": 14,
-      "op_stack_table_height": 3011,
+      "op_stack_table_height": 2971,
       "ram_table_height": 730
     },
     "case": "CommonCase"
   },
   {
     "name": "tasmlib_list_multiset_equality_u64s",
     "benchmark_result": {
-      "clock_cycle_count": 9201,
-      "hash_table_height": 1088,
+      "clock_cycle_count": 9139,
+      "hash_table_height": 1076,
       "u32_table_height": 16,
-      "op_stack_table_height": 11003,
+      "op_stack_table_height": 10963,
       "ram_table_height": 2890
     },
     "case": "WorstCase"

diff --git a/tasm-lib/benchmarks/tasmlib_verifier_claim_instantiate_fiat_shamir_with_claim.json b/tasm-lib/benchmarks/tasmlib_verifier_claim_instantiate_fiat_shamir_with_claim.json
@@ -2,21 +2,21 @@
   {
     "name": "tasmlib_verifier_claim_instantiate_fiat_shamir_with_claim",
     "benchmark_result": {
-      "clock_cycle_count": 172,
-      "hash_table_height": 96,
+      "clock_cycle_count": 139,
+      "hash_table_height": 84,
       "u32_table_height": 10,
-      "op_stack_table_height": 127,
+      "op_stack_table_height": 105,
       "ram_table_height": 12
     },
     "case": "CommonCase"
   },
   {
     "name": "tasmlib_verifier_claim_instantiate_fiat_shamir_with_claim",
     "benchmark_result": {
-      "clock_cycle_count": 292,
-      "hash_table_height": 216,
+      "clock_cycle_count": 259,
+      "hash_table_height": 204,
       "u32_table_height": 14,
-      "op_stack_table_height": 207,
+      "op_stack_table_height": 185,
       "ram_table_height": 212
     },
     "case": "WorstCase"

diff --git a/tasm-lib/benchmarks/tasmlib_verifier_fri_verify.json b/tasm-lib/benchmarks/tasmlib_verifier_fri_verify.json
@@ -2,21 +2,21 @@
   {
     "name": "tasmlib_verifier_fri_verify",
     "benchmark_result": {
-      "clock_cycle_count": 44059,
-      "hash_table_height": 14712,
+      "clock_cycle_count": 44017,
+      "hash_table_height": 14700,
       "u32_table_height": 17999,
-      "op_stack_table_height": 42255,
+      "op_stack_table_height": 42235,
       "ram_table_height": 17563
     },
     "case": "CommonCase"
   },
   {
     "name": "tasmlib_verifier_fri_verify",
     "benchmark_result": {
-      "clock_cycle_count": 44059,
-      "hash_table_height": 14712,
+      "clock_cycle_count": 44017,
+      "hash_table_height": 14700,
       "u32_table_height": 17395,
-      "op_stack_table_height": 42255,
+      "op_stack_table_height": 42235,
       "ram_table_height": 17563
     },
     "case": "WorstCase"

diff --git a/...b/benchmarks/tasmlib_verifier_stark_verify_dynamic_inner_padded_height_256_fri_exp_4.json b/...b/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": 188448,
-      "hash_table_height": 138901,
+      "clock_cycle_count": 188178,
+      "hash_table_height": 138883,
       "u32_table_height": 25078,
-      "op_stack_table_height": 167380,
+      "op_stack_table_height": 167240,
       "ram_table_height": 289169
     },
     "case": "CommonCase"

diff --git a/...b/benchmarks/tasmlib_verifier_stark_verify_dynamic_inner_padded_height_512_fri_exp_4.json b/...b/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": 195958,
-      "hash_table_height": 146593,
+      "clock_cycle_count": 195667,
+      "hash_table_height": 146575,
       "u32_table_height": 33679,
-      "op_stack_table_height": 172092,
+      "op_stack_table_height": 171942,
       "ram_table_height": 290320
     },
     "case": "CommonCase"

diff --git a/...ib/benchmarks/tasmlib_verifier_stark_verify_static_inner_padded_height_256_fri_exp_4.json b/...ib/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": 176745,
-      "hash_table_height": 124861,
+      "clock_cycle_count": 176475,
+      "hash_table_height": 124843,
       "u32_table_height": 25078,
-      "op_stack_table_height": 159574,
+      "op_stack_table_height": 159434,
       "ram_table_height": 285270
     },
     "case": "CommonCase"

diff --git a/...ib/benchmarks/tasmlib_verifier_stark_verify_static_inner_padded_height_512_fri_exp_4.json b/...ib/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": 184255,
-      "hash_table_height": 132553,
+      "clock_cycle_count": 183964,
+      "hash_table_height": 132535,
       "u32_table_height": 33679,
-      "op_stack_table_height": 164286,
+      "op_stack_table_height": 164136,
       "ram_table_height": 286421
     },
     "case": "CommonCase"