第三届中国Rust开发者大会 组件化驱动、ROM运行环境与RustSBI 洛佳 华中科技大学 网络空间安全学院 2023年6月 本次演讲…… 关于我…… • 笔名洛佳 • 华中科技大学网络空间安全学院研一 在读（导师：周威老师） • 研究方向：物联网安全、系统安全 • 热爱开源，乐于尝试新技术 • RustSBI项目维护者 • 致力于向科研、教学和产业界推广 Rust语言 结而成的新一代驱动开发方法。动、静态 基地址结合，高灵活性；一次开发，同时 复用于嵌入式、固件和内核中。 # 组件化驱动 合理利用嵌入式、桌面和服务器芯片片内 ROM代码，构造零开销的运行环境。进一 步地，可完成安全引导、安全镜像分发和 通常的嵌入式开发等功能。 # ROM运行环境 # 2023年的RustSBI 作为RISC-V SBI固件的RustSBI，2023年 将与UEFI、LinuxBoot擦出火花。在驱 动 可 复 用 。对 接 业 界 及 开 源 成 熟 标 准 ，新 芯 片 系 统 开 箱 即 用 ，与 成 熟 组 件 自 由 组 合 。 高 可 复 用 、 生 态 融 合 动 、静 态 基 地 址 结 合 ，零 开 销 抽 象 。只 开 发 一 次 ，同 时 运 用 于 嵌 入 式 、固 件 和 操 作 系 统 生 态 中 。 轻 松 构 造 测 试 框 架 ，快 速 验 证 组 件 。

在(?, ?)内可导且?′(?)，?′(?)均存在，且?′(?) ≠ 0 则在(?, ?)内存在一个?，使 ?(?)−?(?) ?(?)−?(?) = ?′(?) ?′(?) 10.洛必达法则 法则Ⅰ( ? ?型不定式极限) 设函数?(?), ?(?)满足条件： lim ?→?0 ?(?) = 0, lim ?→?0 ?(?) = 0; ?(?),?(?)在?0的邻域内可导 ? , ⋯ , ?? = ?? ? ，其中??是把?中第?列元素换成方程组右端 的常数列所得的行列式。 2. ?阶矩阵?可逆⇔ ?? = 0只有零解。⇔ ∀?, ?? = ?总有唯一解，一般地，?(??×?) = ? ⇔ ?? = 0只有零解。 3.非奇次线性方程组有解的充分必要条件，线性方程组解的性质和解的结构 (1) 设?为? × ?矩阵，若?(??×?) = ?，则对? (⬝),?(⬝)分别表示对相应事件做任意事件运算后所得的事件，另外，概率为 1 （或 0）的事件与任何事件相互独立. 随机变量及其概率分布 1.随机变量及概率分布 取值带有随机性的变量，严格地说是定义在样本空间上，取值于实数的函数称为随机变 量，概率分布通常指分布函数或分布律 2.分布函数的概念与性质 定义： ?(?) = ?(? ≤ ?), −∞ < ? < +∞ 性质：(1)0

2009 • 中本聪发表了比特币的创世论文 《比特币: 一种点对点的电子现 金系统》，标志着区块链作为一 项完整的集成创新技术正式诞生 • 比特币诞生，是世界上首个区 块链应用系统。发展至今有力 地证明了区块链技术的创新性、 颠覆性和顽强的生存能力 中本聪 比特币Bitcoin 2013 • 以太坊发布以太坊白皮书， 引入智能合约，推出首个 图灵完备的区块链平台， 进入区块链2.0时代 以太坊Ethereum ©2016-2021 36 趣链科技 版权所有 ©2016-2021 36 混合云 物理机 密码机密码卡 IoT终端 基础设施层 应用生态层 经济金融 民生服务 智慧政务 社会治理 智慧城市 ··· 能源电力 飞洛 BaaS 密钥管理 业务数据可视化 智能合约研发 联盟组织管理 节点管理 合约安全审计 日志分析与告警 统一身份认证 专有联盟链 监控运维 应用研发 司法存证链 通用链 数字身份链

美丽而又心灵手巧的姑娘，迈着纤纤细步款款而来，她挥舞剪刀，尽情地展示 那高超的女工技巧，她先裁出了柳叶，随着柳条袅袅依依地舞蹈，又裁出杏 叶，桃叶。 该翻译所对应的古诗文是： OPTIONS - 春风骋巧如翦刀 - 剪裁无巧似春风 - 风吹怨恨快如刀 - 春风欲擅秋风巧 Table 17 | An example of CCPM. 38 PROMPT Q: 某 小 学 在“献 爱 心–为 汶 川 地 震 区 捐 款”活 动 中 A车和B车同时从甲、乙两地相向开出，经过5小时相遇．然后，它们又各 自按原速原方向继续行驶3小时，这时A车离乙地还有135千米，B车离甲地还 有165千米．甲、乙两地相距多少千米？ A: 假设A车的速度为x千米每小时，B车的速度为y千米每小时，根据而A、B相 遇时A车行驶了5小时，A车行驶3小时后离乙地还有135千米，B车行驶3小时 后距离甲地还有165千米，可以得到甲乙两地相距=5x+5y=135+8x=165+8y， +8x=165+8y， 变换得到：10(x+y)=300+8(x+y)，于是x+y=150，甲乙两地相距5(x+y)=750千 米。所以答案是：750。 Q: 在一个底面半径为10厘米的圆柱形容器内，倒入10厘米深的水，然后将一 个底面直径4厘米，高6厘米的圆锥形铅锤放入水中，容器中水面上升多少厘 米？ A: Table 18 | An example of CMATH. 39 PROMPT

LLM 直接催生出来的新“学科”， 它的核心在于研究人类如何与 LLM 更好地进行“沟通”， 找到让 LLM 能够准确理解人类意图的方法。提示词工程探 索如何以 LLM 可以解析的方式来表达需要它完成的任务， 寻找 LLM 的“最佳输入形式”。通过注入提示词，提示词 工程建立了一套“人机交互语法”，来更精准地向 LLM 传 达想要它生成何种输出的指令。这为人们与 LLM 之间建立 高 换一种视角来看，这个概念的提出其实都没技术什么事， 有人称之为“造商业概念”，这里按下不表。 十、 镜头给到国内。相比国际上当前逢 AI 必 GenAI，国内更 多地还是在 LLM 这一层面，Robin Li 的“卷大模型没意 义，卷应用机会更大”，其实很深刻地指出了内中区别。 本报告以开发者视角为主，从 LLM 切入，但实际上或多 或少与 GenAI 脱不开关系。 2023 年国内 LLM 发展活跃，从最初的百度文心一言“硬 我国大语言模型市场规模有望达到 600 亿元。 十二、 如果要指出当前 LLM 种种“不成熟”中我最关切的，我会 说“LLM 解决方案”。 当前 LLM 行业面临的一个大方向上的问题是：还没有很好 地从“解决方案”的角度去做技术或者应用。 所谓“解决方案”，是指在设计和开发 LLM 技术和应用时， 首先明确用户的目标，然后围绕目标进行技术研发和应用设 计，并且它带有“整体解决”、“解决的不只是某个单点问题”

大模型领域的代表性开源项目社区。 这些开源项目社区覆盖了深度学习框架、向量数据库、AI辅 助编程、LLM 应用开发框架、模型微调、推理优化、LLM Agent，以及检索增强生成（RAG）等多个关键技术栈。 为了更全面客观地展示中国大模型 LLM 开发技术栈的开源 社区生态，我们使用了 对开源社区的生态评 估体系，希望通过这些数据洞察中国开源开发者在 AI 技术 领域的活跃度、生产力和创新能力。 OSS Compass CogVideoX； TTS：GPT-SoVITS、ChatTTS、CosyVoice、FishAudio、MaskGCT、F5-TTS 。 这一趋势表明，模型的竞争已经从单纯的规模比拼转向应用场景细化。为了更好地展现这一 演进路径，我们在 Hugging Face 的中文模型社群中对各个领域的开源模型进行了系统整理。 展望 2024 年，中国开源模型的发展展现了技术、生态和社会价值之间的深度协同。无论是从技 局都全了。 以上，大模型赛道的元素非常丰富，各种商业化方法的排列组合都不缺，为我们的分析与推 演提供了可贵的素材。对软件商业化问题感兴趣的朋友一定要长期关注这个赛道。只有这样的对 象才能更有力地说明开源策略的重要性。 其次，我们得明确一点——大模型竞争的赛点是什么？常用的判断依据包括：技术的先进性， C 端用户基数，依赖这个软件的生态系统大小等等。其中哪个更关键一点？ 技术先进是好事，

26 3.16 版本控制工具 毫无疑问的是，Git 一枝独秀，具有绝对性优势。SVN、TFS、CVS 目 前仍有不少参与者在使用。 3.17 AI 开发框架 AI 开发框架使用情况中，意料之中地，Tensorflow 和 PyTorch。 2021 中国开源年度报告 27 3.18 云原生组件 / 工具 云原生组件 / 工具的使用中，Kubernetes 一枝独秀。 4 开源社区参与现状 否会留下成为项目的贡献者。 专家点评 堵俊平：谁说工程师不善于沟通？对开源项目而言，社区的氛围以及交流和沟通是开发者留存的关键因素。 段夕华：最后这个指标跟前面调查中的社区和谐诉求本质是相通的，那就是马斯洛需求层次中的「尊重和被认 可的需求」 36 4.9 开源项目是否集成 RPA（机器人流程自 动化） 对于开源项目是否集成了 RPA，即机器人流程自动化工具，有 5 成受 访者表示一部分项目集成了 开源带来了产品的快速迭代与用户场景的拓宽。开源模式下的协同开发平台使产品迭代速度加快。开源 模式下，社区成员能够协同编写软件，软件用户可以提交及时使用反馈，在反馈的基础上开发人员可以 进行更高效地修改、迭代。此外，开源使用户可以直接参与到产品开发中来，这比闭源软件开发更能了 解客户的需求，并且发掘出用户需要的使用场景。因此，相对于单一的闭源软件供应商，开源社区有着 2021 中国开源年度报告

It is probably due to inertia. 3.17 AI 开发框架 / 3.17 AI Development Framework AI 开发框架使用情况中，意料之中地，Tensorflow 和 PyTorch。 Among the AI development frameworks used, unsurprisingly, are Tensorflow and communication and exchange is a key factor for developer retention. 段夕华：最后这个指标跟前面调查中的社区和谐诉求本质是相通的，那就是马斯洛需求层 次中的「尊重和被认可的需求」 Duan Xihua: The last indicator is essentially the same as the community harmony 开源带来了产品的快速迭代与用户场景的拓宽。开源模式下的协同开发平台使产品迭代速度加 快。开源模式下，社区成员能够协同编写软件，软件用户可以提交及时使用反馈，在反馈的基 础上开发人员可以进行更高效地修改、迭代。此外，开源使用户可以直接参与到产品开发中来， 这比闭源软件开发更能了解客户的需求，并且发掘出用户需要的使用场景。因此，相对于单一 的闭源软件供应商，开源社区有着更清晰的研发方向，能致力于开发出更多的功能，并创造出