QSP，形式化验证的

Quantstamp号称第一个可扩展的安全审计协议，曾是2017年十大创新币之一。QSP是一个基于以太坊网络智能合约的安全审计协议，它的目的是来审核以太坊网络上的所有智能合约，以便解决智能合约的安全问题。

个人认为，QSP项目不错。因为从以太坊创建智能合约以来，智能合约类项目越来越多，专业化的安全审计很有必要。其实以太坊曾出现智能合约漏洞，被盗取了其360万个以太坊，社区主流意见是回档，导致以太坊分叉，今天的以太坊实际上是回档的分叉币。QSP在当时有二大优点：

1.首创智能合约审计。智能合约就是一段程序，程序出现bug和漏洞会导致重大损失。而且随着区块链的普遍应用，智能合约的数量也将指数递增。QSP提供了一种分布协作、自下而上的处理机制，即在利益的驱动下，鼓励人们自发地去校验、审计智能合约。

2.开发形式化验证协议。QSP正在开发一种新协议，该协议使用形式化验证来审核智能合约，以便在合同发布到区块链之前发现错误。形式化验证就是基于已建立的形式化规格,对所规格系统的相关特性进行分析和验证,以评判系统是否满足期望的特性。

总之，QSP是个不错项目，有市场需求。但近一年来QSP好像沉寂了，新闻少了，另二个安全币Armors、CertiK异军突起，特别是CertiK新闻不断。QSP代币总量9.76亿，众筹价格 $0.0720，现在价格$0.0034，跌了7倍多，爱好者适量吸纳。

QSP是项目Quantstamp的token，Quantstamp是一个可扩展的安全审计协议，旨在发展智能合约中的漏洞。

到底都知道，智能合约的安全性很重要，一个智能合约找一个靠谱的审计协议，是很有必要的。随着区块链的发展，审计需求也越来越大，审计类的项目，肯定很有发展前景，Quantstamp作为早发币的一个项目，可以说是占得了一定的先机。

有一点不太好的是，虽然团队做的事，有前景，但对这个token的应用，还存在疑问。在单一场景内，没有足够的生态，是否能让token真正的流转、应用起来，是个问题。虽然按照项目方设计中，审计智能合约，需要支付QSP，但持币者始终缺乏一种刚需应用场景，可能不会很快有投资回报，这点从币价就可以看出来，一路下跌。