最新文章 · 第 108 页
新近入卷
RSS 订阅 ↗
区块链基础
以太坊归档节点存储所有历史状态的机制
以太坊归档节点通过存储所有历史状态，实现对历史数据的快速访问，但需要更大的存储空间和更高的硬件要求。它适用于需要频繁查询历史数据的场景，如区块浏览器和研究工具。
智能合约
Hoare-style属性在智能合约中的应用与验证机制
Hoare-style属性通过预条件和后条件描述智能合约函数的执行行为，确保函数在特定输入下能正确执行并返回预期结果。Solidity中require用于验证用户输入，assert用于确保执行后的状态安全。形式化验证框架利用这些属性证明合约逻辑的正确性，开发者可通过断言检查提升合约的健壮性。
智能合约
智能合约源码验证的定义、区别与工具
智能合约源码验证确保源代码与部署的字节码一致，增强信任。全验证通过元数据哈希确保完全匹配，而部分验证仅比较代码。Etherscan、Sourcify等工具提供验证服务，但目前多数采用部分验证。
智能合约
智能合约测试的重要性与方法解析
智能合约测试是保障其安全性的关键步骤，包括自动化测试、人工测试、单元测试、集成测试、静态分析和动态分析等多种方法。测试可帮助发现潜在漏洞，避免部署后因错误导致资产损失。
以太坊
以太坊JSON-RPC API的统一方法与区块参数处理
以太坊通过JSON-RPC API为应用程序提供统一的区块链交互接口，支持多种传输方式，并区分执行客户端与共识客户端的API功能，确保开发者能够灵活查询和操作区块链数据。
钱包安全
以太坊验证者提款凭证0x00的更新要求与操作方式
以太坊验证者需将0x00类型的BLS密钥提款凭证更新为0x01类型，以激活超额收益支付和完全提款功能。此操作可通过初始存款时设置执行地址或后续签名广播BLSToExecutionChange消息完成，确保对质押资产的完全控制。
扩容技术
ZK-rollup如何通过calldata和blob发布压缩交易数据
ZK-rollup通过calldata和blob发布压缩交易数据，确保数据可用性与抗审查。用户可直接提交交易，避免操作者限制。