众多知名项目跌落神坛:难倒美国国防部的【Certik在BMEX上】售价跌去私募价8成

人声鼎沸的区块链不眠不休

失眠的人类在里面孜孜追求

大家好,我是张放

那个用比特฿买猪饲料的人

21点送你理性的分析与非理性的陈述

敬请垂阅

▲▲▲▲▲

这一年,我们的行业可以用许多词来标记,但被提到最多的一个也许就是凛冬已至。

——张放

关键词释义

——BMEX

bmex.com是全球第一家全品类数字资产及衍生品交易平台,获分布式资本、OKEX资本、红岸基金、硬币资本等机构投资,另已与数十家顶级Token Fund达成战略合作。

——SAFT

在BMEX平台,投资者可以交易SAFT,包括“Unlisted Token(未上所的币)”和“Locked Token(被锁定的币)” 这意味着整个区块链行业的闲置资产将真正像Token一样流动起来。

毋庸置疑,现在的区块链行业是有泡沫,但这并不见得是坏事。

市场泡沫往往是带动最大规模社会生产力的最有效方式,汇集资源,并集中地打到一点上,把某行某业发展到极致。

而极致,是进步最高效的方式。对于个人时间精力分配是如此,对于社会资源分配也是如此。

泡沫的破裂是必然,然而在破裂后剩下些什么?是坚实存在的舍利子。

房地产泡沫过后,一地的房子被建造出来是真实的;

互联网科技泡沫过后,硅谷新技术新智能软硬件被开发出来是有价值的;

区块链泡沫后,未来势必会在震荡中,逐步云起勃发,随着产业的实际发展与落地,持续上升。

BMEX:顶级项目“折价”抄底?

熊市不言低,自比特币从一度被认为是安全线的6000美元跌破以来,人们对于比特币的底部开始重新估量。

神鱼此前预测3000将是比特币的大底所在,但如今距离跌破也就是几百美金的事情。

底在何处,牛在何处?

已经上线的币种在跌势下似乎走向穷途末路,各路大佬的朋友圈删帖洗白中。

于是在大熊市,曾叱咤风云的项目如今也“失宠”,光环不在。

与其说这是一个信仰者抄底的时刻,不如说,这是一个有钱人抄底的时刻。

所以,今天我们所讨论的议题,正是价值项目的抄底机会。

据悉,面对寒冬,部分顶级基金方也在不得不出手一些项目,就算仍旧看好,而在最近掀起舆论的“CertiK等知名价值项目可以在BMEX折价购买”事件中,BMEX所出售的项目正是各个基金方手中的saft份额。

币安孵化的知名形式化验证项目Certik如今在BMEX交易所的交易价仅为私募时的2成;

同时,此前被丹华资本称为航空母舰之一的Celer以及Hashgraph、Perlin、Mobilecoin等知名项目也远低于私募价;

而在列名单待售的名单中不乏有Algorand、Dfinity等顶级项目身影。

图为BMEX平台在售的CertiK

以CertiK为例,作为形式化验证项目的代表,以其“区块链安全”概念曾一度受到各方追捧。

曾经难倒美国国防部

CertiK所基于的系统CertiKOS,是世界上第一个经过全面验证的防黑客操作系统。美国国防部曾聘请谷歌团队对CertiKOS进行攻击,但是攻击了一个月都没有成功。

到底是什么技术给予了CertiKOS超强的防御能力,从而使它阻挡了所有的攻击?答案就是:形式化验证方。

维基百科对形式化验证的解释是这样的:

在计算机硬件(特别是集成电路)和软件系统的设计过程中,形式化验证的含义是根据某个或某些形式化规范或属性,使用数学的方法证明其正确性或非正确性。

CertiK思路比较简单,将一个难以证明的大问题拆分为许多容易证明的小问题,然后再将证明过的小问题重新组合回分解之前的较难的大问题,并且保证其中从端到端的正确性。

你可以把区块链项目和CertiK的关系简单理解为:一道数学题的解题方法和一本数学解题公式指南大全。

1、CertiK与区块链项目

CertiK就像一本公式原理大全,去验证这道题(项目)的解法是否正确,是否符合最基本的数学定理。

要知道,这本原理大全的内容都是经过几千年的数学家研究、推算得出来的被证明过了的定理,只有它证别人,没有别人来证它一说。

形式化验证正是因为如此高超,才被美国军方所应用。

早在2015年,美国军方就测试了形式化验证的网络防御能力。军方曾命黑客对美国Little Bird无人直升机发动电子攻击,夺取无人机控制权。

起初,黑客最初的攻击十分顺利,如入无人之境。但在无人机被部署了形式化验证的安全机制后,黑客用了当今世界上所有的攻击手段也未能攻破。

2、程序测试(Testing)与形式化验证(Formal Verification)

1972图灵奖获得者Edsger Dijkstra

1972图灵奖获得者、形式化方法核心思想的提出者Edsger Dijkstra如此评述:“程序测试能证明错误的存在,但不能证明错误不存在”。

而形式化验证所要做的正是:证明错误不存在。

在日常技术测试中,我们现在采用的都是程序测试(Testing)来清楚bug,但是这种测试是不全面的,而形式化验证(Formal Verification)是要用严格的证明来推到所有逻辑,证明这个程序是不存在错误。

这就是其高手之处。试想,你做了一道数学题,一个是检验你的解题思路,一个是检验你的逻辑与运用公式的正确性,哪一个更完美?

形式化验证的权威与效力,几乎可以说是“无懈可击”,正是这一点让人们看到了它在区块链智能合约安全上的作用。

CertiK——为解决区块链“老大难”问题

我们经常会听到过“一行代码损失几十亿”、“干了一年被黑客一夜搞走”、“某交易所老板给了黑客几个亿了事”等段子。

这所说的,正是区块链行业“老大难”问题——黑客攻击。

1)以太坊The DAO事件,黑客窃取当时价值5500万美元的以太币,并导致了以太坊的硬分叉;

2)2017年11月,以太坊Parity钱包被黑客攻击,用户损失了约为1.5亿美元价值的数字资产;

3)安比实验室统计,仅2018年上半年,就已经有大约11亿美元的数字资产被盗,与区块链系统相关的漏洞;

4)近期DApp成为黑客攻击的重灾区。据PeckShield,截止11月26日EOS共发生27起DApp安全事件损失近40万个EOS价值。

黑客事件频繁,一方面是人们的对安全的忽视,一方面也是安全本身是一个极具挑战的事情。

传统互联网尚存在安全隐患,新兴的区块链更是如此。如何解决这个问题,将是未来整个科技领域的挑战。

试想,未来的物联网、人工智能将导致网络数据的爆炸性增长,你身上每一个物件都可以有一个传感器,那时候的网络安全、黑客攻击如果还像现在这样频繁怎么办?

自动驾驶将可能被黑客操作,危害公共安全;而所有的个人信息在黑客面前。

这也是邵中教授为什么看中形式化验证的未来应用。

虽然现在它是军工级别有所应用,但如同计算机最早也是军用一样,普及只是时间问题。题外话,还有人称,比特币是美国军方科研的一个衍生物。

CertiK区块链安全生态,涉及到客户、赏金猎人(bounty hunter)、检查人员(checker)、技术高手(sage)、用户等社区参与者,通过代币CTK的流动来激励社区协作,完成对智能合约或者项目代码的形式化验证工作。

关于技术细节就不多说,主要是我觉得你看不懂,我也写不出来,另外即使你想看也到处都能查到。

押上了半辈子名声的项目,却转角遇到熊市

邵中在今年7月第二届全球人工智能与机器人峰上演讲介绍CertiKOS

据LinkedIn资料,不难判断Certik两位创始人应是师徒关系,顾荣辉清华大学计算机科学专业毕业后,前往耶鲁大学计算科学系深造,2016年在邵中门下读完博士,同年9月于本校就任研究员至2017年12月,并从2018年1月在纽约市哥伦比亚大学担任助理教授至今。

邵中与顾荣辉所设计的CertiKOS早在2016年就开始对外露面,并发表在了《耶鲁大学每日新闻(Yale Daily News)》上。

在2017年7月第二届全球人工智能与机器人峰上,邵中教授就在大会上阐述了其正在研发的“反黑客攻击”操作系统CertiKOS背后的理念,并直指其在区块链、自动驾驶中的应用方向。

2017年11月,邵中对外发布了CertiKOS研发成果,并被众多媒体报道。

彼时,区块链正值大牛市,比特币也在不到一个月内涨到了历史最高点19000多美,整个行业进入了狂欢,人们对于区块链、对于加密货币展现前所未有的乐观。

也是这时,师徒二人开始着手准备CertiK项目募资,选择了在区块链行业来试验自己的成果,这一试,便赌上了半辈子的声誉。

这个时机非常适合,CertiK并且很快就受到了区块链资本的青睐,币安实验室、丹华资本、光速中国等机构相继投资。

而许多区块链项目也纷纷与之合作,众多知名项目包括Qtum、菩提、Ink、Nebulas、Neo也和CertiK等。除此之外,还有众多头部交易所。

Certik在今年上半年度过了比较“收获”的半年。

然而。

区块链行业的信仰很大一部分建立在一种“价格信仰”上,所谓价格信仰就是,“涨”就是信仰的基石,也是投机者的共识,俗称“赚钱”。

在比特币一路狂跌下来后,人们对于这个行业的信仰开始崩塌,也就没有所谓的共识。

这种价格信仰,不只是散户心理,一些资本也是如此。据透漏,今年几乎所有项目都在发生“退币风波”,Certik也不能幸免。

放哥有话说

总而言之,都是熊市惹的祸。

Certik,作为几大学者型项目之一,此前融资时还非常抢手,额度稀缺,知名的基金也很难获取大额的投资机会,散户更是无从参与。

另外,Certik不仅成功预测了Bancor智能合约安全漏洞事故(当时导致2350万美元资金被盗),还发布了CertiK合约自动扫描验证平台AutoScan。

据了解当时CertiK私募价有1CTK=3.047美金,如今在BMEX卖价仅为0.546美金,跌去82%还多,不得不令人唏嘘。

最后。

牛市不可能永远维持。在整体成熟稳定的经济中,有小幅的牛熊交替是正常的。

关键还是市场为什么要上扬?什么驱动因素促使了大涨?这才是我们要关注的问题。

在这之中,关注产业发展本身是重要的,只有不断地有产品落地、为社会产生新的价值,市场价值才能上升。

上升的过程中,自然有信心的因素在,当信心超额了,牛市也就来了。

最近,几根酣畅淋漓的大阳线仿佛又催活了整个市场的热情,好几个中量级项目走出了一波振奋的趋势。

说实话我也不相信就此能启动一轮大牛市,但是从各方面看,一轮中级反弹行情还是值得期待的。

小牛来袭,现在BMEX梭哈项目,从风险和近未来收益上来看,是不错的选择。

毕竟,眼下,信仰者们,首要的是把握机会,填饱肚子,等待寒冬过去。

本文专注

行业趋势分析,优质项目解构

不够成投资建议

入场需谨慎!谨慎!谨慎!

欢迎加入张放的知识星球

张放:火星财经、火฿资讯签约专栏作者;金色财经、链向财经、九个亿财经、知链平台认证专栏作者。

沉浸在区块链多年的老男人,只聊干货不放厥词。

深夜福利,你们懂得(不要想歪,放哥是个正经人)。

往期内容(精选)

整理笔记(五)丨EOS,李笑来站台的冉冉新星

整理笔记(七)丨那些不知道Token的人,想知道什么?

整理笔记(九)丨一年暴涨90倍,莱特 ฿ 的一战成名

整理笔记(十一)丨逆市暴涨20倍,ONT会涨破天际?

整理笔记(十四)丨OKB四月暴涨50%,背后究竟为何?

整理笔记(二十一)丨NEO暴涨千倍,小蚁能否变成蚁人

整理笔记(二十三)丨HSR主链“又”上线,厨师参选超级节点,并说红烧肉要暴涨!

整理笔记(二十六)丨大学生借贷炒฿实录:丧钟长鸣,前无古人,后不乏来者!

- G O O D L U C K -

赞赏

已推荐到看一看

你的朋友可以在“发现”-“看一看”看到你认为好看的文章。

知道了