
PlatON与安全审计公司Runtime Verification达成合作,确保网络安全稳定
站内搜索
|
PlatON与安全审计公司Runtime Verification达成合作,确保网络安全稳定
详细内容
美国当地时间3月9日,隐私计算网络PlatON正式与安全审计公司Runtime Verification签署合作协议,合作内容包括针对PlatON的并行拜占庭容错(CBFT)协议进行形式化建模,并对两个关键任务属性——安全性和活性进行验证,以确保未来主网共识机制的安全稳定。通过此项合作,PlatON网络的安全性和稳定性将得以接受严格的审计,从而为主网上线进一步奠定坚实的基础。(PlatON)
![]() 根据Cardano基金会转发的推文,Cardano项目已经在共识机制Ouroboros二层扩容方案Hydra上有了新突破。经过五年的研究,二层扩容方案Hydra的白皮书今日发布。白皮书中写道“Hydra是一种快速同构状态通道,状态通道作为英特尔的Software Guard eXtensions(SGX)处理器中被发现有一个漏洞,计算机研究员Daniel Gruss在YouTube 上传了一个视频,描述了如何使用概念验证攻击(被称为“Load Value Injection”)从英特尔SGX窃取包括加密
推荐相关信息:
|