NEO与CertiK达成安全战略合作

NEO区块大康2018-07-31 20:09:37  阅读 -评论 0  阅读原文

随着区块链行业井喷式发展,安全问题得到越来越多的重视。 NEO作为知名度最高,开发者最多的公链智能合约体系构建不断完善的同时,将安全性摆在重要位置。因此,NEO与形式化验证平台CertiK达成安全战略合作,以CertiK独有的形式化验证技术,为NEO量身定制数字资产、数字身份验证方案,共同完成经济模式的革命。

形式化验证(Formal Verification):是用逻辑语言来描述规范,通过严谨的数学推演来检查给定的系统代码是否满足要求。CertiK目前主要是针对智能合约(smart contract)进行形式化验证(formal verification), 力争从理论上证明代码实现的正确性, 从而巩固合约的安全。

目前基于NEO部署的智能合约与dApp大多由开发者独立完成,他们的代码安全性需要借助形式化验证手段来确保,因此对于本次合作,将有益于NEO生态的健康发展,吸引更多的开发者。

CertiK是由来自于纽约和硅谷的精英团队组成,联合创始人邵中是耶鲁大学计算机系系主任、终身冠名教授,拥有30余年安全领域经验。团队的核心技术来自于邵中教授和另一位联合创始人,哥伦比亚大学计算机系教授顾荣辉教授的多年科研成果——世界上第一台从理论上证明可抗黑客攻击的操作系统CertiKOS。

NGD(NEO Global Development)总经理赵晨表示:"NEO是一条高度开放自治的公链,随着更多的开发者在NEO上部署智能合约,安全性保障将加速NEO生态的繁荣。希望NEO与CertiK的合作能够携手共同推动区块链健康发展。"

声明:链世界登载此文仅出于分享区块链知识,并不意味着赞同其观点或证实其描述。文章内容仅供参考,不构成投资建议。投资者据此操作,风险自担。此文如侵犯到您的合法权益,请联系我们kefu@lianshijie.com

参与讨论 (0 人参与讨论)

相关推荐

区块链+公共安全 大有可为

区块链+公共安全 大有可为

本文来源于《华夏时报》,原文标题为:数字资产洗黑钱流动量超过百亿美金 南京公安就"链上天眼"谈公共安全治理)随着区块链技术越来越被大众所熟知,"区块链+金融"凭借其丰富的应用场景和想象空间备受人们的关注。同时也诱发了利用数字资产洗黑钱、非法交易等经济犯罪频率的逐年增高,且案值也在不断增大。如何应对基于加密货币的违法行为,俨然成为各级政府、相关企业乃至区块链从业者们需要面对的共同课题之一。9月1日,

多地“政务上链”,新数据孤岛、安全风险等问题待解

记者调查发现,一些政务区块链技术标准不统一,可能带来新的数据孤岛问题,网络安全风险更是不容小觑。随着疫情出现新的情况,食品安全备受关注。此外,不同的政务区块链缺乏统一标准,可能造成新的数据孤岛。

以太坊基金会正在组建一支以太坊2.0安全团队

以太坊基金会正在组建一支以太坊2.0安全团队

暴走时评:据称,以太坊基金会将为以太坊 2.0建立一个专门的安全团队,研究下一代以太坊网络中任何潜在的网络安全和加密经济问题。该基金会正在为软件和即将到来的升级的通用模式寻找招聘各种安全和审计专业人员。

旅行公司CWT向黑客支付价值450万美元比特币赎金,后者给出安全改进建议

旅行公司CWT向黑客支付价值450万美元比特币赎金,后者给出安全改进建议

律动BlockBeats 消息,美国总部位于美国的商务旅游公司 CWT 向窃取该公司敏感文件的黑客支付了价值 450 万美元的比特币赎金。

区块链产品经理讲述“区块链”的通知 重点方向包括区块链安全

区块链产品经理讲述“区块链”的通知 重点方向包括区块链安全

"区块链工程技术人员""区块链应用操作员"被列入国家新职业后,京东数科技术产品部区块链产品创新负责人张作义说:上述两种职业的工作任务,和自己团队目前做的工作是高度匹配的。什么是区块链技术?消费者在网上下单买了厄瓜多尔的香蕉,从厄瓜多尔香蕉园到海关,再到国际公海,再到中国的港口通关,每个环节处理完毕就上传到区块链里,"这是一个非常长的链条,只有区块链技术可以搞定,它具有不可更改原始数据的特性,可以实

以太坊基金会正在建立一个专门的ETH 2.0安全团队

以太坊基金会将为ETH 2.0建立一个专门的安全团队,以研究下一代以太坊网络中任何潜在的网络安全和加密经济问题。最近,以太坊基金会推出了专门的“攻击网络”,以奖励攻破网络的赏金猎人。

DOS Network与Meter正式达成战略与技术合作

近日,DOS Network宣布正式与Meter达成战略及技术合作伙伴关系。Meter将整合DOS Network去中心化预言机网络,并采用其提供的低成本、安全且及时的价格数据。此次DOS Network与Meter达成合作,将共同为实现大规模区块链商业应用落地而助力。

比特币有什么缺点?

1.交易平台的脆弱性。比特币网络很健壮,但比特币交易平台很脆弱。交易平台通常是一个网站,而网站会遭到黑客攻击,或者遭到主管部门的关闭。2.交易确认时间长。比特币钱包初次安装时,会消耗大量时间下载历史交易数据块。而比特币交易时,为了确认数据准确性,会消耗一些时间,与p2p网络进行交互,得到全网确认后,交易才算完成。3.价格波动极大。由于大量炒家介入,导致比特币兑换现金的价格如过山车一般起伏。使得比

麦妖榜
更新日期 2019-09-03
排名用户贡献值
1牛市来了30910
2BitettFan24187
3等待的宿命23810
4区块大康20369
5六叶树20310
6linjm122719429
7天下无双16192
8lizhen00215280
9让时间淡忘14586
10yelanyi050511349
返回顶部 ↑