Galdr — Galdralag 固件

开放发明网络

本项目已注册于开放发明网络（OIN）。OIN 是一个防御性专利池：成员之间交叉许可与 Linux 相关的专利，使参与者能够在降低专利风险的情况下发布和使用开源软件。

状态：等待中： https://github.com/betrusted-io/xous-core/pull/937

---

目录

• 开放发明网络
• 安全通告：Shamir 主机拆分
• 这是什么
  • Galdra 联系人元数据
  • 本固件是什么（以及不是什么）
  • 签名固件（Ed25519，boot0）
• 这是 AI 垃圾吗？
• 测试结果
• 为什么用 Rust？
  • 内存安全
  • 系统级健壮性（有局限）
  • 密钥材料保护（项目模式）
  • 设计上可审计
  • Rust 无法防止的情况
  • 搭建用于评估的虚拟机
  • 风险评估与部署
• 面向初学者的 Galdralag
  • 什么是 GnuPG？
• GnuPG / OpenPGP 密钥与 Galdra 密钥
  • 元数据对比（GnuPG 与 Galdra）
• 跳过和忽略的测试
• 关于名称
• 文档
• 代码地图（函数与模块索引）
• Crate 依赖（上游与项目）
• 调试说明
• docs/AUDIT_LOG.md
• docs/BIOMETRIC_API.md
• docs/HARDWARE_BRINGUP_TEST_PLAN.md
• docs/KEY_LIFECYCLE.md
• docs/RRAM_LAYOUT.md
• docs/THREE_FACTOR_AUTH.md
• docs/THREAT_MODEL.md
• 术语表（通俗语言）
• OpenPGP 与 GnuPG 兼容性
• 令牌会话与密钥导出
• 信任网与密钥签名聚会
  • 获取你的 Galdralag 指纹
  • 什么是信任网？
  • 工作原理
  • 密钥签名聚会
  • 密钥签名聚会的典型工作流程
  • 活动中使用指纹而非完整密钥
  • 密钥服务器
  • 使用密钥服务器
  • 常见密钥服务器
  • 最佳实践与注意事项
  • Fulla（WoT 注册服务器）
• 标准与固件特定功能
• Shamir 秘密共享与驱动器加密
• 德国电子身份证与 Governikus 作为公钥信任锚
• 标准进程：Shamir 与临时密钥交换
  • CESS（相关开放标准）
• Sequoia PGP（如果本仓库无响应）
• 平台支持（仅限 Linux）
• 构建、安装与卸载
  • 编译固件
  • 刷写
  • 编译并安装主机工具（galdra、galdrad、galdra-gtk）
  • 运行 galdrad 和桌面 GUI（galdra-gtk）
  • 卸载主机工具
• 关键能力
  • 本令牌的独特之处
  • 双硬件密钥法定人数（集成商模式）
  • 密码学能力
    • 非对称 / 密钥协商
    • 对称 / AEAD
    • 密钥派生 / MAC / 摘要
    • 密钥管理
  • 安全属性
  • PIN 策略
• 后量子状态
  • 已实现 — 未审计 crate（特性门控）
  • 待独立审计 — 尚未实现
  • 不会实现
• 零化 — 硬件注意事项
• 工作区布局
• 密码学依赖策略
• 快速开始
• 已知限制 / 待办工作
  • CCID 初始 PIN：Dabao CCID 与旧版 CDC
• 许可证

---

这是什么

面向 Baochip-1x（Dabao 评估板）设备的固件，运行 Xous 微内核，构建目标为 riscv32imac-unknown-none-elf。

它位于此处： https://www.baochip.com/

该设备是一款硬件安全令牌，与 Nitrokey 类设备属于同一类别，具有 OpenPGP 智能卡级行为和加密保险库。完整的硬件栈——RTL、原理图、引导加载程序、操作系统——均为开源且可审计。

硬件规格、启动模型、需求表以及 ComboHash/PKE 用法记录在 Supermagnum/Baochip-1x-firmware 中。 Dabao 评估板（KiCad、原理图、开关、引脚定义）位于 baochip/dabao。要进入引导加载程序模式以进行刷写，请按下 SW2 进行切换（参见该仓库的原理图）。 本仓库的架构说明：docs/ARCHITECTURE.md。

Galdra 联系人元数据

Galdra 主机工具维护一个本地 SQLite 收件人（联系人）目录。每个存储的身份包含公钥材料以及可选的附属标签（见下表）。这些标签存在于主机数据库中，对于 Galdra 密钥，还存在于片上联系人存储（crates/contact-store）中。除非你自己对齐，它们不会神奇地绑定到 OpenPGP 用户 ID，除非你带外核验，它们也不会被密码学断言。可选的 galdra keyserver push 可以将重叠字段作为 JSON 连同导出的公钥发送到项目注册表。令牌上每个字段的来源使用 SelfAttested、HostVerified、RegistrySync 和 OobVerified（参见元数据对比（GnuPG 与 Galdra）以及 docs/RRAM_LAYOUT.md 中的联系人存储布局）。