Day 1: June 17, 2023 +08:00
08:00
09:15
Check In 签到
主会场
09:30
10:00
Rust移动端并发框架
Speaker: 陈明煜
Speaker Intro: 毕业于加州大学圣地亚哥分校，就职于华为。目前积极探索并打造Rust移动端异步框架。
探索Rust异步框架在移动端以及嵌入式场景的应用，探讨社区现有并发框架存在的问题以及移动端对并发框架的诉求。介绍Ylong开源调度框架并分享实践，重点包括任务优先级调度机制以及任务结构化并发。展望Rust并发框架在移动端的可能性。
Speaker Intro: 毕业于加州大学圣地亚哥分校，就职于华为。目前积极探索并打造Rust移动端异步框架。
探索Rust异步框架在移动端以及嵌入式场景的应用，探讨社区现有并发框架存在的问题以及移动端对并发框架的诉求。介绍Ylong开源调度框架并分享实践，重点包括任务优先级调度机制以及任务结构化并发。展望Rust并发框架在移动端的可能性。
10:05
10:35
Candid: the interface description language of the Internet Computer smart contract --- How DFINITY uses procedure macro to extend Rust
Speaker: 陈研
Speaker Intro: 就职于DFINITY基金会的编程语言组，负责Candid语言的设计与实现，和相关工具的开发。加入DFINITY之前，陈研就职于Google，并在德国马普所获得博士学位，研究增量计算的编程语言支持。
Candid (https://github.com/dfinity/candid) 是一个强类型的界面描述语言 (Interface description language)，用于实现跨语言的微服务通信，并通过类型系统保证API的升级不影响旧客户端的通信。本演讲通过Candid的Rust实现，说明如何在不修改编译器的情况下，使用过程宏实现一个 与Rust的类型系统相差很大的语言特性。
Speaker Intro: 就职于DFINITY基金会的编程语言组，负责Candid语言的设计与实现，和相关工具的开发。加入DFINITY之前，陈研就职于Google，并在德国马普所获得博士学位，研究增量计算的编程语言支持。
Candid (https://github.com/dfinity/candid) 是一个强类型的界面描述语言 (Interface description language)，用于实现跨语言的微服务通信，并通过类型系统保证API的升级不影响旧客户端的通信。本演讲通过Candid的Rust实现，说明如何在不修改编译器的情况下，使用过程宏实现一个 与Rust的类型系统相差很大的语言特性。
10:40
11:10
Borsh: 安全高效的二进制序列化
Speaker: Daniel
Speaker Intro: NEAR开发工程师。拥有丰富的Rust语言开发经验，在NEAR Protocol中设计并维护了多个基于Rust的智能合约。
Borsh (https://borsh.io/) 是 Binary Object Representation Serializer for Hashing 的缩写，它为高度重视安全的项目设计，优先满足序列化和反序列化的一致性、安全性和执行效率方面的需要，并提供了一整套参考规范和标准，以便使用其他语言实现 Borsh 类库。 在本次演讲中，我们将介绍为什么我们会需要一个不一样的 Rust 序列化框架，以及我们是如何实现它的。
Speaker Intro: NEAR开发工程师。拥有丰富的Rust语言开发经验，在NEAR Protocol中设计并维护了多个基于Rust的智能合约。
Borsh (https://borsh.io/) 是 Binary Object Representation Serializer for Hashing 的缩写，它为高度重视安全的项目设计，优先满足序列化和反序列化的一致性、安全性和执行效率方面的需要，并提供了一整套参考规范和标准，以便使用其他语言实现 Borsh 类库。 在本次演讲中，我们将介绍为什么我们会需要一个不一样的 Rust 序列化框架，以及我们是如何实现它的。
11:15
11:45
Rust 原子操作的高性能实践
Speaker: 王璞, 达坦科技（DatenLord）联合创始人。
Speaker Intro: 王璞博士拥有多年云计算领域的经验，擅长分布式计算、海量数据处理、大规模机器学习。曾供职Google美国总部，负责Google广告部门海量数据处理平台开发。2014年回国创业，创立数人云，专注容器技术在国内的落地和推广。2018年，数人云被收购。2020年，创立达坦科技（DatenLord），致力打造新一代云原生存储平台，专注解决企业级客户在跨云、跨数据中心方面的异构存储、数据统一访问需求。 王璞拥有美国George Mason大学计算机博士学位，北大计算机专业硕士学位和北航力学专业学士学位。王璞发表数十篇论文，被引用累计上千次，并拥有多项云计算专利、软著。王璞于2020年评选为腾讯云TVP。
Rust作为新一代系统编程语言，提供了很多实现高性能编程的组件和功能。其中，原子操作是高性能编程里比较复杂的部分，本次演讲深入分析Rust的原子操作原理，并分享我们在Rust原子操作方面的实际经验，以便于Rust开发者更好地使用原子操作实现高性能编程。
Speaker Intro: 王璞博士拥有多年云计算领域的经验，擅长分布式计算、海量数据处理、大规模机器学习。曾供职Google美国总部，负责Google广告部门海量数据处理平台开发。2014年回国创业，创立数人云，专注容器技术在国内的落地和推广。2018年，数人云被收购。2020年，创立达坦科技（DatenLord），致力打造新一代云原生存储平台，专注解决企业级客户在跨云、跨数据中心方面的异构存储、数据统一访问需求。 王璞拥有美国George Mason大学计算机博士学位，北大计算机专业硕士学位和北航力学专业学士学位。王璞发表数十篇论文，被引用累计上千次，并拥有多项云计算专利、软著。王璞于2020年评选为腾讯云TVP。
Rust作为新一代系统编程语言，提供了很多实现高性能编程的组件和功能。其中，原子操作是高性能编程里比较复杂的部分，本次演讲深入分析Rust的原子操作原理，并分享我们在Rust原子操作方面的实际经验，以便于Rust开发者更好地使用原子操作实现高性能编程。
12:00
13:20
Lunch Time 午餐时间
分论坛：Rust 语言与高性能实践
13:30
14:00
Learning by Contributing to Rust Compiler
Speaker: 陈于康
Speaker Intro: 秘猿先锋区块链工程师，Rust 语言贡献者。具有十多年编程和工作经验，之前工作经历包括 EDA 创业公司、DJI 大疆创新、微软。工作领域涉及 C/C++ 开发形式验证工具、互联网后台开发、安全建设和 Infra 相关开发。对编程语言和开源有强烈兴趣，多年来广泛参与多个开源项目: github.com/chenyukang.
我在一年里持续地对 Rust compiler 做了 100+ 贡献，并申请到了 Rust 基金会的开源项目赞助，成为 Rust contributors team 的一员。在这个主题中我会分享自己做开源项目的经验、一些 PR 背后的故事，以及我的收获和感受；最后推荐些好的学习资料和项目。
Speaker Intro: 秘猿先锋区块链工程师，Rust 语言贡献者。具有十多年编程和工作经验，之前工作经历包括 EDA 创业公司、DJI 大疆创新、微软。工作领域涉及 C/C++ 开发形式验证工具、互联网后台开发、安全建设和 Infra 相关开发。对编程语言和开源有强烈兴趣，多年来广泛参与多个开源项目: github.com/chenyukang.
我在一年里持续地对 Rust compiler 做了 100+ 贡献，并申请到了 Rust 基金会的开源项目赞助，成为 Rust contributors team 的一员。在这个主题中我会分享自己做开源项目的经验、一些 PR 背后的故事，以及我的收获和感受；最后推荐些好的学习资料和项目。
14:05
14:35
Rust HTTP 协议栈在终端通信场景的实践
Speaker: 胡凯
Speaker Intro: 现就职于华为，学习和使用 Rust 语言两年半，Rustacean 在华为，目前正在利用 Rust 开发 WEB 框架。
HTTP 协议作为一个广为人知的应用层通信协议，在终端场景得到极其广泛的运用。近年来，Rust 由于其高安全性、高性能以及高可维护性等特点，在通信场景上成效非常显著。本次分享将从终端场景的角度出发，探讨 Rust HTTP 协议栈在终端通信场景下的优劣势，分享 Ylong 在这一方面的探索和实践。
Speaker Intro: 现就职于华为，学习和使用 Rust 语言两年半，Rustacean 在华为，目前正在利用 Rust 开发 WEB 框架。
HTTP 协议作为一个广为人知的应用层通信协议，在终端场景得到极其广泛的运用。近年来，Rust 由于其高安全性、高性能以及高可维护性等特点，在通信场景上成效非常显著。本次分享将从终端场景的角度出发，探讨 Rust HTTP 协议栈在终端通信场景下的优劣势，分享 Ylong 在这一方面的探索和实践。
14:40
15:10
Rust 是否需要另一种“色彩”的 Future?
Speaker: 郭子兴
Speaker Intro: 字节跳动服务框架团队研发工程师
Rust 编译器将 async 块翻译成由标准库提供的 Future 类型，用户可以方便地通过自定义 Future 以实现非阻塞的 IO 或并发控制语义。异步执行器被允许在任意时刻删除生成的 Future 实例以取消正在执行的异步操作，但取消总是无副作用的吗？Rust 是否需要另一种“彩色”的 Future 为有副作用取消的异步行为提供安全保证?
Speaker Intro: 字节跳动服务框架团队研发工程师
Rust 编译器将 async 块翻译成由标准库提供的 Future 类型，用户可以方便地通过自定义 Future 以实现非阻塞的 IO 或并发控制语义。异步执行器被允许在任意时刻删除生成的 Future 实例以取消正在执行的异步操作，但取消总是无副作用的吗？Rust 是否需要另一种“彩色”的 Future 为有副作用取消的异步行为提供安全保证?
15:15
15:45
Rust 异步 Runtime 的兼容层
Speaker: 施继成
Speaker Intro: DatenLord 联合创始人兼 CTO，复旦大学软件工程本硕。擅长操作系统内核开发、分布式系统、嵌入式系统，对分布式数据一致性有钻深的研究，发表多篇操作系统内核相关论文，累计数百次引用。毕业后曾在谷歌中国、微软亚太和阿里巴巴等公司从事分布式计算和存储等相关工作。入选2022年度6氪S级创业者名册，荣获中国“企业工具与底层软件”领域 “36位36岁以下创业者“称号。
Rust 语言发展至今，异步运行时已经有许多选择，有像 Tokio 这种大而全的类型，也有像 smol 这种小而美的类型，选择哪一种 Runtime 成为了难题。同时 lib 的提供者往往为了兼容多种 runtime 付出了很多重复的努力。为了解决这些问题，我们将为大家提供一个 Runtime 的兼容层，能够方便大家切换使用的 Runtime，为 App 或者 Lib 开发者提供选择的能力。
Speaker Intro: DatenLord 联合创始人兼 CTO，复旦大学软件工程本硕。擅长操作系统内核开发、分布式系统、嵌入式系统，对分布式数据一致性有钻深的研究，发表多篇操作系统内核相关论文，累计数百次引用。毕业后曾在谷歌中国、微软亚太和阿里巴巴等公司从事分布式计算和存储等相关工作。入选2022年度6氪S级创业者名册，荣获中国“企业工具与底层软件”领域 “36位36岁以下创业者“称号。
Rust 语言发展至今，异步运行时已经有许多选择，有像 Tokio 这种大而全的类型，也有像 smol 这种小而美的类型，选择哪一种 Runtime 成为了难题。同时 lib 的提供者往往为了兼容多种 runtime 付出了很多重复的努力。为了解决这些问题，我们将为大家提供一个 Runtime 的兼容层，能够方便大家切换使用的 Runtime，为 App 或者 Lib 开发者提供选择的能力。
15:45
16:15
茶歇
16:20
16:50
RustBelt - Rust 的形式化语义模型
Speaker: 王俊吉
Speaker Intro: Rust语言爱好者，业余时间致力于Rust编译器贡献与形式化验证的研究。
围绕RustBelt论文，介绍Rust类型系统的所有权与借用语义的形式化定义。
Speaker Intro: Rust语言爱好者，业余时间致力于Rust编译器贡献与形式化验证的研究。
围绕RustBelt论文，介绍Rust类型系统的所有权与借用语义的形式化定义。
16:55
17:25
Await-Tree: Async Rust 可观测性的灵丹妙药
Speaker: 赵梓淇
Speaker Intro: RisingWave数据库内核开发工程师，本科毕业于上海交通大学，Rust语言爱好者。
Async Rust通过一套简明的无栈协程抽象，为开发者提供了灵活且高效的异步编程能力；但其多变的调度和执行模型，也使得并发编程问题的调试变得格外棘手。Await-Tree基于RisingWave分布式流式数据库对于Async Rust的深入实践，允许开发者实时地将Task的执行状态以树状结构导出，分析Task内部的异步调用链及Task间的依赖阻塞关系，以极低的运行时代价大幅提升系统的可观测性和可调试性。
Speaker Intro: RisingWave数据库内核开发工程师，本科毕业于上海交通大学，Rust语言爱好者。
Async Rust通过一套简明的无栈协程抽象，为开发者提供了灵活且高效的异步编程能力；但其多变的调度和执行模型，也使得并发编程问题的调试变得格外棘手。Await-Tree基于RisingWave分布式流式数据库对于Async Rust的深入实践，允许开发者实时地将Task的执行状态以树状结构导出，分析Task内部的异步调用链及Task间的依赖阻塞关系，以极低的运行时代价大幅提升系统的可观测性和可调试性。
分论坛：数据库与大数据专场
13:30
14:00
AtlasGraph：Rust语言构建的高性能分布式图数据库
Speaker: 沈游人
Speaker Intro: 清华大学计算机系高性能所博士，博士期间主要研究方向为系统安全，曾在ASPLOS上发表一作论文。博士期间主要工作是Occlum，一个支持高效多任务的SGX的库操作系统。Occlum在工业界有着广泛的应用，包括蚂蚁、阿里和微软Azure都作为内部可信计算的默认运行环境之一。目前主要研究兴趣包括分布式图数据库查询引擎和图原生存储引擎。
世间万物之间都存在着种种关系。图是表达关系最自然的一种形式。相比传统的数据分析，图具有更善于处理数据之间的关系、更容易可视化展示和更充分满足多种实际场景需要的优点。因此，最近越来越多的组织使用图对业务进行分析。海致星图联合清华大学郑纬民老师成立高性能图计算院士专家工作站，重点攻关和图有关的核心技术突破。高效企业级分布式图数据库要达到“信”、“达”、“雅”，即可靠性，高性能和易用性，AtlasGraph基于Rust语言，实现了高效的图数据的存储、查询以及稳定的分布式一致性协议，本次报告主要介绍面向企业级应用场景的AtalsGraph的构建方法。
Speaker Intro: 清华大学计算机系高性能所博士，博士期间主要研究方向为系统安全，曾在ASPLOS上发表一作论文。博士期间主要工作是Occlum，一个支持高效多任务的SGX的库操作系统。Occlum在工业界有着广泛的应用，包括蚂蚁、阿里和微软Azure都作为内部可信计算的默认运行环境之一。目前主要研究兴趣包括分布式图数据库查询引擎和图原生存储引擎。
世间万物之间都存在着种种关系。图是表达关系最自然的一种形式。相比传统的数据分析，图具有更善于处理数据之间的关系、更容易可视化展示和更充分满足多种实际场景需要的优点。因此，最近越来越多的组织使用图对业务进行分析。海致星图联合清华大学郑纬民老师成立高性能图计算院士专家工作站，重点攻关和图有关的核心技术突破。高效企业级分布式图数据库要达到“信”、“达”、“雅”，即可靠性，高性能和易用性，AtlasGraph基于Rust语言，实现了高效的图数据的存储、查询以及稳定的分布式一致性协议，本次报告主要介绍面向企业级应用场景的AtalsGraph的构建方法。
14:05
14:35
PromQL Got a Boost：用 Rust 重写 Prometheus 的查询引擎
Speaker: 夏锐航
Speaker Intro: GreptimeDB 核心研发工程师，喜欢 Rust、数据库和开源，Apache Arrow committer
分享 GreptimeDB 使用 Rust 重写 Prometheus 的查询引擎 PromQL 的经验。主要讨论两种实现从 Parser 到引擎部分的差异和选择实践，以及在实现过程中所使用的 Rust 现代底层内存与执行框架的思考。分享还将介绍 Prometheus 和 PromQL 的相关知识，并讨论 Rust 和 Go 在 云原生开发生态方面的对比，并阐述我们为什么选择 Rust 进行重新实现等。同时，还将分享具体的使用案例，展示 Rust 重写 PromQL 所带来的价值以及 Rust 语言在云原生开发中的应用潜力
Speaker Intro: GreptimeDB 核心研发工程师，喜欢 Rust、数据库和开源，Apache Arrow committer
分享 GreptimeDB 使用 Rust 重写 Prometheus 的查询引擎 PromQL 的经验。主要讨论两种实现从 Parser 到引擎部分的差异和选择实践，以及在实现过程中所使用的 Rust 现代底层内存与执行框架的思考。分享还将介绍 Prometheus 和 PromQL 的相关知识，并讨论 Rust 和 Go 在 云原生开发生态方面的对比，并阐述我们为什么选择 Rust 进行重新实现等。同时，还将分享具体的使用案例，展示 Rust 重写 PromQL 所带来的价值以及 Rust 语言在云原生开发中的应用潜力
14:40
15:10
CeresDB 的 Rust 生产实践
Speaker: 任春韶
Speaker Intro: CeresDB 核心开发者，蚂蚁集团技术专家，有多年时序数据库开发经验。
介绍 CeresDB 在使用 rust 构建时序数据库的过程中遇到的性能问题，分享下排查手段及调优经验。
Speaker Intro: CeresDB 核心开发者，蚂蚁集团技术专家，有多年时序数据库开发经验。
介绍 CeresDB 在使用 rust 构建时序数据库的过程中遇到的性能问题，分享下排查手段及调优经验。
15:15
15:45
🐣 用 egg 孵化你的 SQL 优化器
Speaker: 王润基
Speaker Intro: RisingWave Labs 数据库内核开发工程师，毕业于清华大学计算机系。曾在前两届 RustChinaConf 中介绍过 rCore 操作系统内核，MadFS 分布式文件系统，和 Madsim 分布式系统确定性模拟器。
egg 是一个 Rust 编写的程序优化器库。它基于 e-graph 和 equality saturation 技术，能够高效、灵活地构造自己的语言并对其进行优化。本次分享将带领大家基于 egg 实现年轻人的第一个 SQL 语言优化器。用 1000 行左右代码实现各种经典的优化规则，并对真实的 TPC-H 查询进行优化。
Speaker Intro: RisingWave Labs 数据库内核开发工程师，毕业于清华大学计算机系。曾在前两届 RustChinaConf 中介绍过 rCore 操作系统内核，MadFS 分布式文件系统，和 Madsim 分布式系统确定性模拟器。
egg 是一个 Rust 编写的程序优化器库。它基于 e-graph 和 equality saturation 技术，能够高效、灵活地构造自己的语言并对其进行优化。本次分享将带领大家基于 egg 实现年轻人的第一个 SQL 语言优化器。用 1000 行左右代码实现各种经典的优化规则，并对真实的 TPC-H 查询进行优化。
15:45
16:15
茶歇
16:20
16:50
CnosDB时序数据库的Rust实践
Speaker: 刘用涛
Speaker Intro: CnosDB 开发工程师, 新晋奶爸，基础软件搬砖工，大厂卷不动之后奋斗于专注时序数据库领域的CnosDB
CnosDB是使用Rust从零开始构建的开源分布式时序数据库。 这次演讲主要是分享介绍一下CnosDB的基础架构以及CnosDB有哪些新特性， 我们为什么从Go语言转型到Rust，以及在从零开始构建CnosDB的过程所踩过的坑与Rust使用经验分享， 最后我们在使用开源的过程中对社区的一些贡献。
Speaker Intro: CnosDB 开发工程师, 新晋奶爸，基础软件搬砖工，大厂卷不动之后奋斗于专注时序数据库领域的CnosDB
CnosDB是使用Rust从零开始构建的开源分布式时序数据库。 这次演讲主要是分享介绍一下CnosDB的基础架构以及CnosDB有哪些新特性， 我们为什么从Go语言转型到Rust，以及在从零开始构建CnosDB的过程所踩过的坑与Rust使用经验分享， 最后我们在使用开源的过程中对社区的一些贡献。
16:55
17:25
介绍 Apache Ballista
Speaker: 钟阳红
Speaker Intro: 一名在eBay云数据和存储部门的MTS软件工程师。我在OLAP领域工作了超过7年。现在我是Apache Arrow项目的提交者。我也是Apache Kylin项目的提交者和项目管理委员会成员。
Apache Ballista 是一个由 Rust 实现的 Apache Arrow 和 DataFusion 支持的分布式 SQL 查询引擎。与 Apache Spark 类似，它实现了一个分布式执行模型，支持基于 DAG 的任务调度和容错。它还支持不同工作节点之间的数据交换。关键的区别是，混洗数据是以 Arrow 格式存在的，可以通过使用 Flight 协议进行高效交换，实现零拷贝。Ballista 支持许多云对象存储，如 HDFS、S3、Azure。与 Snowflake 类似，为了加速查询性能，Ballista 也支持在本地磁盘上的数据缓存和缓存感知的任务调度。
Speaker Intro: 一名在eBay云数据和存储部门的MTS软件工程师。我在OLAP领域工作了超过7年。现在我是Apache Arrow项目的提交者。我也是Apache Kylin项目的提交者和项目管理委员会成员。
Apache Ballista 是一个由 Rust 实现的 Apache Arrow 和 DataFusion 支持的分布式 SQL 查询引擎。与 Apache Spark 类似，它实现了一个分布式执行模型，支持基于 DAG 的任务调度和容错。它还支持不同工作节点之间的数据交换。关键的区别是，混洗数据是以 Arrow 格式存在的，可以通过使用 Flight 协议进行高效交换，实现零拷贝。Ballista 支持许多云对象存储，如 HDFS、S3、Azure。与 Snowflake 类似，为了加速查询性能，Ballista 也支持在本地磁盘上的数据缓存和缓存感知的任务调度。
分论坛：Rust 教育与商业实践
13:30
14:00
Rust 在算法交易中的实际应用与积极效应
Speaker: 乔丹
Speaker Intro: 非凸科技首席架构师，毕业于北京大学，具备百度等互联网公司10年从业经验，专注于低延迟交易系统架构设计与开发，致力于提升系统的高并发、高可用能力。
本次演讲分享 Rust 在非凸算法交易服务中的全栈应用实践以及未来应用场景展望。
Speaker Intro: 非凸科技首席架构师，毕业于北京大学，具备百度等互联网公司10年从业经验，专注于低延迟交易系统架构设计与开发，致力于提升系统的高并发、高可用能力。
本次演讲分享 Rust 在非凸算法交易服务中的全栈应用实践以及未来应用场景展望。
14:05
14:35
Rust OS 开源操作系统训练营的教与学
Speaker: 李明
Speaker Intro: 清华大学计算机系硕士，2004年参与创立了国内最早的嵌入式Linux职业教育机构北京亚嵌教育，培养了6000余名嵌入式开发工程师。2022年开始创建了 os2edu.cn 开源操作系统社区平台和 rustedu.com 阿图教育网站，通过系统的课程培训了上千名 Rust 编程开发人才。
从2020年起清华大学开始尝试让学生用Rust语言来写操作系统，并面向全国高校开展Rust OS开源训练营教学。4年来形成了Rust语言编程，RISC-V体系架构，OS大实验，ArceOS组件化OS和Hypervisor虚拟化专题等一系列课程，为国内大规模培养用Rust写操作系统的人才积累了经验。
Speaker Intro: 清华大学计算机系硕士，2004年参与创立了国内最早的嵌入式Linux职业教育机构北京亚嵌教育，培养了6000余名嵌入式开发工程师。2022年开始创建了 os2edu.cn 开源操作系统社区平台和 rustedu.com 阿图教育网站，通过系统的课程培训了上千名 Rust 编程开发人才。
从2020年起清华大学开始尝试让学生用Rust语言来写操作系统，并面向全国高校开展Rust OS开源训练营教学。4年来形成了Rust语言编程，RISC-V体系架构，OS大实验，ArceOS组件化OS和Hypervisor虚拟化专题等一系列课程，为国内大规模培养用Rust写操作系统的人才积累了经验。
14:40
15:10
用Rust构建分布式账务系统
Speaker: 胡宇
Speaker Intro: 曾供职于摩根史丹利的算法交易部门和 eBay 的支付部门，在 Fintech 领域深耕多年， 积累了丰富的行业经验，目前在空中云汇从事金融基础架构系统的开发。作为在公司第一批使用 Rust 的人，深度参与和推动了 Rust 在业界领先的 Fintech 公司作为第二技术栈的落地实践，积 累了丰富的在 Fintech 领域使用和推广 Rust 的经验。
空中云汇是一家业界领先的跨境支付的独角兽，目前处于E2轮。空中云汇在两年前开始使用 Rust 从零开始开发了自己的高性能、高可靠、超低延时的分布式账务系统，并于近期开源。本次 分享将介绍该系统的顶层架构和设计考量，以及在Fintech公司中将Rust作为第二技术栈落地的 经验。
Speaker Intro: 曾供职于摩根史丹利的算法交易部门和 eBay 的支付部门，在 Fintech 领域深耕多年， 积累了丰富的行业经验，目前在空中云汇从事金融基础架构系统的开发。作为在公司第一批使用 Rust 的人，深度参与和推动了 Rust 在业界领先的 Fintech 公司作为第二技术栈的落地实践，积 累了丰富的在 Fintech 领域使用和推广 Rust 的经验。
空中云汇是一家业界领先的跨境支付的独角兽，目前处于E2轮。空中云汇在两年前开始使用 Rust 从零开始开发了自己的高性能、高可靠、超低延时的分布式账务系统，并于近期开源。本次 分享将介绍该系统的顶层架构和设计考量，以及在Fintech公司中将Rust作为第二技术栈落地的 经验。
15:15
15:45
Rust 与算法
Speaker: 谢波
Speaker Intro: 结算及大数据系统研发工程师，《数据结构与算法(Rust 语言描述)》作者。电子科技大学毕业，Rust 语言爱好者，现就职于某互联网公司，从事结算系统、大数据系统开发及维护工作。
分享一本前 GPT 时代完成的 Rust 算法书籍，包括写作动机、过程及感受。
Speaker Intro: 结算及大数据系统研发工程师，《数据结构与算法(Rust 语言描述)》作者。电子科技大学毕业，Rust 语言爱好者，现就职于某互联网公司，从事结算系统、大数据系统开发及维护工作。
分享一本前 GPT 时代完成的 Rust 算法书籍，包括写作动机、过程及感受。
15:45
16:15
茶歇
16:20
16:50
硬件创业公司的Rust应用和转型
Speaker: 陈昱衡
Speaker Intro: 鹿仔科技（重庆）有限公司创始人、研发总监，泛语言开发者，热衷于造轮子，喜欢尝试各种新SOC和框架。曾参与多个RISC-V SOC研发和一个RISC-V SOC流片工作。编写简化RISC-V SOC设计者设计流程的集成开发环境EveIDE
鹿仔科技（重庆）有限公司是一家专注于生命科学仪器研发的公司，目前正在探索将部分嵌入式和桌面端业务采用Rust代替C/C++。本次演讲将涵盖以下内容：1. 作为一个硬件创业公司，我们选择Rust的原因；2. 在嵌入式和桌面端领域尝试将C/C++替换为Rust的实践；3. 公司未来研发的锈化思路和构想。
Speaker Intro: 鹿仔科技（重庆）有限公司创始人、研发总监，泛语言开发者，热衷于造轮子，喜欢尝试各种新SOC和框架。曾参与多个RISC-V SOC研发和一个RISC-V SOC流片工作。编写简化RISC-V SOC设计者设计流程的集成开发环境EveIDE
鹿仔科技（重庆）有限公司是一家专注于生命科学仪器研发的公司，目前正在探索将部分嵌入式和桌面端业务采用Rust代替C/C++。本次演讲将涵盖以下内容：1. 作为一个硬件创业公司，我们选择Rust的原因；2. 在嵌入式和桌面端领域尝试将C/C++替换为Rust的实践；3. 公司未来研发的锈化思路和构想。
16:55
17:25
用 Rust 实现 LLM 应用
Speaker: 夏歌
Speaker Intro: DevRel at Second State ，RustChinaConf 组织者
LLM 和 ChatGPT 为当今的应用程序开发者提供了最重要的机会。 由于这些应用程序独特的安全性、性能和占用空间要求，它们也是 Rust 从“系统语言”演变为“应用程序语言”的关键。 在本次演讲中，我将讨论 Rust 社区为解决这些问题而提出的这些挑战、机遇和创新。
Speaker Intro: DevRel at Second State ，RustChinaConf 组织者
LLM 和 ChatGPT 为当今的应用程序开发者提供了最重要的机会。 由于这些应用程序独特的安全性、性能和占用空间要求，它们也是 Rust 从“系统语言”演变为“应用程序语言”的关键。 在本次演讲中，我将讨论 Rust 社区为解决这些问题而提出的这些挑战、机遇和创新。
18:00
21:00
Workshop 1: DFINITY - 区块链技术如何重塑下一代互联网
6 月 17 日晚18:00-21:00，DFINITY与TinTinLand联合举办「区块链技术如何重塑下一代互联网」主题活动，探讨 Web3 的未来发展方向，以及如何应用 Internet Computer 生态系统来构建去中心化应用。活动将邀请到多位 Web3 领域的专家和领袖，包括 DFINITY 亚太负责人Herbert、DFINITY 工程师陈研、Blocklike CEO Ginger、Dmail Network CEO James、Astrox 高级区块链工程师 Tyler、Mixlabs 研究人员 Pan 和 EMC 联合创始人 Zed 等。
18:00
20:30
Workshop 2: NEAR生态Rust技术见面会
介绍 NEAR 技术、生态和开发者社区等方面的最新进展，包括区块链操作系统（BOS）、Rust合约开发、NEAR DevHub 以及NEAR账户模型（以NameSky账户交易市场为例）等话题。Workshop 现场将于6点左右提供披萨、薯条等精美小吃和饮品。日程安排：
18:00 - 18:30 NEAR 区块链操作系统 (BOS) 介绍, Robert Yan, NEAR 工程师
18:30 - 19:00 入门 Rust 合约开发, Marco Sun, NEAR Rust 合约专家
19:00 - 19:30 NEAR DevHub 开源开发者社区，Bo Yao, Technical Team Lead @ NEAR DevHub Team
19:30 - 20:00 用 Rust 合约实现 NEAR 域名市场, Coffee, NEAR Rust 合约开发者
20:00 - 20:30 自由交流和讨论
18:00 - 18:30 NEAR 区块链操作系统 (BOS) 介绍, Robert Yan, NEAR 工程师
18:30 - 19:00 入门 Rust 合约开发, Marco Sun, NEAR Rust 合约专家
19:00 - 19:30 NEAR DevHub 开源开发者社区，Bo Yao, Technical Team Lead @ NEAR DevHub Team
19:30 - 20:00 用 Rust 合约实现 NEAR 域名市场, Coffee, NEAR Rust 合约开发者
20:00 - 20:30 自由交流和讨论
19:00
21:00
Workshop 3: 达坦 - Rust in System
Rust in System Workshop分为三个部分：
1. 赵佳炜，达坦科技分布式存储工程师，《如何用Rust写分布式系统》
2. 米明恒，DatenLord开源社区爱好者，《30分钟体验Rust for Linux内核模块开发》
3. 魏星达，上海交通大学软件学院助理教授，Building microsecond-scale system with modern networking in Rust
1. 赵佳炜，达坦科技分布式存储工程师，《如何用Rust写分布式系统》
2. 米明恒，DatenLord开源社区爱好者，《30分钟体验Rust for Linux内核模块开发》
3. 魏星达，上海交通大学软件学院助理教授，Building microsecond-scale system with modern networking in Rust
18:30
21:00
Workshop 4: DataverseOS: DID驱动的数据主权操作系统
本场Workshop会介绍去中心化数字身份（DID）和去中心化数据在Web3的作用和意义，邀请大家共同畅想新一代互联网。技术内容涵盖：数据存储、账户抽象、身份认证和访问控制等方面的技术演变，探索DID为中心的数据主权空间和Web3操作系统的技术路径，并优化社交、内容、AI等用户应用。议程：
1. DataverseOS：自主权身份数据操作系统 —— Qibing Li, CEO @DataverseOS
2. 从应用角度来看数据与网络基础设施 — Alex Tian, Researcher @ChainFeeds
3. Open Data Application 与 Open Web —— Mike Tang, Founder @EightFish @RustCC
4. EIP-4361和EIP-5573标准全解析 —— Hedong Liu, Core @DataverseOS
5. 身份数据存储应用从0到1 —— Xiangyu Fu, COO @DataverseOS
1. DataverseOS：自主权身份数据操作系统 —— Qibing Li, CEO @DataverseOS
2. 从应用角度来看数据与网络基础设施 — Alex Tian, Researcher @ChainFeeds
3. Open Data Application 与 Open Web —— Mike Tang, Founder @EightFish @RustCC
4. EIP-4361和EIP-5573标准全解析 —— Hedong Liu, Core @DataverseOS
5. 身份数据存储应用从0到1 —— Xiangyu Fu, COO @DataverseOS
Day 2: June 18, 2023 +08:00
08:00
09:15
Check In 签到
主会场
09:30
10:00
如何在 WasmEdge 中实现异步执行 WebAssembly
Speaker: 陈思衡
Speaker Intro: WasmEdge开发者。
现在许多 Rust 服务都会使用诸如 tokio 的异步框架来提高服务的性能，但在使用 wasm 时，wasm 本身可能调用阻塞函数，导致 tokio 的工作线程阻塞，引起服务性能下降。本次演讲将会介绍我们如何在 WasmEdge 中实现异步运行 wasm 的功能。
Speaker Intro: WasmEdge开发者。
现在许多 Rust 服务都会使用诸如 tokio 的异步框架来提高服务的性能，但在使用 wasm 时，wasm 本身可能调用阻塞函数，导致 tokio 的工作线程阻塞，引起服务性能下降。本次演讲将会介绍我们如何在 WasmEdge 中实现异步运行 wasm 的功能。
10:05
10:35
使用硬件加速Tokio
Speaker: 戴翔
Speaker Intro: Intel云原生工程师，微软MVP，从事云原生行业多年，曾全程参与微服务拆分、开发与治理，对微服务领域的上下游需求都有接触。 深耕开源，对多个云原生项目有大量贡献，对开源社区的贡献与维护治理有独到理解，目前是Dapr、Thanos、Golangci-lint的Maintainer。 现在主要专注于服务网格领域，探索云原生软硬件结合新范式。
Tokio是Rust流行的调度框架，本次演讲将介绍Tokio调度原理及其实现，并提供用硬件加速调度的设计与实现，展现软硬件结合的优势。
Speaker Intro: Intel云原生工程师，微软MVP，从事云原生行业多年，曾全程参与微服务拆分、开发与治理，对微服务领域的上下游需求都有接触。 深耕开源，对多个云原生项目有大量贡献，对开源社区的贡献与维护治理有独到理解，目前是Dapr、Thanos、Golangci-lint的Maintainer。 现在主要专注于服务网格领域，探索云原生软硬件结合新范式。
Tokio是Rust流行的调度框架，本次演讲将介绍Tokio调度原理及其实现，并提供用硬件加速调度的设计与实现，展现软硬件结合的优势。
10:40
11:10
Rust在物理引擎研发中的应用
Speaker: 崔汉青
Speaker Intro: Motphys创始人，10年以上游戏引擎开发、技术团队管理和游戏制作人经验。前微软晋升最快的技术主管。武汉大学计算机本科，武汉大学首枚ACM区域赛金牌，多次代表武汉大学参加ACM世界总决赛。清华大学MBA在读。
Motphys是一个Rust打造的动作物理引擎。此次演讲主要介绍物理引擎部分。Motphys的物理引擎部分和传统物理引擎的主要差异是实现了跨端确定性、分布式计算。Rust在研发过程中起到了巨大作用。
Speaker Intro: Motphys创始人，10年以上游戏引擎开发、技术团队管理和游戏制作人经验。前微软晋升最快的技术主管。武汉大学计算机本科，武汉大学首枚ACM区域赛金牌，多次代表武汉大学参加ACM世界总决赛。清华大学MBA在读。
Motphys是一个Rust打造的动作物理引擎。此次演讲主要介绍物理引擎部分。Motphys的物理引擎部分和传统物理引擎的主要差异是实现了跨端确定性、分布式计算。Rust在研发过程中起到了巨大作用。
11:15
11:45
使用Rust和ClickHouse构建高效可靠的日志系统
Speaker: 刘炜
Speaker Intro: 曾经做过CDN以及数据库开发。现在在腾讯云负责专有云日志系统的开发工作。
我将与大家分享如何利用Rust和ClickHouse构建腾讯专有云PaaS平台 (Tencent Cloud-native Suite，简称 Tencent TCS）的日志系统的经验。在这个分享中，我将深入探讨日志系统的整体架构，重点解析我们如何利用Rust和ClickHouse打造出一个高效可靠的日志系统。此外，我还会分享在使用Rust进行开发过程中遭遇的问题。
Speaker Intro: 曾经做过CDN以及数据库开发。现在在腾讯云负责专有云日志系统的开发工作。
我将与大家分享如何利用Rust和ClickHouse构建腾讯专有云PaaS平台 (Tencent Cloud-native Suite，简称 Tencent TCS）的日志系统的经验。在这个分享中，我将深入探讨日志系统的整体架构，重点解析我们如何利用Rust和ClickHouse打造出一个高效可靠的日志系统。此外，我还会分享在使用Rust进行开发过程中遭遇的问题。
12:00
13:20
Lunch Time 午餐时间
分论坛：嵌入式与操作系统、云原生
13:30
14:00
组件化驱动、ROM运行环境与RustSBI
Speaker: 洛佳
Speaker Intro: 华中科技大学网络空间安全学院研一学生，导师：周威老师。我的研究方向主要是物联网安全和系统安全。目前我是RustSBI项目的维护者，乐于尝试新技术，热爱开源，致力于向科研、教学等领域推广Rust编程语言。
RustSBI是广泛使用的RISC-V平台固件和引导程序。2023年的RustSBI吸收了两年开发历程来的经验和教训，正朝向RustSBI+UEFI和RustSBI+LinuxBoot的综合解决方案推进开发历程。组件化驱动是RustSBI相应rCore团队组件化操作系统的倡议设计的一系列驱动程序，具有动静态基地址结合、灵活与高效兼具的特点，一次编写就能同时运用于操作系统、嵌入式和引导程序生态中。ROM运行环境可运行在多核、异构物联网芯片上，提供芯片镜像头生成的解决方案，令用户无需关心芯片设计细节，就能轻松设计裸机程序，专注编写业务代码。有了组件化驱动和ROM运行环境，RustSBI的设计将轻松高效；本次演讲还将发布RustSBI原型设计系统和RustSBI的最新版本。
Speaker Intro: 华中科技大学网络空间安全学院研一学生，导师：周威老师。我的研究方向主要是物联网安全和系统安全。目前我是RustSBI项目的维护者，乐于尝试新技术，热爱开源，致力于向科研、教学等领域推广Rust编程语言。
RustSBI是广泛使用的RISC-V平台固件和引导程序。2023年的RustSBI吸收了两年开发历程来的经验和教训，正朝向RustSBI+UEFI和RustSBI+LinuxBoot的综合解决方案推进开发历程。组件化驱动是RustSBI相应rCore团队组件化操作系统的倡议设计的一系列驱动程序，具有动静态基地址结合、灵活与高效兼具的特点，一次编写就能同时运用于操作系统、嵌入式和引导程序生态中。ROM运行环境可运行在多核、异构物联网芯片上，提供芯片镜像头生成的解决方案，令用户无需关心芯片设计细节，就能轻松设计裸机程序，专注编写业务代码。有了组件化驱动和ROM运行环境，RustSBI的设计将轻松高效；本次演讲还将发布RustSBI原型设计系统和RustSBI的最新版本。
14:05
14:35
使用 Arrow Flight 构建 TDengine 物联网时序数据传输工具
Speaker: 霍琳贺
Speaker Intro: 涛思数据应用开发组。Rust 开源爱好者（ooxml/xlsx2csv/unqlite/taos 等 Crates 作者），现在涛思数据研发部任应用开发组组长，负责涛思数据时序数据库 TDengine 备份恢复工具和数据源接入工具 taosX 及相关可视化工具开发。
介绍涛思数据开源高性能时序数据 TDenige 及使用 Rust 构建中心化物联网和时序数据传输转换工具 taosX 的应用经验。taosX 使用 Tokio 异步编程框架，基于 Arrow IPC 和 Arrow Flight + Tonic 构建中心化的物联网和时序数据转换和存储工具，支持接入 CSV/Parquet 和 TDengine 私有二进制文件，OPC UA/DA / MQTT 等数据协议，Kafka 、InfluxDB 等传统消息队列或时序库，PI 等工业数据采集系统。
Speaker Intro: 涛思数据应用开发组。Rust 开源爱好者（ooxml/xlsx2csv/unqlite/taos 等 Crates 作者），现在涛思数据研发部任应用开发组组长，负责涛思数据时序数据库 TDengine 备份恢复工具和数据源接入工具 taosX 及相关可视化工具开发。
介绍涛思数据开源高性能时序数据 TDenige 及使用 Rust 构建中心化物联网和时序数据传输转换工具 taosX 的应用经验。taosX 使用 Tokio 异步编程框架，基于 Arrow IPC 和 Arrow Flight + Tonic 构建中心化的物联网和时序数据转换和存储工具，支持接入 CSV/Parquet 和 TDengine 私有二进制文件，OPC UA/DA / MQTT 等数据协议，Kafka 、InfluxDB 等传统消息队列或时序库，PI 等工业数据采集系统。
14:40
15:10
使用 Rust 从零开始构建 Linux 发行版
Speaker: 贾晓宇
Speaker Intro: 温州大学网络工程专业学生 Rust爱好者
本次演讲将探讨如何使用 Rust 和 LFS（Linux From Scratch）从头开始构建新的 Linux 发行版。演讲将包括构建支持Rust的Linux内核，以及增加使用Rust为操作系统开发的软件。演讲还将介绍使用LFS 的好处，它允许高度可定制和轻量级的Linux 发行版。与会者将对 Rust 编程语言和 LFS 功能以及如何使用它们从头开始构建新的 Linux 发行版有更深入的了解。
Speaker Intro: 温州大学网络工程专业学生 Rust爱好者
本次演讲将探讨如何使用 Rust 和 LFS（Linux From Scratch）从头开始构建新的 Linux 发行版。演讲将包括构建支持Rust的Linux内核，以及增加使用Rust为操作系统开发的软件。演讲还将介绍使用LFS 的好处，它允许高度可定制和轻量级的Linux 发行版。与会者将对 Rust 编程语言和 LFS 功能以及如何使用它们从头开始构建新的 Linux 发行版有更深入的了解。
15:15
15:45
KCL: Rust 在编译器领域的实践与探索
Speaker: 张正
Speaker Intro: 工作于蚂蚁集团云原生工程化系统团队，KusionStack项目成员。主要负责KCL语言编译器、工具开发工作。
Rust作为一门新兴的底层系统语言，在内存安全、性能、社区生态等方面有着诸多优势。我们使用Rust，重写了了DSL语言：KCL 的编译器及相关工具。在本次分享，我们将介绍使用Rust重写 KCL 编译器的动机、过程中遇到的问题和重写后的收益，以及我们使用Rust在编译器领域的一些额外的探索和积累。希望能给听众提供一些帮助。
Speaker Intro: 工作于蚂蚁集团云原生工程化系统团队，KusionStack项目成员。主要负责KCL语言编译器、工具开发工作。
Rust作为一门新兴的底层系统语言，在内存安全、性能、社区生态等方面有着诸多优势。我们使用Rust，重写了了DSL语言：KCL 的编译器及相关工具。在本次分享，我们将介绍使用Rust重写 KCL 编译器的动机、过程中遇到的问题和重写后的收益，以及我们使用Rust在编译器领域的一些额外的探索和积累。希望能给听众提供一些帮助。
15:45
16:15
茶歇
16:20
16:50
使用 Apache Arrow, Parquet, Datafusion 打造一个轻量级的日志和 tracing 工具
Speaker: 朱霜
Speaker Intro: Rust Search Extension 和 Rust Magazine 作者，Github: https://github.com/folyd
简单分享一下我做的一个轻量级 Rust 日志和 tracing 收集工具 duo，技术栈类似于 tokio-console，但是 duo 具有持久化存储能力，使用 Apache Arrow, Parquet 和 Datafusion 做存储和查询。
Speaker Intro: Rust Search Extension 和 Rust Magazine 作者，Github: https://github.com/folyd
简单分享一下我做的一个轻量级 Rust 日志和 tracing 收集工具 duo，技术栈类似于 tokio-console，但是 duo 具有持久化存储能力，使用 Apache Arrow, Parquet 和 Datafusion 做存储和查询。
16:55
17:25
Sparrow项目初探
Speaker: 李枫
Speaker Intro: 先后就职于摩托罗拉, 三星等IT公司, 现为独立开发者。在移动平台上积累了十年以上的研发经验, 近几年主要专注于云计算/边缘计算基础设施（包括AI, Virtualization, Program Runtime, Network, 5G, RISC-V, EDA等软硬件领域）。 是《灰帽黑客 第4版：正义黑客的道德规范、渗透测试、攻击方法和漏洞分析技术》（ISBN：9787302428671） 和《恶意网络环境下的Linux防御之道 》（ISBN: 9787115544384）中文版的主要译者。 对技术创新具有浓厚的兴趣和实践能力，热心参与开源社区的各种活动，多次参加各类IT会议。 过往各种技术分享（皆为第一作者）的链接如下： https://github.com/XianBeiTuoBaFeng2015/MySlides
Sparrow项目是一个面向Ambient机器学习应用程序的新兴开源安全平台，其目标平台利用RISC-V和OpenTitan以及一个几乎完全用Rust编写的运行在seL4之上的KataOS(自主开发的操作系统)，意图将安全微内核seL4、"最安全的编程语言"Rust、开源安全芯片项目OpenTitan、风头正劲的RISC-V和人工智能等技术领域结合在一起，是极富创造性的软硬件协同的安全系统设计与实现的典范。 由于Sparrow项目刚推出不久，正在发展之中，本议题将主要包括Sparrow项目设计和实现的初步探索与实践。
Speaker Intro: 先后就职于摩托罗拉, 三星等IT公司, 现为独立开发者。在移动平台上积累了十年以上的研发经验, 近几年主要专注于云计算/边缘计算基础设施（包括AI, Virtualization, Program Runtime, Network, 5G, RISC-V, EDA等软硬件领域）。 是《灰帽黑客 第4版：正义黑客的道德规范、渗透测试、攻击方法和漏洞分析技术》（ISBN：9787302428671） 和《恶意网络环境下的Linux防御之道 》（ISBN: 9787115544384）中文版的主要译者。 对技术创新具有浓厚的兴趣和实践能力，热心参与开源社区的各种活动，多次参加各类IT会议。 过往各种技术分享（皆为第一作者）的链接如下： https://github.com/XianBeiTuoBaFeng2015/MySlides
Sparrow项目是一个面向Ambient机器学习应用程序的新兴开源安全平台，其目标平台利用RISC-V和OpenTitan以及一个几乎完全用Rust编写的运行在seL4之上的KataOS(自主开发的操作系统)，意图将安全微内核seL4、"最安全的编程语言"Rust、开源安全芯片项目OpenTitan、风头正劲的RISC-V和人工智能等技术领域结合在一起，是极富创造性的软硬件协同的安全系统设计与实现的典范。 由于Sparrow项目刚推出不久，正在发展之中，本议题将主要包括Sparrow项目设计和实现的初步探索与实践。
分论坛：Rust 与区块链、密码学和安全
13:30
14:00
在Solana合约链实现 IBC 协议跨链互操作
Speaker: 苏胤榕
Speaker Intro: 区块链开发者 ，solana 爱好者，ibc协议贡献者 ，Rust开发者。目前主要研究ibc跨链协议技术 ，此前在章鱼网络已经实现过substrate-ibc，并且实现了两个substrate链直通过ibc跨链互转的poc验证。
探讨ibc协议在非cosmos sdk链（rust合约链）实现方式，以solana链为例介绍。
Speaker Intro: 区块链开发者 ，solana 爱好者，ibc协议贡献者 ，Rust开发者。目前主要研究ibc跨链协议技术 ，此前在章鱼网络已经实现过substrate-ibc，并且实现了两个substrate链直通过ibc跨链互转的poc验证。
探讨ibc协议在非cosmos sdk链（rust合约链）实现方式，以solana链为例介绍。
14:05
14:35
简谈 Rust 与国密 TLS
Speaker: 王江桐
Speaker Intro: 就职于华为，目前正在使用 Rust 开发密码相关模块。Rustacean 在华为。
为了确保国家信息安全，国家密码管理局定义了类 SSL 传输层密码协议，即国密版类 SSL 协议，用于保护非国家机密信息。这类协议也被简称为国密 TLS，当前已于金融、商业等各场景中应用。本次分享将简要介绍国密 TLS 涉及的协议与规范，它们的应用情况，Rust 生态中国密 TLS 支持的现状，并结合 Rust 在密码算法上的开发优势和经验，分享华为 Ylong 在这一方面的探索与实践。
Speaker Intro: 就职于华为，目前正在使用 Rust 开发密码相关模块。Rustacean 在华为。
为了确保国家信息安全，国家密码管理局定义了类 SSL 传输层密码协议，即国密版类 SSL 协议，用于保护非国家机密信息。这类协议也被简称为国密 TLS，当前已于金融、商业等各场景中应用。本次分享将简要介绍国密 TLS 涉及的协议与规范，它们的应用情况，Rust 生态中国密 TLS 支持的现状，并结合 Rust 在密码算法上的开发优势和经验，分享华为 Ylong 在这一方面的探索与实践。
14:40
15:10
Axon 应用链框架的 Rust 开发实践
Speaker: 文愿
Speaker Intro: 秘猿先锋区块链工程师。几年前，出于对比特币、去中心化、web3的兴趣，了解到区块链技术。然后在进行web3开发的过程中，接触到rust语言，进而被其安全、高效的特性所吸引。随后开始了Rust 的学习、使用之路。希望能借助本次大会，与区块链和其他行业的开发者，交流 Rust 的实践经验，提高自身水平。
Axon 是使用 Rust 开发的 Ethereum 兼容的 Appchain （application-specific blockchain）框架。Axon 具备通用的抽象性和良好的开发体验，这得益于 Rust 语言强大的能力和丰富的生态组件。在一年多的开发实践中，Axon 团队也总结出了一套适合 Rust 大型项目抽象的设计模式，基于过程宏的运维工具开发范式和区块链间互操作的实现，希望通过本次演讲将这些经验与大家分享。
Speaker Intro: 秘猿先锋区块链工程师。几年前，出于对比特币、去中心化、web3的兴趣，了解到区块链技术。然后在进行web3开发的过程中，接触到rust语言，进而被其安全、高效的特性所吸引。随后开始了Rust 的学习、使用之路。希望能借助本次大会，与区块链和其他行业的开发者，交流 Rust 的实践经验，提高自身水平。
Axon 是使用 Rust 开发的 Ethereum 兼容的 Appchain （application-specific blockchain）框架。Axon 具备通用的抽象性和良好的开发体验，这得益于 Rust 语言强大的能力和丰富的生态组件。在一年多的开发实践中，Axon 团队也总结出了一套适合 Rust 大型项目抽象的设计模式，基于过程宏的运维工具开发范式和区块链间互操作的实现，希望通过本次演讲将这些经验与大家分享。
15:15
15:45
使用Rust构建去中心化开放数据应用服务
Speaker: 唐刚
Speaker Intro: Open Data研究员及EightFish创始人，Rust语言中文社区的主要维护者之一。从14年以来持续致力于Rust语言的推广工作，从18年开始，关注区块链及去中心化应用。在学习技术实现的同时，做了大量的理论研究。于2022年底提出了开放数据应用理论，使用Rust为武器，倡导开放数据应用的推广和实践。我们的口号是Make Internet Open Again。
EightFish是我们团队使用Rust语言实现的面向开放数据应用(Open Data Application)的开发框架，它让广大程序员用一种在互联网时代熟悉的Web服务开发风格来开发开放数据应用。开放数据应用是去中心化应用的一种，专注于解决数据的封闭性问题。开放数据应用也是未来AI数据来源平等性的保障。
Speaker Intro: Open Data研究员及EightFish创始人，Rust语言中文社区的主要维护者之一。从14年以来持续致力于Rust语言的推广工作，从18年开始，关注区块链及去中心化应用。在学习技术实现的同时，做了大量的理论研究。于2022年底提出了开放数据应用理论，使用Rust为武器，倡导开放数据应用的推广和实践。我们的口号是Make Internet Open Again。
EightFish是我们团队使用Rust语言实现的面向开放数据应用(Open Data Application)的开发框架，它让广大程序员用一种在互联网时代熟悉的Web服务开发风格来开发开放数据应用。开放数据应用是去中心化应用的一种，专注于解决数据的封闭性问题。开放数据应用也是未来AI数据来源平等性的保障。
15:45
16:15
茶歇
16:20
16:50
Rustle: the First Automatic Static Analyzer for Smart Contracts in Rust
Speaker: Matthew Jiang
Speaker Intro: 香港理工大学博士，主要研究方向为计算机安全。他曾在学术界顶级的安全会议及系统会议（如CCS，ASPLOS）上以第一作者身份发表文章，并曾受邀在工业界一线安全会议Blackhat上发表主旨演讲。目前他在区块链安全公司BlockSec担任安全服务总监，带领团队完成合约审计和攻击事件应急响应上百余例，具备丰富的理论知识基础和实战经验。
本议题将介绍区块链安全公司BlockSec开发的开源智能合约静态代码分析工具「Rustle」。Rustle是第一个针对Rust语言编写的智能合约静态代码分析工具，具备可拓展性、跨平台性、高性能等特点。目前已经支持NEAR链的几十种不同类型的漏洞扫描和检测，同时还将陆续支持其他的以Rust为主要编程语言的生态，如Solana、CosmWasm等。
Speaker Intro: 香港理工大学博士，主要研究方向为计算机安全。他曾在学术界顶级的安全会议及系统会议（如CCS，ASPLOS）上以第一作者身份发表文章，并曾受邀在工业界一线安全会议Blackhat上发表主旨演讲。目前他在区块链安全公司BlockSec担任安全服务总监，带领团队完成合约审计和攻击事件应急响应上百余例，具备丰富的理论知识基础和实战经验。
本议题将介绍区块链安全公司BlockSec开发的开源智能合约静态代码分析工具「Rustle」。Rustle是第一个针对Rust语言编写的智能合约静态代码分析工具，具备可拓展性、跨平台性、高性能等特点。目前已经支持NEAR链的几十种不同类型的漏洞扫描和检测，同时还将陆续支持其他的以Rust为主要编程语言的生态，如Solana、CosmWasm等。
分论坛：Rust与跨平台
13:30
14:00
利用Rust重塑移动应用开发
Speaker: 陈东(Aaron Chen)
Speaker Intro: Keystone CTO，BIP-129 合著者，目前专注于区块链应用与开发领域。在过去的10多年中，他曾供职于IBM、ThoughtWorks等公司，积累了丰富的软件开发与管理经验。他擅长于大前端开发、移动应用开发和跨平台开发，对于多种编程语言和开发框架，如React、React Native、Flutter、Javascript、Rust等都有深入研究。他曾带领多个团队成功完成了各种项目，并赢得了一定的认可和赞誉。 自创立Keystone以来，他和他的团队一起将Keystone打造成具有全球影响力的硬件钱包制造商。同时作为Rust的爱好者，他在团队中推动Rust的应用和落地，将Rust应用在Keystone移动端开发，嵌入式系统开发等等方面。在他的带领下，Keystone团队也将Rust作为其未来的重要技术方向之一，为用户提供更安全、友好的软硬件产品。
在移动应用开发领域，跨平台开发由于可以大大提高开发效率并降低维护成本，一直是备受关注的话题。从React Native到Flutter，跨平台开发方案一直是工业界努力的方向。但毫无疑问，Native开发仍然是移动应用开发的首选路径，因为它可以提供最佳的用户体验。然而，为了兼顾开发效率和用户体验，我们需要探索更多的可能性。Rust的出现为我们提供了一种新的方式。Keystone开发团队采用Rust重构了自己的业务逻辑，并通过FFI分别引入到iOS和Android中，取得了非常好的效果。本次演讲将分享我们在这个方向上的经验和尝试，希望能为大家提供一些新的思路和启示。
Speaker Intro: Keystone CTO，BIP-129 合著者，目前专注于区块链应用与开发领域。在过去的10多年中，他曾供职于IBM、ThoughtWorks等公司，积累了丰富的软件开发与管理经验。他擅长于大前端开发、移动应用开发和跨平台开发，对于多种编程语言和开发框架，如React、React Native、Flutter、Javascript、Rust等都有深入研究。他曾带领多个团队成功完成了各种项目，并赢得了一定的认可和赞誉。 自创立Keystone以来，他和他的团队一起将Keystone打造成具有全球影响力的硬件钱包制造商。同时作为Rust的爱好者，他在团队中推动Rust的应用和落地，将Rust应用在Keystone移动端开发，嵌入式系统开发等等方面。在他的带领下，Keystone团队也将Rust作为其未来的重要技术方向之一，为用户提供更安全、友好的软硬件产品。
在移动应用开发领域，跨平台开发由于可以大大提高开发效率并降低维护成本，一直是备受关注的话题。从React Native到Flutter，跨平台开发方案一直是工业界努力的方向。但毫无疑问，Native开发仍然是移动应用开发的首选路径，因为它可以提供最佳的用户体验。然而，为了兼顾开发效率和用户体验，我们需要探索更多的可能性。Rust的出现为我们提供了一种新的方式。Keystone开发团队采用Rust重构了自己的业务逻辑，并通过FFI分别引入到iOS和Android中，取得了非常好的效果。本次演讲将分享我们在这个方向上的经验和尝试，希望能为大家提供一些新的思路和启示。
14:05
14:35
应用WAPC做软件测试工具
Speaker: 潘泳权
Speaker Intro: rust爱好者。有四年的软件测试经验的工程师
Wasm 如何支持多种编程语言的模拟数据逻辑 (MITM))
Speaker Intro: rust爱好者。有四年的软件测试经验的工程师
Wasm 如何支持多种编程语言的模拟数据逻辑 (MITM))
14:40
15:10
运行在浏览器中的P2P网络
Speaker: 李敏成
Speaker Intro: 后端工程师，现就职于 RingsNetwork，老 Python 转 Rust，主要负责计算机网络相关的工作。
结合 WebRTC 与 Rust WebAssembly 开发能力，实现一种可以使用浏览器作为节点的P2P网络。
Speaker Intro: 后端工程师，现就职于 RingsNetwork，老 Python 转 Rust，主要负责计算机网络相关的工作。
结合 WebRTC 与 Rust WebAssembly 开发能力，实现一种可以使用浏览器作为节点的P2P网络。
15:15
15:45
基于 Rust 构建 Amphitheatre CLI/Desktop/Server 的全平台实践经验
Speaker: 王宜国
Speaker Intro: 十多年互联网技术研发与管理经验，独立开源软件 Amphitheatre 作者
完全基于 Rust 构建 Amphitheatre 全平台软件，包括 CLI 终端、客户端软件和 Kubernetes Operator 等，内容涵盖 Crate 模块复用，CI/CD、构建编译，开源、可观测以及 Amphitheatre 项目介绍等
Speaker Intro: 十多年互联网技术研发与管理经验，独立开源软件 Amphitheatre 作者
完全基于 Rust 构建 Amphitheatre 全平台软件，包括 CLI 终端、客户端软件和 Kubernetes Operator 等，内容涵盖 Crate 模块复用，CI/CD、构建编译，开源、可观测以及 Amphitheatre 项目介绍等
15:45
16:15
茶歇