1. 功能

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

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

2. 特点

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

3. 支持网络安全

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

区块链BaaS云服务(21)腾讯CCGP”安全沙箱“相关推荐

  1. 区块链BaaS云服务(24)秘猿科技CITA

    定义 CITA-Monitor 监控系统, 用以监控 CITA 区块链服务运行状态.CITA-Monitor 监控的指标包括:区块链数据.服务进程状态.运行环境的 CPU /存储器/磁盘使用率等主机信 ...

  2. 区块链BaaS云服务(23)网易NBaaS平台

    1. 功能 1.1. 去中心化数字身份 未来通行证 未来通行证(DID)提供分布式去中心化数字身份标识及可信数据交换流转,是未来全球通用的全新通行证,基于服务公众.价值交换的理念,构建可信基础设施,致 ...

  3. 区块链BaaS云服务(21)腾讯CCGP”节点安全“

    1. 总结 主要有两部分: 区块链区块链节点(终端防护) 在接入区块链节点上内置TPM安全信任根,对节点的激活,准入及业务流程提供一体化可信安全操作. 可信服务管控平台 基于区块链跨链治理服务,对区块 ...

  4. 区块链BaaS云服务(21)腾讯CCGP“治理链”

    1. 功能 治理服务支撑治理员.审计员对治理链及治理协同业务进行管控操作. 2. 服务层 3. 控制层 3.1治理合约管理 治理链部署完毕后,初始化支撑协同治理全过程的智能合约 3.2 统一身份管理 ...

  5. 区块链BaaS云服务(21)腾讯CCGP跨链平台“系统架构”

    1. "以链治链"的通用跨链协同治理架构 4种角色和3种节点 1.1 创世机构(跨链联盟中承担跨链治理角色的机构) 其持有"创世节点" ,通过创世节点执行创世合 ...

  6. 区块链BaaS云服务(25)边界智能 IRITA平台

    1. 定义 以区块链跨链.隐私计算及大数据分析技术创新为核心. 支持中国国密标准,并有完善的 SDK 及运维工具支持,在性能.安全可靠性.认证及权限.可维护性.可扩展性和运维监控等多方面都满足企业级应 ...

  7. 区块链BaaS云服务(16)天德链TDBC“系统介绍”

    1. 系统架构 2. 平台特点 证书管理 包含了完善的.不可伪造的证书管理系统.每个用户有且只有一个有效证书(接入凭证),充分保证了用户信息安全. 隐私保护 对交易信息进行加密传输.加密存储.只有拥有 ...

  8. 区块链BaaS云服务(15)复杂美chain33

    1. 整体架构 采用模块插件化的设计,模块可插拔,适应多种场景. 应用层 EVM虚拟机, WASM虚拟机,GO语言原生合约以及JVM虚拟机(研发完成,测试中) 共识层 支持POS,DPOS以及POS3 ...

  9. 区块链BaaS云服务(14)华大BGI区块链“Baas接口“

    BaaS 接口 为了更好的支持上层业务对区块链模块的集成应用, 包括: 1. 节点权限认证控制 基于联盟链的应用场景,各个节点的链上权限及 角色配置都可以通过运维软件的 WEB 界面进行配置.每个节点 ...

  10. 区块链BaaS云服务(14)华大BGI区块链“碎片分布式存储“

    1. 传统云存储模式 用户把完整的数据信息存放到云端数据中心,这种中心化的云存储模式相对高效和低成本而广为流行,但在安全性和隐私泄漏等方面 存在风险. 2. 碎片分布式存储 基本思想是将用户的某一完整 ...

最新文章

  1. 转帖-Linux 磁盘坏道检测和修复
  2. C/C++结构体四字节数据对齐
  3. 软件开发的比喻:园艺
  4. Django(part40)--如何走向404
  5. sqlite数据库备份还原、导出导入
  6. Java用Java编译
  7. hadoop主节点切换_hadoop2.0 HA的主备自动切换
  8. mysql查看binlog_MySQL的binlog数据如何查看
  9. linux连不上网 ens33,如何解决Linux 系统下 ifconfig 命令无网络接口 ens33
  10. ScriptObject的坑人之处
  11. jenkins配置Windows节点
  12. DenseNet详解
  13. 数字电子技术基础笔记【阎石第六版】 第一章 数字与编码
  14. 基于Python和MySQL的学生信息管理系统
  15. 计算机的flash player在哪里,flash player电脑设置管理器在哪?怎么打开
  16. Excel批量随机生成姓名
  17. python元组定义_python定义元组
  18. 外汇期货市场的组织结构
  19. EDM邮件营销推广方法分享
  20. vivado+vscode

热门文章

  1. Redis:Redis集群实战
  2. 【Scratch】青少年蓝桥杯_每日一题_1.25_投球
  3. Linux通常把设备对象抽象为,linux 设备模型(1)
  4. java第三方接口对接_调用多个第三方接口哪一种方案更好?
  5. 年运行10万台服务器数据中心方案设计公示
  6. 混合云数据中心运维的管理
  7. 综合布线成数据中心建设和运营的重要课题
  8. 成功解决OpenCV Error: Assertion failed (ssize.width 0 ssize.height 0) in cv::resize, file C:\proj
  9. DL之DNN:利用DNN【784→50→100→10】算法对MNIST手写数字图片识别数据集进行预测、模型优化
  10. Matlab:基于Matlab通过GUI实现自动驾驶的车牌智能识别