安全概念&币安投资——热门项目Certik简评

安全概念&币安投资——热门项目Certik简评

注:本评测仅代表分析师本人观点,不作为投资建议。

以下为基于客观事实和数据所做出的评级。如果您认为所陈述事实与数据有误,请第一时间告知。确认后我们将重评并公开致歉。若陈述无误,评级结果将不予与修改。

安全概念&币安投资——热门项目Certik简评

Certik

总评:BBB-(72)

风险:中等

热度:高

长期潜力:中等

注:总评采用的维度为:C,B,BB,BBB,A,AA,AAA(从低到高,在各自维度内加入加减号作为细微区分);风险,热度,长期潜力采用的维度为:低,中低,中等,中高,高。

项目信息

项目概念:智能合约验证平台

项目官网:certik.org

众筹信息:未公布

粉丝:推特:1200+,电报:37800+

项目特点:币安投资

简评

大家好,我是神秘二哥,今天评的项目是币安投资的Certik。

Certik是一个形式化验证平台,经过其验证的智能合约会暴露问题,以增强智能合约正式上线时的安全性。

听起来很不错,不过二哥对软件(含智能合约)形式化验证这个赛道不怎么看好。

什么是形式化方法?简单的说,就是用数学工具进行定义、开发和验证。如果所有的设计开发都能够按照严格的数学方法进行,那么开发出来的系统就会像数学本身一样的完美:软件不会出错,硬件永远正常。一个美好的理想。

形式化方法是从硬件设计开始普及的,最初由Intel在其芯片设计中广泛采用形式化方法。而软件行业对于形式化不太感冒,这是由于对数学技能的要求太高和时间成本太高。

为了解决以上问题,Certik提出利用深度学习技术来自动对智能合约进行形式验证。二哥觉得,跟自动编程一样,完全自动的合约验证,也是不可能实现的,只是个噱头。

自动编程的难点在于机器没法知道你想要做什么。同理,自动标注(形式验证的前提)的难点在于,机器没法知道你想要代码满足什么样的性质。这些信息只存在于你的心里。如果你不表达出来,任何其它人和机器都没有办法知道。

所以Certik还提供定制化的认证服务,由验证领域的专家提供帮助并出具综合报告,这和中心化的代码审计机构并没有区别。

【神秘先生点评:估计Certik项目方也不认为自动验证有多可靠,因此需要补充人工服务】

如果不是因为获得了币安的投资,这个项目也不会吸引那么多人注意。形式化验证还是要大量的专家支撑,而不是所谓的去中心化组织;或者像Aeternity、Tezos这样的公链,直接采用适配形式化验证的智能合约编程语言,从底层原生支持。

6月已发布Certik 1.0版,仅提供官方验证服务。而去中心化自动验证的公测版上线时间,路线图中并未公布。

安全概念&币安投资——热门项目Certik简评

两位创始人中,一位是哥伦比亚大学的助理教授,专注形式化验证;另1位是耶鲁大学的计算机教授。还有一位成员是在读博后。但在领英上查不到Certik的信息。

最近好几个项目团队都是类似Certik这种,1个名牌大学老教授带着自己的几个学生,试图把论文落地,感觉就是大学的实验室在做项目。学术背景是够了,区块链和软件实际开发经验是否足够,很难说。

【神秘先生篇末点评:Certik实现难度太大。智能合约检测事关安全,非常重要。只要自动检测的功能还稍有不成熟的地方,那么结果就是完全没有人敢用他。比如自动驾驶,实际上出事的概率已经很低了,但是至今没人敢用。从落地的角度,神秘先生并不看好这个项目。短线的话,Certik的噱头很吸引人,还是币安投资,团队等方面也有出彩之处,大家自行判断。】

安全概念&币安投资——热门项目Certik简评

附:过往项目评级表

备注:近期评级团队调整过评级区间,目的是拉开区分度,适当增加好项目评分。项目评级以下表为准。

安全概念&币安投资——热门项目Certik简评

注:总评采用的维度为:C,B,BB,BBB,A,AA,AAA(从低到高,在各自维度内加入加减号作为细微区分);风险,热度,长期潜力采用的维度为:低,中低,中等,中高,高。

后台回复“往期评级”查看近期热门项目评级 

V神又点赞了你慌不慌——Starkware预评

挑战“不可能三角”——顶级公链Thunder Token预评

当前电报人气第一的项目——Uchain简评

为智能合约加入隐私保护——潜力项目Origo Network预评

神秘评级首个双A——现象级项目Algorand预评

本文来源: 神秘评级 文章作者: 每日区块先知 我要纠错
声明:本文由入驻金色财经的作者撰写,观点仅代表作者本人,绝不代表金色财经赞同其观点或证实其描述。
提示:投资有风险,入市须谨慎。本资讯不作为投资理财建议。

金色财经 > 区块链 > 安全概念&币安投资——热门项目Certik简评