chore(deps): upgrade to Triton VM v0.42.0-alpha.3

TritonVM · May 7, 2024 · 4a5df71 · 4a5df71
1 parent bc72b8c
commit 4a5df71
Show file tree

Hide file tree

Showing 24 changed files with 177 additions and 145 deletions.
diff --git a/tasm-lib/Cargo.toml b/tasm-lib/Cargo.toml
@@ -29,7 +29,7 @@ rand = "0.8.5"
 serde = { version = "1", features = ["derive"] }
 serde_json = "1"
 strum = { version = "0.26", features = ["derive"] }
-triton-vm = "0.42.0-alpha.2"
+triton-vm = "0.42.0-alpha.3"
 
 [dev-dependencies.cargo-husky]
 version = "1"

diff --git a/tasm-lib/benchmarks/tasmlib_array_inner_product_of_452_xfes.json b/tasm-lib/benchmarks/tasmlib_array_inner_product_of_452_xfes.json
@@ -0,0 +1,24 @@
+[
+  {
+    "name": "tasmlib_array_inner_product_of_452_xfes",
+    "benchmark_result": {
+      "clock_cycle_count": 462,
+      "hash_table_height": 288,
+      "u32_table_height": 0,
+      "op_stack_table_height": 5,
+      "ram_table_height": 2712
+    },
+    "case": "CommonCase"
+  },
+  {
+    "name": "tasmlib_array_inner_product_of_452_xfes",
+    "benchmark_result": {
+      "clock_cycle_count": 462,
+      "hash_table_height": 288,
+      "u32_table_height": 0,
+      "op_stack_table_height": 5,
+      "ram_table_height": 2712
+    },
+    "case": "WorstCase"
+  }
+]
diff --git a/tasm-lib/benchmarks/tasmlib_array_inner_product_of_609_xfes.json b/tasm-lib/benchmarks/tasmlib_array_inner_product_of_609_xfes.json
@@ -0,0 +1,24 @@
+[
+  {
+    "name": "tasmlib_array_inner_product_of_609_xfes",
+    "benchmark_result": {
+      "clock_cycle_count": 619,
+      "hash_table_height": 378,
+      "u32_table_height": 0,
+      "op_stack_table_height": 5,
+      "ram_table_height": 3654
+    },
+    "case": "CommonCase"
+  },
+  {
+    "name": "tasmlib_array_inner_product_of_609_xfes",
+    "benchmark_result": {
+      "clock_cycle_count": 619,
+      "hash_table_height": 378,
+      "u32_table_height": 0,
+      "op_stack_table_height": 5,
+      "ram_table_height": 3654
+    },
+    "case": "WorstCase"
+  }
+]
diff --git a/...ib/benchmarks/tasmlib_array_inner_product_of_three_rows_with_weights_Bfe_baserowelem.json b/...ib/benchmarks/tasmlib_array_inner_product_of_three_rows_with_weights_Bfe_baserowelem.json
@@ -2,22 +2,22 @@
   {
     "name": "tasmlib_array_inner_product_of_three_rows_with_weights_Bfe_baserowelem",
     "benchmark_result": {
-      "clock_cycle_count": 463,
+      "clock_cycle_count": 466,
       "hash_table_height": 288,
       "u32_table_height": 0,
       "op_stack_table_height": 6,
-      "ram_table_height": 1962
+      "ram_table_height": 1974
     },
     "case": "CommonCase"
   },
   {
     "name": "tasmlib_array_inner_product_of_three_rows_with_weights_Bfe_baserowelem",
     "benchmark_result": {
-      "clock_cycle_count": 463,
+      "clock_cycle_count": 466,
       "hash_table_height": 288,
       "u32_table_height": 0,
       "op_stack_table_height": 6,
-      "ram_table_height": 1962
+      "ram_table_height": 1974
     },
     "case": "WorstCase"
   }

diff --git a/...ib/benchmarks/tasmlib_array_inner_product_of_three_rows_with_weights_Xfe_baserowelem.json b/...ib/benchmarks/tasmlib_array_inner_product_of_three_rows_with_weights_Xfe_baserowelem.json
@@ -2,22 +2,22 @@
   {
     "name": "tasmlib_array_inner_product_of_three_rows_with_weights_Xfe_baserowelem",
     "benchmark_result": {
-      "clock_cycle_count": 463,
+      "clock_cycle_count": 466,
       "hash_table_height": 288,
       "u32_table_height": 0,
       "op_stack_table_height": 6,
-      "ram_table_height": 2688
+      "ram_table_height": 2706
     },
     "case": "CommonCase"
   },
   {
     "name": "tasmlib_array_inner_product_of_three_rows_with_weights_Xfe_baserowelem",
     "benchmark_result": {
-      "clock_cycle_count": 463,
+      "clock_cycle_count": 466,
       "hash_table_height": 288,
       "u32_table_height": 0,
       "op_stack_table_height": 6,
-      "ram_table_height": 2688
+      "ram_table_height": 2706
     },
     "case": "WorstCase"
   }

diff --git a/tasm-lib/benchmarks/tasmlib_hashing_merkle_verify.json b/tasm-lib/benchmarks/tasmlib_hashing_merkle_verify.json
@@ -2,21 +2,21 @@
   {
     "name": "tasmlib_hashing_merkle_verify",
     "benchmark_result": {
-      "clock_cycle_count": 69,
+      "clock_cycle_count": 63,
       "hash_table_height": 66,
       "u32_table_height": 12,
-      "op_stack_table_height": 108,
+      "op_stack_table_height": 48,
       "ram_table_height": 0
     },
     "case": "CommonCase"
   },
   {
     "name": "tasmlib_hashing_merkle_verify",
     "benchmark_result": {
-      "clock_cycle_count": 167,
+      "clock_cycle_count": 147,
       "hash_table_height": 150,
       "u32_table_height": 28,
-      "op_stack_table_height": 304,
+      "op_stack_table_height": 104,
       "ram_table_height": 0
     },
     "case": "WorstCase"

diff --git a/tasm-lib/benchmarks/tasmlib_mmr_verify_from_secret_in_leaf_index_on_stack.json b/tasm-lib/benchmarks/tasmlib_mmr_verify_from_secret_in_leaf_index_on_stack.json
@@ -2,21 +2,21 @@
   {
     "name": "tasmlib_mmr_verify_from_secret_in_leaf_index_on_stack",
     "benchmark_result": {
-      "clock_cycle_count": 1096,
+      "clock_cycle_count": 1064,
       "hash_table_height": 378,
       "u32_table_height": 166,
-      "op_stack_table_height": 884,
+      "op_stack_table_height": 564,
       "ram_table_height": 5
     },
     "case": "CommonCase"
   },
   {
     "name": "tasmlib_mmr_verify_from_secret_in_leaf_index_on_stack",
     "benchmark_result": {
-      "clock_cycle_count": 1966,
+      "clock_cycle_count": 1904,
       "hash_table_height": 558,
       "u32_table_height": 835,
-      "op_stack_table_height": 1604,
+      "op_stack_table_height": 984,
       "ram_table_height": 5
     },
     "case": "WorstCase"

diff --git a/tasm-lib/benchmarks/tasmlib_mmr_verify_from_secret_in_secret_leaf_index.json b/tasm-lib/benchmarks/tasmlib_mmr_verify_from_secret_in_secret_leaf_index.json
@@ -2,21 +2,21 @@
   {
     "name": "tasmlib_mmr_verify_from_secret_in_secret_leaf_index",
     "benchmark_result": {
-      "clock_cycle_count": 1104,
+      "clock_cycle_count": 1072,
       "hash_table_height": 390,
       "u32_table_height": 166,
-      "op_stack_table_height": 890,
+      "op_stack_table_height": 570,
       "ram_table_height": 5
     },
     "case": "CommonCase"
   },
   {
     "name": "tasmlib_mmr_verify_from_secret_in_secret_leaf_index",
     "benchmark_result": {
-      "clock_cycle_count": 1974,
+      "clock_cycle_count": 1912,
       "hash_table_height": 570,
       "u32_table_height": 933,
-      "op_stack_table_height": 1610,
+      "op_stack_table_height": 990,
       "ram_table_height": 5
     },
     "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": 126151,
+      "clock_cycle_count": 124551,
       "hash_table_height": 14838,
       "u32_table_height": 12046,
-      "op_stack_table_height": 125233,
+      "op_stack_table_height": 109233,
       "ram_table_height": 19397
     },
     "case": "CommonCase"
   },
   {
     "name": "tasmlib_verifier_fri_verify",
     "benchmark_result": {
-      "clock_cycle_count": 126151,
+      "clock_cycle_count": 124551,
       "hash_table_height": 14838,
       "u32_table_height": 11671,
-      "op_stack_table_height": 125233,
+      "op_stack_table_height": 109233,
       "ram_table_height": 19397
     },
     "case": "WorstCase"

diff --git a/tasm-lib/benchmarks/tasmlib_verifier_master_ext_table_air_constraint_evaluation.json b/tasm-lib/benchmarks/tasmlib_verifier_master_ext_table_air_constraint_evaluation.json
@@ -2,22 +2,22 @@
   {
     "name": "tasmlib_verifier_master_ext_table_air_constraint_evaluation",
     "benchmark_result": {
-      "clock_cycle_count": 34392,
-      "hash_table_height": 37020,
+      "clock_cycle_count": 34566,
+      "hash_table_height": 37200,
       "u32_table_height": 0,
-      "op_stack_table_height": 63661,
-      "ram_table_height": 22644
+      "op_stack_table_height": 63999,
+      "ram_table_height": 22746
     },
     "case": "CommonCase"
   },
   {
     "name": "tasmlib_verifier_master_ext_table_air_constraint_evaluation",
     "benchmark_result": {
-      "clock_cycle_count": 34392,
-      "hash_table_height": 37020,
+      "clock_cycle_count": 34566,
+      "hash_table_height": 37200,
       "u32_table_height": 0,
-      "op_stack_table_height": 63661,
-      "ram_table_height": 22644
+      "op_stack_table_height": 63999,
+      "ram_table_height": 22746
     },
     "case": "WorstCase"
   }

diff --git a/tasm-lib/benchmarks/tasmlib_verifier_master_ext_table_quotient_summands.json b/tasm-lib/benchmarks/tasmlib_verifier_master_ext_table_quotient_summands.json
@@ -2,22 +2,22 @@
   {
     "name": "tasmlib_verifier_master_ext_table_quotient_summands",
     "benchmark_result": {
-      "clock_cycle_count": 41932,
-      "hash_table_height": 45450,
-      "u32_table_height": 18,
-      "op_stack_table_height": 72392,
-      "ram_table_height": 28113
+      "clock_cycle_count": 42337,
+      "hash_table_height": 45672,
+      "u32_table_height": 33,
+      "op_stack_table_height": 72952,
+      "ram_table_height": 28242
     },
     "case": "CommonCase"
   },
   {
     "name": "tasmlib_verifier_master_ext_table_quotient_summands",
     "benchmark_result": {
-      "clock_cycle_count": 42075,
-      "hash_table_height": 45450,
-      "u32_table_height": 29,
-      "op_stack_table_height": 72524,
-      "ram_table_height": 28113
+      "clock_cycle_count": 42233,
+      "hash_table_height": 45672,
+      "u32_table_height": 25,
+      "op_stack_table_height": 72856,
+      "ram_table_height": 28242
     },
     "case": "WorstCase"
   }

diff --git a/tasm-lib/benchmarks/tasmlib_verifier_master_ext_table_verify_Base_table_rows.json b/tasm-lib/benchmarks/tasmlib_verifier_master_ext_table_verify_Base_table_rows.json
@@ -2,22 +2,22 @@
   {
     "name": "tasmlib_verifier_master_ext_table_verify_Base_table_rows",
     "benchmark_result": {
-      "clock_cycle_count": 1345,
+      "clock_cycle_count": 1288,
       "hash_table_height": 1353,
       "u32_table_height": 6,
-      "op_stack_table_height": 3543,
-      "ram_table_height": 1098
+      "op_stack_table_height": 3033,
+      "ram_table_height": 1107
     },
     "case": "CommonCase"
   },
   {
     "name": "tasmlib_verifier_master_ext_table_verify_Base_table_rows",
     "benchmark_result": {
-      "clock_cycle_count": 1450,
+      "clock_cycle_count": 1378,
       "hash_table_height": 1443,
       "u32_table_height": 6,
-      "op_stack_table_height": 3753,
-      "ram_table_height": 1098
+      "op_stack_table_height": 3093,
+      "ram_table_height": 1107
     },
     "case": "WorstCase"
   }

diff --git a/tasm-lib/benchmarks/tasmlib_verifier_master_ext_table_verify_Extension_table_rows.json b/tasm-lib/benchmarks/tasmlib_verifier_master_ext_table_verify_Extension_table_rows.json
@@ -2,21 +2,21 @@
   {
     "name": "tasmlib_verifier_master_ext_table_verify_Extension_table_rows",
     "benchmark_result": {
-      "clock_cycle_count": 1102,
+      "clock_cycle_count": 1051,
       "hash_table_height": 1071,
       "u32_table_height": 6,
-      "op_stack_table_height": 2751,
+      "op_stack_table_height": 2241,
       "ram_table_height": 783
     },
     "case": "CommonCase"
   },
   {
     "name": "tasmlib_verifier_master_ext_table_verify_Extension_table_rows",
     "benchmark_result": {
-      "clock_cycle_count": 1207,
+      "clock_cycle_count": 1141,
       "hash_table_height": 1161,
       "u32_table_height": 6,
-      "op_stack_table_height": 2961,
+      "op_stack_table_height": 2301,
       "ram_table_height": 783
     },
     "case": "WorstCase"

diff --git a/tasm-lib/benchmarks/tasmlib_verifier_master_ext_table_verify_Quotient_table_rows.json b/tasm-lib/benchmarks/tasmlib_verifier_master_ext_table_verify_Quotient_table_rows.json
@@ -2,21 +2,21 @@
   {
     "name": "tasmlib_verifier_master_ext_table_verify_Quotient_table_rows",
     "benchmark_result": {
-      "clock_cycle_count": 613,
+      "clock_cycle_count": 562,
       "hash_table_height": 471,
       "u32_table_height": 6,
-      "op_stack_table_height": 1023,
+      "op_stack_table_height": 513,
       "ram_table_height": 45
     },
     "case": "CommonCase"
   },
   {
     "name": "tasmlib_verifier_master_ext_table_verify_Quotient_table_rows",
     "benchmark_result": {
-      "clock_cycle_count": 718,
+      "clock_cycle_count": 652,
       "hash_table_height": 561,
       "u32_table_height": 6,
-      "op_stack_table_height": 1233,
+      "op_stack_table_height": 573,
       "ram_table_height": 45
     },
     "case": "WorstCase"

diff --git a/tasm-lib/benchmarks/tasmlib_verifier_stark_verify_inner_padded_height_256_fri_exp_4.json b/tasm-lib/benchmarks/tasmlib_verifier_stark_verify_inner_padded_height_256_fri_exp_4.json
@@ -2,11 +2,11 @@
   {
     "name": "tasmlib_verifier_stark_verify_inner_padded_height_256_fri_exp_4",
     "benchmark_result": {
-      "clock_cycle_count": 433499,
-      "hash_table_height": 173611,
-      "u32_table_height": 17504,
-      "op_stack_table_height": 611436,
-      "ram_table_height": 490763
+      "clock_cycle_count": 426014,
+      "hash_table_height": 173863,
+      "u32_table_height": 17137,
+      "op_stack_table_height": 533424,
+      "ram_table_height": 493384
     },
     "case": "CommonCase"
   }

diff --git a/tasm-lib/benchmarks/tasmlib_verifier_stark_verify_inner_padded_height_512_fri_exp_4.json b/tasm-lib/benchmarks/tasmlib_verifier_stark_verify_inner_padded_height_512_fri_exp_4.json
@@ -2,11 +2,11 @@
   {
     "name": "tasmlib_verifier_stark_verify_inner_padded_height_512_fri_exp_4",
     "benchmark_result": {
-      "clock_cycle_count": 457442,
-      "hash_table_height": 182743,
-      "u32_table_height": 23128,
-      "op_stack_table_height": 644954,
-      "ram_table_height": 493245
+      "clock_cycle_count": 448437,
+      "hash_table_height": 182995,
+      "u32_table_height": 22603,
+      "op_stack_table_height": 551742,
+      "ram_table_height": 495866
     },
     "case": "CommonCase"
   }