智能合约
代理模式中delegatecall的存储写入与合约升级机制
代理模式通过delegatecall实现智能合约的升级，允许代理合约调用逻辑合约的代码，同时保持数据存储不变。但需注意执行上下文特性与潜在安全风险。
最新文章 · 第 146 页
新近入卷
RSS 订阅 ↗
扩容技术
ZK-rollup如何通过calldata和有效性证明确保状态验证
ZK-rollup通过calldata或blob存储压缩交易数据，减少链上存储成本。状态通过Merkle树根进行验证，有效性证明确保状态更新的正确性。数据公开以支持独立验证，同时依赖以太坊的链上合约进行状态跟踪。
智能合约
智能合约源码验证的完整匹配机制与工具实现
智能合约源码验证通过比对编译后的字节码与部署代码确保一致性。元数据哈希的加入可实现完整验证，提升安全性。部分验证存在局限，而Sourcify等工具支持更全面的验证方式。
智能合约
Vyper中withdraw函数的退款机制与执行流程
Vyper中withdraw函数通过检查用户在pendingReturns映射中的退款余额，实现安全的退款机制。该函数避免了直接在bid函数中处理退款可能引发的安全问题，确保竞拍的公平性与资金安全。
智能合约
EVM如何通过状态转换函数和操作码实现智能合约确定性执行
EVM通过确定性状态转换函数Y(S, T)=S'确保所有节点执行一致，其状态以Merkle Patricia Trie结构存储，支持高效查询与验证。瞬态存储提供交易内状态共享，操作码集合实现智能合约的灵活执行。
钱包安全
智能合约中OnlyOwner修饰符的验证逻辑与安全风险
智能合约中OnlyOwner修饰符通过验证调用者是否为合约所有者来限制函数执行权限，但其安全性依赖于所有者私钥的保护。若私钥泄露，可能被恶意利用。开发者应结合多签机制和定期审计，以降低相关风险。