最新文章 · 第 136 页
新近入卷
RSS 订阅 ↗
智能合约
智能合约验证中元数据哈希的作用与Sourcify实现方式
元数据哈希通过附加编译信息确保合约代码一致性，全验证比对元数据哈希以实现精确匹配，Sourcify通过IPFS存储元数据提升验证透明性。
扩容技术
ZK-rollup如何通过Merkle树验证交易包含性
ZK-rollup通过Merkle树验证交易包含性，确保用户可证明交易被包含在批次中。操作员创建批次根，用户通过Merkle证明验证交易路径。状态根存储在链上合约，操作员提交新状态根并生成有效性证明，验证通过后更新主状态根。链上数据公开确保数据可用性，提升抗审查能力。
区块链基础
Validium提款流程中Merkle证明的验证机制与数据可用性依赖
Validium提款流程依赖Merkle证明验证交易记录的存在性，但若数据可用性管理者隐瞒数据，用户将无法生成有效证明，导致提款受限。该机制与ZK-rollup在数据可用性上存在显著差异。
智能合约
EVM状态转换函数Y(S, T)=S'的数学特性与执行一致性
EVM状态转换函数Y(S, T)=S'通过数学函数的确定性特性，确保所有节点在相同输入下得到一致的执行结果，是智能合约执行一致性的核心机制。
以太坊
Gasper机制中finality的实现条件与攻击成本
Gasper机制通过双阶段升级实现finality，确保区块不可逆。需要超过三分之二的质押以太坊投票支持，且攻击者需破坏至少三分之一的质押以太坊才能回滚。该机制提高了攻击成本，保障了网络稳定性。
