链闻 ChainNews 诚邀读者共同监督,坚决杜绝各类代币发行、投资推荐及虚拟货币炒作信息。举报

形式化验证文章 资讯 新闻 快讯 深度评论 介绍 解读

形式化验证新闻快讯文章, 形式化验证深度文章, 形式化验证快讯, 区块链形式化验证, 形式化验证是什么, 形式化验证介绍, 形式化验证解读, 形式化验证项目, 三分钟了解形式化验证, 秒懂形式化验证, 如何评价形式化验证, 形式化验证怎么样, 形式化验证创始人, 形式化验证招聘, 形式化验证融资, 形式化验证价格, 形式化验证技术, 形式化验证社区, 形式化验证论坛, 形式化验证浏览器, 形式化验证排名, 形式化验证白皮书, 形式化验证本质, 形式化验证意义, 形式化验证代码, 形式化验证游戏, 形式化验证什么意思, 形式化验证学习, 形式化验证培训, 形式化验证教程, 形式化验证投资, 形式化验证赚钱, 形式化验证安全, 形式化验证漏洞

·
·

DeFi 合约什么漏洞最常见?初探审计流程与特点

业务逻辑漏洞在 DeFi 项目中最为常见, 需对涉及代币基本信息的函数及铸币、销毁代币、更改 owner 等特殊权限作严格审查。
DeFi 合约什么漏洞最常见?初探审计流程与特点
·

五分钟简述以太坊 2.0 Gasper 终局性与形式化验证方法

Gasper 的关键是一套终局性机制,用于保证交易的持存性和系统的不间断运作。
五分钟简述以太坊 2.0 Gasper 终局性与形式化验证方法

PlatON 与 Runtime Verification 达成合作,确保网络安全稳定

链闻消息,PlatON 宣布与安全审计公司 Runtime Verification 合作,合作内容包括针对 PlatON 的并行拜占庭容错(CBFT)协议进行形式化建模,并对两个关键任务属性——安全性和活性进行验证,以确保未来主网共识机制的安全稳定。Runtime Verification 对 CBFT 共识协议的形式化建模以及对安全性和活性的验证,为 PlatON 协议设计的准确性提供了更高级别的保证,并且确保了双方合作初衷得以满意的落实。通过此项合作,PlatON 网络的安全性和稳定性将得以接受严格的审计,从而为主网上线进一步奠定坚实的基础。Runtime Verification 拥有世界顶尖的形式化验证团队,在区块链领域,Runtime Verification 目前主要为各大公链和 DeFi 协议提供安全审计服务,目前的客户包括 IOHK(Cardano 的开发公司)、以太坊、Algorand、Web3 基金会、Elrond、Casper Labs、Gnosis、MakerDAO 等。据 block123.com 消息,PlatON 是 LatticeX 基金会支持的隐私计算网络和分布式经济体基础设施,采用并行拜占庭容错(CBFT)协议,极大地降低通讯复杂度并提高出块效率。CBFT 协议是 PlatON 综合了 PBFT、Tendermint、Hotstuff 等多种协议优点而核定的共识协议。通过 pipeline 的方式,完成区块生成和确认的并行。与其他共识协议一样,安全性(不会产生双重花费和分叉)和活性(共识持续进行不卡顿)的确认是保证 CBFT 协议安全和正确运行的两个基本要求。

EVM 形式化验证编译器 Elle 原型发布,旨在编写更安全的以太坊代码

链闻消息,受 ConsenSys 资助的区块链开发团队推出一款 EVM 形式化验证编译器「Elle」,旨在确保更高级别的智能合约代码与执行它的以太坊虚拟机字节码之间的安全连接。Elle-Core 捕获结构化编程抽象,并通过经过验证的编译器将其转换为以太坊 EVM 字节码。该项目由 ConsenSys 资助,目前 Elle 还属于原型阶段,不建议将其部署到主网上或者用来管理非常重要的有价值资产。
·

Beosin 成都链安一周岁:利用数学之美,让区块链世界更健壮

Beosin 成都链安,携带一种被应用在军事、航空航天等领域的小众、高门槛的验证方式「形式化验证」杀入区块链领域。
Beosin 成都链安一周岁:利用数学之美,让区块链世界更健壮
返回页面顶部
返回链闻首页