最新文章 · 第 37 页
新近入卷
RSS 订阅 ↗智能合约
Web3密钥文件中AES-128-CTR算法的密钥使用规则
Web3密钥文件中AES-128-CTR算法的密钥使用规则明确指出,当派生密钥大小与算法密钥大小不匹配时,应使用派生密钥的右补零字节作为算法密钥。
智能合约
智能合约中Hoare-style属性如何定义函数执行的前后条件
Hoare-style属性通过预条件和后条件定义智能合约函数的执行要求,确保函数在特定条件下正确执行。这种形式化方法有助于验证合约逻辑的正确性。
以太坊
以太坊JSON-RPC中eth_mining方法的适用范围与限制
以太坊JSON-RPC接口中的eth_mining方法用于判断节点是否正在挖矿。该方法仅适用于工作量证明网络,且在合并后可能在部分客户端中不可用。