最新文章 · 第 49 页
新近入卷
RSS 订阅 ↗以太坊
Hardhat Network如何支持智能合约的本地测试与部署
Hardhat Network是专为以太坊开发设计的本地网络,允许开发者部署智能合约、运行测试并调试代码。它作为Hardhat开发环境的一部分,提供快速迭代和高效开发功能。
智能合约
智能合约中高阶形式规范如何通过时序逻辑定义状态机行为
高阶形式规范通过时序逻辑定义智能合约的状态机行为,确保合约在不同状态下正确执行。时序逻辑用于描述合约在时间上的行为特性,如安全性和活性属性。
区块链基础
智能合约中如何通过Contract Code存储数据
智能合约中可通过将数据存储为Contract Code实现数据的长期可用性。这种方式通过EXTCODECOPY操作码读取信息,适用于需多次读取的场景。