set default to be based on default excessBlobGas

runtimeverification · Jan 22, 2025 · b833ce9 · b833ce9
1 parent 0f3bc60
commit b833ce9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md
@@ -89,7 +89,7 @@ In the comments next to each cell, we've marked which component of the YellowPap
             // -------------------------------------
 
             <gasPrice> 0        </gasPrice>                   // I_p
-            <blobBaseFee> 0     </blobBaseFee>
+            <blobBaseFee> 1     </blobBaseFee>
             <origin>   .Account </origin>                     // I_o
 
             // I_H* (block information)

diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/state-utils.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/state-utils.md
@@ -48,7 +48,7 @@ module STATE-UTILS
          <refund>           _ => 0          </refund>
          <gasPrice>         _ => 0          </gasPrice>
          <origin>           _ => .Account   </origin>
-         <blobBaseFee>      _ => 0          </blobBaseFee>
+         <blobBaseFee>      _ => 1          </blobBaseFee>
          <touchedAccounts>  _ => .Set       </touchedAccounts>
          <accessedAccounts> _ => .Set       </accessedAccounts>
          <createdAccounts>  _ => .Set       </createdAccounts>