Rust China Conf 2021 – 2022, Online, China 姜剑峰 Rust API可靠性分析与验证 Rust China Conf 2021 – 2022, Online, China 主题内容 • Rust第三方库API可靠性现状 • 现用方法的局限性 • 基于程序合成+模糊测试的可靠性分析方法 Rust China Conf 2021 – 2022, Online, China 自我简介 • 本（2019）硕（2022）毕业于复旦大学 • 目前在蚂蚁集团安全计算部门开发应用于机密计算的Rust系统软件 • 研究生期间主要从事Rust测试与验证工具的研究，本人所在的是国内最早 开展Rust程序分析相关研究的实验室（https://artisan-lab.github.io） • 我们关于Rust库模糊测试的论文 RULF: Rust Library libfuzzer)：分支覆盖率；用例程序的构造 符号执行(klee, angr)：路径爆炸；求解困难 静态分析(MirChecker, Rudra, SafeDrop)：分析特定问题；假阳性 形式化验证(RustBelt)：无法方便的验证第三方库 其他工具（Miri等）…..... Rust China Conf 2021 – 2022, Online, China API 测试用例合成 出错的API1 能够执行到出错API的程

Web基础 3.1 web工作方式 3.2 Go搭建一个简单的web服务 3.3 Go如何使得web工作 3.4 Go的http包详解 3.5 小结 4.表单 4.1 处理表单的输入 4.2 验证表单的输入 4.3 预防跨站脚本 4.4 防止多次递交表单 4.5 处理文件上传 4.6 小结 5.访问数据库 5.1 database/sql接口 5.2 使用MySQL数据库 5.3 使用SQLite数据库 错误处理，调试和测试 11.1 错误处理 11.2 使用GDB调试 11.3 Go怎么写测试用例 11.4 小结 12.部署与维护 12.1 应用日志 12.2 网站错误处理 12.3 应用部署 12.4 备份和恢复 12.5 小结 13.如何设计一个Web框架 13.1 项目规划 13.2 自定义路由器设计 13.3 controller设计 13.4 日志和配置设计 13.5 实现博客的增删改 下界面 图1.8 sublime安装插件界面 这个时候输入GoSublime，按确定就开始安装了。同理应用于SidebarEnhancements和Go Build。 23 4. 验证是否安装成功，你可以打开Sublime，打开main.go，看看语法是不是高亮了，输入import是不是自动化 提示了，import "fmt"之后，输入fmt.是不是自动化提示有函数了。 如

整体架构 架构模型 一体两翼多引擎 群组架构 支持链内动态扩展多群组 分布式存储 支持海量数据存储 并行计算 支持块内交易并行执行 节点类型 共识节点、观察节点 计算模型 排序-执行-验证 系统性能 峰值TPS 2万+ TPS（PBFT） 交易确认时延 秒级 硬件推荐配置 CPU 2.4GHz * 8核 内存 8GB 存储 4TB 网络带宽 10Mb 账本模型 数据结构 提供企业级联盟链部署工具 可视化数据展现 区块链浏览器 可视化节点管理 基于WeBASE，提供节点管理器 动态管理节点 支持动态新增、剔除、变更节点 动态更改配置 支持动态变更系统配置 数据备份与恢复 提供数据导出与恢复服务组件 监控统计 输出统计日志，提供监控工具 监管审计 基于WeBASE，提供监管审计入口 架构 FISCO BCOS 在2.0中，创新性提出“一体两翼多引擎”架构，实现系统吞吐能 标准的 密码机/密码卡进行SM2、SM3、SM4等算法运算；支持使用密码机 内部密钥，用硬件保障私钥安全。 支持使用密码卡/密码机进行共识签名、交易验签、落盘加密。 新增哈希计算、签名验证、VRF proof验证相关的Precompiled合约，包括 sm3, keccak256Hash, sm2Verify, curve25519VRFVerify。 修复 修复issue 1951 [https://github

关键特性 整体架构 架构模型 一体两翼多引擎 群组架构 支持链内动态扩展多群组 分布式存储 支持海量数据存储 并行计算 支持块内交易并行执行 节点类型 共识节点、观察节点 计算模型 排序-执行-验证 系统性能 峰值TPS 2万+ TPS（PBFT） 交易确认时延 秒级 硬件推荐配置 整体架构 CPU 2.4GHz * 8核 内存 8GB 存储 4TB 网络带宽 10Mb 账本模型 提供企业级联盟链部署工具 可视化数据展现 区块链浏览器 可视化节点管理 基于WeBASE，提供节点管理器 动态管理节点 支持动态新增、剔除、变更节点 动态更改配置 支持动态变更系统配置 数据备份与恢复 提供数据导出与恢复服务组件 监控统计 输出统计日志，提供监控工具 监管审计 基于WeBASE，提供监管审计入口 架构 FISCO BCOS 在2.0中，创新性提出“一体两翼多引擎”架构，实现系统吞吐能 标准的 密码机/密码卡进行SM2、SM3、SM4等算法运算；支持使用密码机 内部密钥，用硬件保障私钥安全。 支持使用密码卡/密码机进行共识签名、交易验签、落盘加密。 新增哈希计算、签名验证、VRF proof验证相关的Precompiled合约，包括 sm3, keccak256Hash, sm2Verify, curve25519VRFVerify。 升级 升级boost版本到1.76

整体架构 架构模型 一体两翼多引擎 群组架构 支持链内动态扩展多群组 分布式存储 支持海量数据存储 并行计算 支持块内交易并行执行 节点类型 共识节点、观察节点 计算模型 排序-执行-验证 系统性能 峰值TPS 2万+ TPS（PBFT） 交易确认时延 秒级 硬件推荐配置 CPU 2.4GHz * 8核 内存 8GB 存储 4TB 网络带宽 10Mb 账本模型 数据结构 提供企业级联盟链部署工具 可视化数据展现 区块链浏览器 可视化节点管理 基于WeBASE，提供节点管理器 动态管理节点 支持动态新增、剔除、变更节点 动态更改配置 支持动态变更系统配置 数据备份与恢复 提供数据导出与恢复服务组件 监控统计 输出统计日志，提供监控工具 监管审计 基于WeBASE，提供监管审计入口 架构 FISCO BCOS 在2.0中，创新性提出“一体两翼多引擎”架构，实现系统吞吐能 标准的 密码机/密码卡进行SM2、SM3、SM4等算法运算；支持使用密码机 内部密钥，用硬件保障私钥安全。 支持使用密码卡/密码机进行共识签名、交易验签、落盘加密。 新增哈希计算、签名验证、VRF proof验证相关的Precompiled合约，包括 sm3, keccak256Hash, sm2Verify, curve25519VRFVerify。 修复 修复issue 1951 [https://github

关键特性 整体架构 架构模型 一体两翼多引擎 群组架构 支持链内动态扩展多群组 分布式存储 支持海量数据存储 并行计算 支持块内交易并行执行 节点类型 共识节点、观察节点 计算模型 排序-执行-验证 系统性能 峰值TPS 2万+ TPS（PBFT） 交易确认时延 秒级 硬件推荐配置 整体架构 CPU 2.4GHz * 8核 内存 8GB 存储 4TB 网络带宽 10Mb 账本模型 提供企业级联盟链部署工具 可视化数据展现 区块链浏览器 可视化节点管理 基于WeBASE，提供节点管理器 动态管理节点 支持动态新增、剔除、变更节点 动态更改配置 支持动态变更系统配置 数据备份与恢复 提供数据导出与恢复服务组件 监控统计 输出统计日志，提供监控工具 监管审计 基于WeBASE，提供监管审计入口 架构 FISCO BCOS 在2.0中，创新性提出“一体两翼多引擎”架构，实现系统吞吐能 标准的 密码机/密码卡进行SM2、SM3、SM4等算法运算；支持使用密码机 内部密钥，用硬件保障私钥安全。 支持使用密码卡/密码机进行共识签名、交易验签、落盘加密。 新增哈希计算、签名验证、VRF proof验证相关的Precompiled合约，包括 sm3, keccak256Hash, sm2Verify, curve25519VRFVerify。 修复 修复issue 1951 [https://github

整体架构 架构模型 一体两翼多引擎 群组架构 支持链内动态扩展多群组 分布式存储 支持海量数据存储 并行计算 支持块内交易并行执行 节点类型 共识节点、观察节点 计算模型 排序-执行-验证 系统性能 峰值TPS 2万+ TPS（PBFT） 交易确认时延 秒级 硬件推荐配置 CPU 2.4GHz * 8核 内存 8GB 存储 4TB 网络带宽 10Mb 账本模型 数据结构 提供企业级联盟链部署工具 可视化数据展现 区块链浏览器 可视化节点管理 基于WeBASE，提供节点管理器 动态管理节点 支持动态新增、剔除、变更节点 动态更改配置 支持动态变更系统配置 数据备份与恢复 提供数据导出与恢复服务组件 监控统计 输出统计日志，提供监控工具 监管审计 基于WeBASE，提供监管审计入口 架构 FISCO BCOS 在2.0中，创新性提出“一体两翼多引擎”架构，实现系统吞吐能 标准的 密码机/密码卡进行SM2、SM3、SM4等算法运算；支持使用密码机 内部密钥，用硬件保障私钥安全。 支持使用密码卡/密码机进行共识签名、交易验签、落盘加密。 新增哈希计算、签名验证、VRF proof验证相关的Precompiled合约，包括 sm3, keccak256Hash, sm2Verify, curve25519VRFVerify。 修复 修复issue 1951 [https://github

关键特性 整体架构 架构模型 一体两翼多引擎 群组架构 支持链内动态扩展多群组 分布式存储 支持海量数据存储 并行计算 支持块内交易并行执行 节点类型 共识节点、观察节点 计算模型 排序-执行-验证 系统性能 峰值TPS 2万+ TPS（PBFT） 交易确认时延 秒级 硬件推荐配置 整体架构 CPU 2.4GHz * 8核 内存 8GB 存储 4TB 网络带宽 10Mb 账本模型 提供企业级联盟链部署工具 可视化数据展现 区块链浏览器 可视化节点管理 基于WeBASE，提供节点管理器 动态管理节点 支持动态新增、剔除、变更节点 动态更改配置 支持动态变更系统配置 数据备份与恢复 提供数据导出与恢复服务组件 监控统计 输出统计日志，提供监控工具 监管审计 基于WeBASE，提供监管审计入口 架构 FISCO BCOS 在2.0中，创新性提出“一体两翼多引擎”架构，实现系统吞吐能 标准的 密码机/密码卡进行SM2、SM3、SM4等算法运算；支持使用密码机 内部密钥，用硬件保障私钥安全。 支持使用密码卡/密码机进行共识签名、交易验签、落盘加密。 新增哈希计算、签名验证、VRF proof验证相关的Precompiled合约，包括 sm3, keccak256Hash, sm2Verify, curve25519VRFVerify。 修复 修复issue 1951 [https://github

关键特性 整体架构 架构模型 一体两翼多引擎 群组架构 支持链内动态扩展多群组 分布式存储 支持海量数据存储 并行计算 支持块内交易并行执行 节点类型 共识节点、观察节点 计算模型 排序-执行-验证 系统性能 峰值TPS 2万+ TPS（PBFT） 交易确认时延 秒级 硬件推荐配置 整体架构 CPU 2.4GHz * 8核 内存 8GB 存储 4TB 网络带宽 10Mb 账本模型 提供企业级联盟链部署工具 可视化数据展现 区块链浏览器 可视化节点管理 基于WeBASE，提供节点管理器 动态管理节点 支持动态新增、剔除、变更节点 动态更改配置 支持动态变更系统配置 数据备份与恢复 提供数据导出与恢复服务组件 监控统计 输出统计日志，提供监控工具 监管审计 基于WeBASE，提供监管审计入口 架构 FISCO BCOS 在2.0中，创新性提出“一体两翼多引擎”架构，实现系统吞吐能 标准的 密码机/密码卡进行SM2、SM3、SM4等算法运算；支持使用密码机 内部密钥，用硬件保障私钥安全。 支持使用密码卡/密码机进行共识签名、交易验签、落盘加密。 新增哈希计算、签名验证、VRF proof验证相关的Precompiled合约，包括 sm3, keccak256Hash, sm2Verify, curve25519VRFVerify。 修复 修复issue 1951 [https://github

关键特性 整体架构 架构模型 一体两翼多引擎 群组架构 支持链内动态扩展多群组 分布式存储 支持海量数据存储 并行计算 支持块内交易并行执行 节点类型 共识节点、观察节点 计算模型 排序-执行-验证 系统性能 峰值TPS 2万+ TPS（PBFT） 交易确认时延 秒级 硬件推荐配置 整体架构 CPU 2.4GHz * 8核 内存 8GB 存储 4TB 网络带宽 10Mb 账本模型 提供企业级联盟链部署工具 可视化数据展现 区块链浏览器 可视化节点管理 基于WeBASE，提供节点管理器 动态管理节点 支持动态新增、剔除、变更节点 动态更改配置 支持动态变更系统配置 数据备份与恢复 提供数据导出与恢复服务组件 监控统计 输出统计日志，提供监控工具 监管审计 基于WeBASE，提供监管审计入口 架构 FISCO BCOS 在2.0中，创新性提出“一体两翼多引擎”架构，实现系统吞吐能 标准的 密码机/密码卡进行SM2、SM3、SM4等算法运算；支持使用密码机 内部密钥，用硬件保障私钥安全。 支持使用密码卡/密码机进行共识签名、交易验签、落盘加密。 新增哈希计算、签名验证、VRF proof验证相关的Precompiled合约，包括 sm3, keccak256Hash, sm2Verify, curve25519VRFVerify。 修复 修复issue 1951 [https://github