智能合约测评服务

对智能合约代码业务逻辑及安全性进行评估，提供智能合约形式化验证以及智能合约代码审计服务

区块链应用测评服务

基于自主知识产权的区块链技术测评平台，提供针对不同应用场景区块链的主功能、系统间功能、性能、稳定性及安全策略的合规性模拟测评服务