最新文章 · 第 104 页
新近入卷
RSS 订阅 ↗
智能合约
形式化规范中的高阶规范与低阶规范区别
形式化规范分为高阶规范和低阶规范，分别关注合约的外部行为和内部执行细节。高阶规范通过有限状态机和时序逻辑定义合约的交互行为，而低阶规范通过程序跟踪和控制流图验证合约的执行路径。两者结合可提高智能合约的安全性。
区块链基础
状态通道中单方退出请求的延迟机制与最终性保证
状态通道通过设置延迟期和争议解决机制，确保单方退出请求的安全性。最终性保证使得用户持有的最新有效状态具有与链上交易相同的效力。状态通道依赖于以太坊上的智能合约来管理资金和仲裁争议。
以太坊
弱主观性检查点如何限制检查点前区块的不可篡改性
弱主观性检查点作为区块链状态根，确保检查点前的区块不可篡改，防止长距离攻击。节点通过拒绝与检查点冲突的区块，减少对主观判断的依赖，并通过多来源验证降低信任风险。
扩容技术
Layer 2解决方案中部分技术依赖主网共识机制
Layer 2解决方案中，部分技术如乐观汇总和零知识汇总依赖主网共识机制确保安全性，而其他如侧链、Validium和Plasma则采用独立安全模型。这种多样性使得Layer 2能够在扩展性与安全性之间实现平衡。