<
>

2021新闻稿

4月02,2021

GISKARD共识协议提供柏拉图,具有极高的安全性和稳定性

Platon Giskard共识协议的安全性和稳定性已通过运行时学术级别验证。
 
运行时验证通过COQ认证助理验证验证了Platon Giskard Consensus协议的安全性。根据运行时验证发布的技术报告,GISKARD共识协议在验证过程中表现出极高的安全性和稳定性,为谷子系统的良好运行奠定了坚实的基础。
 
双方根据极其细粒尺寸的要求,对GISKARD共识进行了“高压”验证。 GISKARD共识是Platon全球隐私计算网络和分布式经济基础设施的基础和核心。作为柏拉图块链生态分布式网络基础设施的中心,这一共识主要用于验证柏拉图网络中的交易和操作。
 
鉴于分布式系统的复杂性和不良网络节点的存在,通过单个测试保证共识协议安全的传统方式是不足以满足当前需求。运行时验证在COQ中设置了GISKARD模型,以演示协议的多个密钥安全属性的编码和正式验证。
 
根据机器验证的证据,即使存在坏节点,GISKARD共识协议协议的关键安全属性也可以稳定地支持谷块协议的实现。与此同时,结果清楚地说明了GISKARD共识的基本假设,并展示了GISKARD共识协议作为柏拉图网络基础设施的核心组件的可靠性。
 
伊利诺伊州伊利诺伊州伊利诺伊大学运行时核查和计算机科学教授的首席执行官Gregory Russell表示:“我们荣幸能够通过COQ与柏拉图队一起举办并将GISKARD协议正式化。现在我们有信心该协议的稳定运行和实施,并证明了本协议的安全性已达到预期标准。“
 
柏拉图曾致力于追求技术进步,并确信社区情报的力量。该项目邀请社区成员学习运行时验证提供的正式验证报告,以探讨协议的所有方面,并继续帮助GISKARD协议安全且稳定地运行。