chore: Bump dependencies

Upgrades to TVM v0.42.1, which gives a drop in cost of AIR constraint evaluation because better instructions are used in generated code.
TritonVM · Sep 30, 2024 · 4a35f18 · 4a35f18
1 parent 4c4edb7
commit 4a35f18
Show file tree

Hide file tree

Showing 6 changed files with 24 additions and 24 deletions.
diff --git a/tasm-lib/Cargo.toml b/tasm-lib/Cargo.toml
@@ -10,7 +10,7 @@ license = "Apache-2.0"
 
 [dev-dependencies]
 color-eyre = "0.6"
-proptest = "1.4"
+proptest = "1.5"
 proptest-arbitrary-interop = "0.1"
 test-strategy = "0.3"
 rayon = "1"
@@ -29,7 +29,7 @@ rand = "0.8.5"
 serde = { version = "1", features = ["derive"] }
 serde_json = "1"
 strum = { version = "0.26", features = ["derive"] }
-triton-vm = { version = "0.42.0", default-features = false }
+triton-vm = { version = "0.42.1", default-features = false }
 
 [dev-dependencies.cargo-husky]
 version = "1"

diff --git a/tasm-lib/benchmarks/tasmlib_verifier_master_table_air_constraint_evaluation.json b/tasm-lib/benchmarks/tasmlib_verifier_master_table_air_constraint_evaluation.json
@@ -2,21 +2,21 @@
   {
     "name": "tasmlib_verifier_master_table_air_constraint_evaluation",
     "benchmark_result": {
-      "clock_cycle_count": 37762,
-      "hash_table_height": 40578,
+      "clock_cycle_count": 34094,
+      "hash_table_height": 36432,
       "u32_table_height": 0,
-      "op_stack_table_height": 70227,
+      "op_stack_table_height": 62891,
       "ram_table_height": 24996
     },
     "case": "CommonCase"
   },
   {
     "name": "tasmlib_verifier_master_table_air_constraint_evaluation",
     "benchmark_result": {
-      "clock_cycle_count": 37762,
-      "hash_table_height": 40578,
+      "clock_cycle_count": 34094,
+      "hash_table_height": 36432,
       "u32_table_height": 0,
-      "op_stack_table_height": 70227,
+      "op_stack_table_height": 62891,
       "ram_table_height": 24996
     },
     "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": 195445,
-      "hash_table_height": 143209,
-      "u32_table_height": 26276,
-      "op_stack_table_height": 177328,
+      "clock_cycle_count": 191777,
+      "hash_table_height": 139063,
+      "u32_table_height": 25787,
+      "op_stack_table_height": 169992,
       "ram_table_height": 289288
     },
     "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": 203544,
-      "hash_table_height": 150901,
-      "u32_table_height": 33607,
-      "op_stack_table_height": 182530,
+      "clock_cycle_count": 199876,
+      "hash_table_height": 146755,
+      "u32_table_height": 34350,
+      "op_stack_table_height": 175194,
       "ram_table_height": 290476
     },
     "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": 183742,
-      "hash_table_height": 129163,
-      "u32_table_height": 24623,
-      "op_stack_table_height": 169522,
+      "clock_cycle_count": 180074,
+      "hash_table_height": 125017,
+      "u32_table_height": 25901,
+      "op_stack_table_height": 162186,
       "ram_table_height": 285389
     },
     "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": 191841,
-      "hash_table_height": 136855,
-      "u32_table_height": 34378,
-      "op_stack_table_height": 174724,
+      "clock_cycle_count": 188173,
+      "hash_table_height": 132709,
+      "u32_table_height": 34598,
+      "op_stack_table_height": 167388,
       "ram_table_height": 286577
     },
     "case": "CommonCase"