QSP，形式化验证的安全审计协议。
Quantstamp号称第一个可扩展的安全审计协议，曾是2017年十大创新币之一。QSP是一个基于以太坊网络智能合约的安全审计协议，它的目的是来审核以太坊网络上的所有智能合约，以便解决智能合约的安全问题。
个人认为，QSP项目不错。因为从以太坊创建智能合约以来，智能合约类项目越来越多，专业化的安全审计很有必要。其实以太坊曾出现智能合约漏洞，被盗取了其360万个以太坊，社区主流意见是回档，导致以太坊分叉，今天的以太坊实际上是回档的分叉币。QSP在当时有二大优点：
1.首创智能合约审计。智能合约就是一段程序，程序出现bug和漏洞会导致重大损失。而且随着区块链的普遍应用，智能合约的数量也将指数递增。QSP提供了一种分布协作、自下而上的处理机制，即在利益的驱动下，鼓励人们自发地去校验、审计智能合约。
2.开发形式化验证协议。QSP正在开发一种新协议，该协议使用形式化验证来审核智能合约，以便在合同发布到区块链之前发现错误。形式化验证就是基于已建立的形式化规格,对所规格系统的相关特性进行分析和验证,以评判系统是否满足期望的特性。
总之，QSP是个不错项目，有市场需求。但近一年来QSP好像沉寂了，新闻少了，另二个安全币Armors、CertiK异军突起，特别是CertiK新闻不断。QSP代币总量9.76亿，众筹价格 $0.0720，现在价格$0.009934，跌了7倍多，爱好者适量吸纳。