以太坊
EVM状态转换函数的数学定义：输入输出与状态更新逻辑
以太坊虚拟机（EVM）被形式化为数学函数Y(S, T)，其核心在于通过旧状态S和交易集合T，确定性计算出新的有效状态S'。该机制定义了从账本到状态机的演进，确保了网络中所有节点执行代码的一致性与安全性。
最新文章 · 第 191 页
新近入卷
RSS 订阅 ↗
智能合约
智能合约单元测试：业务逻辑验证与边界条件覆盖
单元测试通过独立验证合约函数的执行逻辑，确保每个组件在特定输入下返回预期结果。开发者需理解业务流程并编写正向与负向测试用例，以覆盖正常路径及异常场景，从而在部署前发现并修复潜在的安全漏洞。
钱包安全
智能合约访问控制：Ownable模式与角色权限分离机制
本篇解析智能合约中访问控制的两种核心模式：Ownable模式通过单一所有者地址限制敏感操作，而基于角色的访问控制则将权限分散给多个受信账户，以降低单点故障风险。
智能合约
智能合约部署机制：Diamond Pattern解决代码大小限制
本文解析智能合约部署的代码大小限制及Diamond Pattern优化方案，说明部署作为交易需支付Gas，并阐述该模式如何突破24KB上限。
智能合约
智能合约函数可见性修饰符：internal与external的调用区别
本文解释智能合约中函数可见性修饰符的调用机制，重点说明internal函数不能通过外部直接调用，而external函数必须通过外部调用。
钱包安全
PoS质押验证者密钥与提现密钥的分离机制
以太坊权益证明引入BLS签名方案后，验证者需持有用于签名区块和验证的验证者密钥，以及用于提取质押资金的提现密钥。两者分离允许单用户管理多个验证者节点，但若提现密钥丢失将导致质押资金无法取出。
以太坊
Holesky测试网退役时间与替代方案：2025年9月官方公告
以太坊基金会官方文档明确指出Holesky测试网已于2025年9月退役，建议验证者与基础设施提供商转用Hoodi网络进行协议升级测试。
扩容技术
乐观汇总欺诈证明：单轮交互与多轮交互的效率差异
乐观汇总依赖欺诈证明来验证链下交易。单轮交互证明需在以太坊上重放交易以检测错误，导致数据发布量大且Gas成本高昂。多轮交互证明通过链上验证器合约的来回博弈来检测错误，显著降低了数据发布量和链上重放成本。
以太坊
EIP-1559基础费用销毁机制：协议设定的区块级销毁逻辑
EIP-1559引入的基础费用并非支付给验证者，而是由协议在区块生成时销毁。该费用根据前区块实际使用量与目标量的偏差，按12.5%的线性比例动态调整，旨在通过经济模型防止网络拥堵。
以太坊
Blob交易类型定义：EIP-4844的协议字段与字节前缀
本篇解析EIP-4844引入的Blob交易类型，重点说明其字节前缀、BlobVersionedHashes字段及BlobGasPrice机制，阐述其作为Dencun升级扩容方案的技术细节。