From b833ce943b9f58e1d4636a146793f5f12a87f10f Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwight.guth@pi2.network>
Date: Wed, 22 Jan 2025 11:53:51 -0600
Subject: [PATCH] set default to be based on default excessBlobGas

---
 kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md         | 2 +-
 kevm-pyk/src/kevm_pyk/kproj/evm-semantics/state-utils.md | 2 +-
 2 files changed, 2 insertions(+), 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
index 9bb6408d2b..026ed5c8ba 100644
--- 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
index 7faa3aec2a..465e283725 100644
--- 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>