区块链BaaS云服务（21）腾讯CCGP”安全沙箱“

Posted 2021-06-26 thefist11

1. 功能

• 测试智能合约的功能，包括智能合约的编写、编译、安全性评估等过程的执行。

• 提供智能合约细粒度自动化漏洞检测技术，实现适配多类型智能合约的深度安全防护方法和技术。

2. 特点

• 自动识别智能合约代码“关键”路径，对程序路径进行优先排序，并对智能合约的关键路径进
  行模拟运行全覆盖，自动过滤不可行的执行路径。
• 根据知识库对合约潜在的污点进行识别，识别污点信息在智能合约中的产生点并对其进行标
  记，按照实际需求和污点传播规则进行前向或后向数据依赖分析，得到污点的数据依赖和被依赖关系的指令集合，在一些关键的程序点检查关键的操作是否会受到污点信息的影响。
• 提供智能合约形式化验证的容器，通过数学推理逻辑和证明，检查智能合约功能正确性和安全
  属性，能完全覆盖代码的运行期行为，可以确保在一定范围内智能合约的绝对正确。

3. 支持网络安全

• TLS握手过程协议，建立实体和实体的身份的真实性连接。加密安全数据通道在实体间建立，连接实
  体须就通信中所使用的加密方法和密钥匹配。
  通信过程中使用公钥加密，实体在没有彼此任何先验知识的情况下建立共享秘密加密密钥。
  实体的密钥私钥在硬件HSM或者TPM中保护，提供防本地物理攻击的、面向金融应用安全级别的高等级防护