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

Runtime Verification文章 资讯 新闻 快讯 深度评论 介绍 解读

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

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 协议安全和正确运行的两个基本要求。

以太坊 2.0 又一里程碑,存款合约字节码完成形式化验证

链闻消息,以太坊基金会宣布 ETH 2.0 存款合约(deposit contract)字节码的审计和形式化验证(formal verification)已经由技术团队 Runtime Verification 完成。以太坊基金会表示,这是一个重要的里程碑,使得项目更接近 ETH 2.0 主网的第 0 阶段(Phase 0),但以太坊基金会依旧希望其他专业人士或者社区可以对于形式化验证提供更多反馈,可以在代码库提交相关问题。除此之外,以太坊基金会表示虽然 ETH 2.0 的第 2 阶段核心原则已经被定义清楚,但其具体设计还是相对开放的,Quilt (ConsenSys 的研究团队)和 eWASM (以太坊基金会的研究团队)在最近一年里已经花了非常多的精力研究,而新成立的 TXRX (ConsenSys 的研究团队)会将一部分精力投入到第 2 阶段的研发中,最初的重点将会放在更好地了解跨分片交易的复杂性,以及研究和原型化将 ETH 1.0 集成到 ETH 2.0 的方法。
·

五分钟简评为以太坊等动态分析审计的 Runtime Verification

为以太坊与 Algorand 等知名项目提供动态分析审计的 Runtime Verification 是何方神圣?
五分钟简评为以太坊等动态分析审计的 Runtime Verification
返回页面顶部
返回链闻首页