chore(blockifier): add range_check96_gas_cost (#3641)

starkware-libs · Feb 2, 2025 · a3d8940 · a3d8940
1 parent 91889fd
commit a3d8940
Show file tree

Hide file tree

Showing 8 changed files with 9 additions and 1 deletion.
diff --git a/crates/blockifier/resources/versioned_constants_0_13_0.json b/crates/blockifier/resources/versioned_constants_0_13_0.json
@@ -76,6 +76,7 @@
         "step_gas_cost": 100,
         "builtin_gas_costs": {
             "range_check": 70,
+            "range_check96": 0,
             "keccak": 0,
             "pedersen": 0,
             "bitwise": 0,

diff --git a/crates/blockifier/resources/versioned_constants_0_13_1.json b/crates/blockifier/resources/versioned_constants_0_13_1.json
@@ -76,6 +76,7 @@
         "step_gas_cost": 100,
         "builtin_gas_costs": {
             "range_check": 70,
+            "range_check96": 0,
             "keccak": 0,
             "pedersen": 0,
             "bitwise": 0,

diff --git a/crates/blockifier/resources/versioned_constants_0_13_1_1.json b/crates/blockifier/resources/versioned_constants_0_13_1_1.json
@@ -76,6 +76,7 @@
         "step_gas_cost": 100,
         "builtin_gas_costs": {
             "range_check": 70,
+            "range_check96": 0,
             "keccak": 0,
             "pedersen": 0,
             "bitwise": 0,

diff --git a/crates/blockifier/resources/versioned_constants_0_13_2.json b/crates/blockifier/resources/versioned_constants_0_13_2.json
@@ -90,6 +90,7 @@
         },
         "builtin_gas_costs": {
             "range_check": 70,
+            "range_check96": 0,
             "keccak": 0,
             "pedersen": 0,
             "bitwise": 594,

diff --git a/crates/blockifier/resources/versioned_constants_0_13_2_1.json b/crates/blockifier/resources/versioned_constants_0_13_2_1.json
@@ -90,6 +90,7 @@
         },
         "builtin_gas_costs": {
             "range_check": 70,
+            "range_check96": 0,
             "keccak": 0,
             "pedersen": 0,
             "bitwise": 594,

diff --git a/crates/blockifier/resources/versioned_constants_0_13_3.json b/crates/blockifier/resources/versioned_constants_0_13_3.json
@@ -90,6 +90,7 @@
         },
         "builtin_gas_costs": {
             "range_check": 70,
+            "range_check96": 0,
             "keccak": 0,
             "pedersen": 0,
             "bitwise": 594,

diff --git a/crates/blockifier/resources/versioned_constants_0_13_4.json b/crates/blockifier/resources/versioned_constants_0_13_4.json
@@ -92,6 +92,7 @@
         },
         "builtin_gas_costs": {
             "range_check": 70,
+            "range_check96": 56,
             "keccak": 136189,
             "pedersen": 4050,
             "bitwise": 583,

diff --git a/crates/blockifier/src/versioned_constants.rs b/crates/blockifier/src/versioned_constants.rs
@@ -791,6 +791,7 @@ pub struct BuiltinGasCosts {
     // Range check has a hard-coded cost higher than its proof percentage to avoid the overhead of
     // retrieving its price from the table.
     pub range_check: u64,
+    pub range_check96: u64,
     // Priced builtins.
     pub keccak: u64,
     pub pedersen: u64,
@@ -811,7 +812,7 @@ impl BuiltinGasCosts {
             BuiltinName::ec_op => self.ecop,
             BuiltinName::keccak => self.keccak,
             BuiltinName::poseidon => self.poseidon,
-            BuiltinName::range_check96 => self.range_check,
+            BuiltinName::range_check96 => self.range_check96,
             BuiltinName::add_mod => self.add_mod,
             BuiltinName::mul_mod => self.mul_mod,
             BuiltinName::ecdsa => self.ecdsa,