该项目号称是第一个可扩展的安全审计协议,也是之前的十大创新币,热度很高,但是现在看来好像项目已进停摆了,毕竟代码在2019年9月之后都没有继续更新,推特上的运营也有几个月不曾发布新的信息。
但从项目的资料和历史表现来看,该项目还是居于一定的优势和亮点,第一是首创智能合约审计,本来随着行业的发展智能合约使用的越来越多,有必要对所有运行的智能合约进行审计,所以该项目就提供了一种分布式协作,自下而上的处理机制,从而杜绝安全事件的发生。
其次是开发形式验证协议,对已建立的形式化规格进行相关特性分析和验证,以验证是否满足期望。总体来说该项目还是具备一定的应用价值,而且技术有创新,但是其代币的表现却并不是很好。2017年11月22日发行,代币总量9.76亿枚,众筹价格0.5元,历史最高6元,现在是0.09元,累计跌幅高达81%
综合来说,项目出发点,愿景都很好,只是现在代码停止更新,代币价格低迷,所以作为投资人来说的话谨慎参与,关注一下。3分