最新文章 · 第 206 页
新近入卷
RSS 订阅 ↗
智能合约
智能合约静态分析与动态分析的互补性
静态分析通过检查智能合约源代码检测安全问题，但存在误报和无法发现深层漏洞的局限性。动态分析则通过模拟执行发现更多问题，两者结合使用可提高智能合约的安全性。测试是确保智能合约安全的重要手段。
智能合约
智能合约命名的必要性与实现方式解析
智能合约通过ENS命名可提升可读性与安全性，减少地址欺骗攻击。命名可在部署时或部署后进行，需具备ENS域名管理权限。工具如Enscribe简化了命名流程，最佳实践包括使用版本化名称和设置反向记录。
智能合约
智能合约语言差异与开发实践解析
本文解析了Solidity与Vyper语言的语法差异、公开变量与事件机制、Vyper的模块化设计以及Yul语言在智能合约开发中的作用，帮助开发者根据需求选择合适的语言。
钱包安全
以太坊验证者提现凭证的类型与更新方式解析
以太坊验证者提现凭证分为0x00、0x01和0x02三种类型，其中0x00需更新为0x01以激活提现功能。更新可通过初始密钥生成时提供执行地址，或后期使用提现密钥签名BLSToExecutionChange消息。提现密钥丢失将导致无法提现，因此需妥善保管。密钥分离机制支持多验证者运行，但需注意密钥管理风险。
智能合约
EIP-4844 blobs的数据可用性窗口限制与存储成本
EIP-4844 blobs是用于短期数据存储的以太坊扩展方案，数据在链上保留约18天，成本远低于calldata。适用于rollups的交易数据存储，但不适合长期保存。
