@@ -15,8 +15,40 @@ EPF 实习计划
1515## Notes
1616
1717<!-- Content_START -->
18+ # 2026-04-11
19+ <!-- DAILY_CHECKIN_2026-04-11_START -->
20+ ### 区块头验证 (Header Validation) 公式里都在检查什么?
21+
22+ 一系列极其严苛的规则,包括:
23+
24+ - 消耗的 Gas 绝不能超上限,且 Gas Limit 每块调整不能超过 1/1024。
25+
26+ - 时间戳必须严格向前,高度递增。
27+
28+ - 包含上海升级的提款根,以及坎昆升级的 Blob 限制(如 Blob Gas 必须是 131072 的整数倍,总量不超过 6 个 Blob 等)。
29+
30+
31+ ### 什么是 Unbounded block limits (无界区块限制)?
32+
33+ 交易参数(如手续费上限)在底层被死死限制在 256 位 ($\\ mathbb{N}\_ {256}$) 内以防止 EVM 内存溢出。但 ** 区块 Gas 上限** 和 ** 基础费** 在纯粹的数学协议上被定义为** 无界自然数 ($\\ mathbb{N}$)** ,这意味着以太坊理论吞吐量和防 DOS 攻击的涨价惩罚都没有天花板。
34+
35+ ### 为什么以太坊底层极其排斥小数,只用自然数 (整数) 计算?
36+
37+ 为了** 绝对的确定性** 。不同 CPU 架构处理浮点数(实数)会产生精度舍入误差,哪怕 ` 0.0000001 ` 的偏差也会导致网络立刻硬分叉崩溃。整数计算能保证全球节点状态绝对一致,且便于进行安全代码的数学形式化验证。
38+
39+ ### EIP-1559 底层数学模型模拟揭示了什么?
40+
41+ - ** 阶梯化与底线:** 价格变动由于向下取整呈现阶梯状,涨停板为 12.5%(因为常量 $\\ xi=8$),但由于区块不可能消耗 0 Gas,跌停板约为 10%。
42+
43+
44+ - ** 10万区块极限施压:** 持续满载会导致 Base Fee 在几百个区块内达到天文数字;市场会通过调高 Gas 上限和用户退出来寻找新平衡。
45+
46+ - ** 修改物理定律:** 未来如果修改常量 $\\ xi$ (波动阻尼器) 或 $\\ rho$ (弹性乘数),可以彻底改变基础费曲线的陡峭程度和触发涨价的拥堵阈值。
47+ <!-- DAILY_CHECKIN_2026-04-11_END -->
48+
1849# 2026-04-10
1950<!-- DAILY_CHECKIN_2026-04-10_START -->
51+
2052## EL Spec(规范)
2153
2254最新的规范:[ EELS python spec] ( https://ethereum.github.io/execution-specs/ ) .
@@ -156,6 +188,7 @@ State Collapse Function:
156188<!-- DAILY_CHECKIN_2026-04-09_START -->
157189
158190
191+
159192今日欠一天吧
160193<!-- DAILY_CHECKIN_2026-04-09_END -->
161194
@@ -164,6 +197,7 @@ State Collapse Function:
164197
165198
166199
200+
167201### 1\. 核心数学模型:状态转换函数 (State Transition Function)
168202
169203整个执行层(EL)存在的唯一目的,就是执行下面这个极其优雅的公式:
@@ -242,6 +276,7 @@ Show me the visualization
242276
243277
244278
279+
245280* * *
246281
247282## 1\. 史前史 (Prehistory)
@@ -358,6 +393,7 @@ _以太坊主网自 2015 年上线以来的重大升级历程(硬分叉编年
358393
359394
360395
396+
361397### 📖 第一部分:核心概念与原理字典
362398
3633991\. 普通 EOA (Externally Owned Account)
0 commit comments