Zero out frame gas left if underpayed precompile call succeded

matter-labs · Nov 28, 2024 · 57c35d0 · 57c35d0
1 parent 348e84a
commit 57c35d0
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/system-contracts/contracts/EvmEmulator.yul b/system-contracts/contracts/EvmEmulator.yul
@@ -831,6 +831,7 @@ object "EvmEmulator" {
             let zkVmGasToPass := gas() // pass all remaining gas, precompiles should not call any contracts
             if lt(gasToPass, precompileCost) {
                 zkVmGasToPass := 0  // in EVM precompile should revert consuming all gas in that case
+                precompileCost := precompileCost // just in case
             }
 
             switch isStatic
@@ -3879,6 +3880,7 @@ object "EvmEmulator" {
                 let zkVmGasToPass := gas() // pass all remaining gas, precompiles should not call any contracts
                 if lt(gasToPass, precompileCost) {
                     zkVmGasToPass := 0  // in EVM precompile should revert consuming all gas in that case
+                    precompileCost := precompileCost // just in case
                 }
 
                 switch isStatic

diff --git a/system-contracts/evm-emulator/EvmEmulatorFunctions.template.yul b/system-contracts/evm-emulator/EvmEmulatorFunctions.template.yul
@@ -769,6 +769,7 @@ function callPrecompile(addr, precompileCost, gasToPass, value, argsOffset, args
     let zkVmGasToPass := gas() // pass all remaining gas, precompiles should not call any contracts
     if lt(gasToPass, precompileCost) {
         zkVmGasToPass := 0  // in EVM precompile should revert consuming all gas in that case
+        precompileCost := precompileCost // just in case
     }
 
     switch isStatic