公链与 Layer2

闪电协议里没有“通道有效期”这个概念，开通道的那笔链上资金也没有时间锁，但这不代表放着不管就安全。本文说明通道为何永不过期、HTLC 为何自带到期高度，以及长期闲置下旧状态泄露与状态备份缺失两类真实风险的处置办法。

2025 年 1 月发布于 ethresear.ch 的一篇提案提出 EXECUTE 预编译：让 L1 验证者直接裁决一批交易的状态转换，把 EVM 等价 Rollup 的验证合约塌缩成极少代码，从而摆脱安全委员会。它与把排序交给 L1 的基于 Rollup 是两个正交概念。本文按提案原文讲清动机、与基于 Rollup 和执行分片的边界，以及 gas 定价与回退担保等尚未收敛的分歧。

区块和投票要传遍全网，逐边重复转发会让带宽先崩。Gossipsub 让每个节点只在随机组成的网格里直接转发，再以定期传话消息把「最近见过什么」讲给网格外的邻居，缺货的邻居再点名取货。本文讲这张网格怎么组建、怎么靠心跳维持、坏邻居如何被降分，以及以太坊共识层为什么把广播流量交给它处理。

检查点同步让新节点从一个近期已最终化的状态快照起步，先快进到链头，再回头补历史区块，把上线时间从数天压到更短，并把信任锚从「逐块重放全部历史」交给一个近期检查点。本文以 Lighthouse 公开文档为主源，讲清它为什么比从创世同步更快也更安全、弱主观性在其中起什么作用、回填限速如何工作，以及哪些场合仍需完整历史。

同样自称 zkEVM 的项目，内部路线差异很大。2022 年 8 月 Vitalik Buterin 的一篇分类文章给出 Type 1 到 Type 4 的坐标系：Type 1 对以太坊不做任何改动，Type 2 换掉区块结构与状态树，Type 3 删改个别特性，Type 4 直接从高级语言编译。编号越低越兼容越慢，越高越快越要付迁移成本。本文按这份分类讲清每一型的改动位置、受益者与代价，并说明类型本身会随时间移动。

合并之后，一个以太坊客户端由共识层与执行层两半组成，Engine API 是它们之间的内部接口：forkchoiceUpdated 启动构建、getPayload 取回区块、newPayload 验证候选区块，整套通道用 JWT 认证。本文讲清三个方法的分工、接口保护的是什么、攻击面在哪里，以及普通节点运维者最容易踩的配置坑。

验证者必须持有全部账户状态。持久账户存储设计用只追加的 AppendVec 文件与内存索引替代就地覆盖，换来回放线程的并发写入与顺序写带宽。本文拆解索引定位、随压实回收和快照恢复，并解释存储设计与去中心化的关系。

Turbine 传播丢碎片的两个后果由 Repair Service 处理：沿根槽位补洞的切片修复，和给无父可寻的孤儿槽位找父亲的抢占式修复。本文讲清 Epoch Slots 完成名单、请求对象的挑选规则，以及节点卡住时的观察信号。

EIP-2124 用创世哈希与已生效分叉区块号的 CRC32 校验和加下一分叉高度构成 forkid，让以太坊节点在握手阶段拒绝规则集不同的对端。本文拆解指纹的生成与四条校验规则，并给出硬分叉后连不上节点时的排查思路。

同为配对型零知识证明体系，Groth16 按电路单独做可信初始化、证明紧凑，PLONK 用可复用的通用字符串、电路改动更灵活。本文从初始化负担、证明体积与适用场景对比两条路线，并给出普通用户的核验问题清单。