Add study notes for 2026-04-07

Author: intensive-co-learning

notes/KUOLEYA.md

@@ -15,8 +15,59 @@ EPF 实习计划
 ## Notes
 
 <!-- Content_START -->
+# 2026-04-07
+<!-- DAILY_CHECKIN_2026-04-07_START -->
+今天主要学习的是Execution Layer (EL) 基础部分的[EL Specs](https://epf.wiki/#/wiki/EL/el-specs)在开篇就已经提到过了**黄皮书（巴黎版 v705168a – 2024-03-04）**这个版本已经过时了所以下面主要看的是状态转移函数（STF）解决的两个问题
+
+-   **这个区块是否可以附加到区块链的末端？**
+    
+-   **状态会因此如何变化**
+    
+
+而这个函数的实现被总结为一个公式
+
+**σt+1​≡Π(σt​,B)**
+
+**其中的σt+1是新产生的区块**
+
+**Π代表STF这个函数**
+
+**σt表示为当前区块**
+
+**B表示为待处理的区块**
+
+**其中明确强调了σ（状态） ≠ Python 规范中的 State 类。**
+
+**系统状态不是静态存储的，而是通过状态转换函数动态推导的。**
+
+**这凸显了区块链状态转换的数学模型与软件规范中实际实现细节之间的概念分离**
+
+**而后给出了一张流程图这张图片能总结出几个公式而其中最重要的有**
+
+**第6个_HstateRoot_​≡_TRIE_(_Ls_​(Π(_σ_,_B_)))**
+
+**他表示的是当前区块头里的状态根 = 执行完当前区块所有交易后的新状态，再压缩成哈希。**
+
+**这是验证区块是否有效的核心公式。节点执行完区块后，如果算出的根与区块头里的不一致，直接拒绝该区块。**
+
+**第3_个Ls​(σ)≡{p(a):σ\[a\]=∅}_：世界状态折叠函数**
+
+**把"地址 → 账户"的映射转换成可以插入默克尔树（Trie）的键值对列表。**
+
+**没有这个转换，庞大的世界状态就无法被压缩成一个32字节的根哈希。它是连接"原始数据"和"密码学验证"的桥梁。**
+
+**第一个_TRIE_(_LI_∗​(_σ_\[_a_\]_s_​))≡_σ_\[_a_\]_s_​**
+
+**每个账户的存储空间（键值对数据库）被压缩成一个存储根哈希。**
+
+**这保证了账户内部的数据（比如你的ERC-20代币余额、NFT编号）一旦被篡改，根哈希就会变化，立刻被全网发现。**
+
+**这些公式共同组成了以太坊的“数据一致性检测系统”。”**
+<!-- DAILY_CHECKIN_2026-04-07_END -->
+
 # 2026-04-06
 <!-- DAILY_CHECKIN_2026-04-06_START -->
+
 今天主要学习了第一周课程的The Protocol部分
 
 其中Prehistory部分讲述了以太坊的发展历程它代表的是根植于**早期互联网的开放精神**、**Unix的简洁哲学**、**自由开源软件运动**、**密码朋克的隐私抗争**，以及**比特币的去中心化货币实验**