据IMEOS消息，近日，Starteos与电子科技大学区块链技术研究与应用联合实验室展开阶段性工作成果汇报，首个基于EOS的形式化验证取得突破性进展。形式化验证是用逻辑来验证程序的可靠性，证明它能得到预期的结果，没有bug。目前已经有很多基于以太坊智能合约的形式化验证项目，但基于EOS智能合约的形式化验证现阶段还没有成熟的方案。从最近频繁发生的黑客袭击事件来看，期待Starteos与电子科技大学联合实验室形式化验证项目取得突破进展的同时为DApp带来更严谨的测试和安全审计。
本文地址： https://www.xiguacaijing.com/kuaixun/2018/1137.html 生成分享图
赞助商