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