
FIBEMATE 系列。本系列另一篇《密码学时间账本》解决「证据在何时存在」；这一篇回答一个更日常的问题：`ml_kem768` 这个符号是哪天进的仓？`X3DH` 的实现被改过几次？某次审计说「我们 6 月就支持了 SM3」，怎么一句话证实或证伪？答案是 `git` 历史本身——只要是要查。工具已开源：`crypto-time-machine` (github.com/Lennonhaha/fibemate-tools，纯 `Python` 标准库)。

## 一、`git log` 不够用

`git` 本身能回答一半问题：`git log -S` / `-G` (pickaxe) 可以找「一个字符串何时进入或离开代码库」。问题在工程侧：

- 输出是人读的，不是结构化的——没有表、没法聚合、没法画时间轴。
- 每次都要手工拼参数、选范围、翻提交。
- 审计要的是「某个符号的完整变更轨迹 + 谁改的 + 哪些文件」，一条命令给全。

`crypto-time-machine` 做的事：把 `git log -S/-G` 包成 CLI，结果写进 `SQLite` 的时间轴表（sha、日期、作者、主题、涉及文件），可查、可导出、可复现。

## 二、一条命令

参数五个关键位：

- `--pattern`：追踪的符号或字符串（`ml_kem768`、`X3DH`、`3329`、`sm3_compress`……）。
- `--mode=-S` / `--mode=-G`：直通 `git` 的两种 pickaxe 语义——`-S` 统计出现次数变化，`-G` 按正则比对新旧 diff。两种模式回答的问题不同，都保留。
- `--db`：`SQLite` 输出路径。
- `--since` / `--until` / `--query-after`：时间窗。

## 三、实测

扫 `fibemate` 主仓（2026-09-27 实测）：

- `ml_kem768`，`-S` 模式：**6 个事件**——从 initial commit（`db81c7f`，2026-07-06，v3.1-preview 开源）到 2026-09-19 换用 `@noble/post-quantum` 参考实现（`cba1915`，#115），每个事件带完整 sha、时间戳、作者、主题。
- `X3DH`，`-S` 模式：**69 个事件**。
- `sm3_compress`，`-G` 模式：**0 个事件**——当前主仓没有这个符号的变更记录，查询本身就证伪了一句「我们改过 SM3 底层」。

注意这些数字会随仓库增长而漂移——`X3DH` 一周前还是 67，现在是 69。时间轴是活数据，引用时给查询日期。

## 四、两个设计决定

- **直通 `git pickaxe`，不自建索引**。`-S` 和 `-G` 的语义差异（出现次数 vs diff 内容）是 `git` 十几年打磨出来的，自己重写一遍只会引入分歧。工具的价值在结构化输出和时间窗，不在重新发明搜索。
- **`SQLite` 单表**。`timeline(id, sha, date, author, subject, files)` ——六个字段，够画时间轴、够做审计附件、够被别的脚本 join。多一层抽象都不加。

## 五、测试与 CI

- `test/local_test.py`：10 项（文件历史非空、不存在符号返回空等），对主仓实测 **ALL PASS**。
- `test/ci_test.py`：9 项（query 返回列表、条目含 files 等），**ALL PASS**。
- CI 挂 `time-machine-ci` workflow，截至 2026-09-27 累计 **51 次成功运行**。

## 六、边界与已知缺陷

- **`git` 历史可重写**：`rebase`、重新签名都能改写过去——这正是《密码学时间账本》一篇讨论过的问题。两个工具是互补关系：时间机器管「查」，时间账本管「锚」。查询结果的可信度以 `git` 对象图的完整性为界。
- **模式匹配抓不到语义等价**：符号改名（`kyber` -> `ml_kem768`）会表现为一消一长两个事件，不会自动合并。

## 七、结语

系列至此四条线：可观测性管运行时，`TLA+` 管协议逻辑，时间账本管存证锚定，时间机器管历史查询。四条线共同的出发点：**审计的人不该信任何一句口头断言——每句话都应该能变成一条可执行的查询**。

工具页：`fibemate.net/tools/time-machine`

### 参考实践

- 工具：`github.com/Lennonhaha/fibemate-tools` → `crypto-time-machine/`（19 项测试 = 10 local + 9 ci，全 PASS，零外部依赖）
- 查询示例：`ml_kem768` 6 事件 / `X3DH` 69 事件 / `sm3_compress` 0 事件（2026-09-27 实测）
- CI：`.github/workflows/time-machine-ci.yml`（51 次 success）
- 姊妹篇：时间账本（RFC 3161 锚定）——本篇查询层与其锚定层互补

### 词汇注释

- **pickaxe (-S / -G)**：`git` 的历史搜索模式。`-S` 统计字符串出现次数的变化，`-G` 用正则比对新旧 `diff` 内容。
- **SQLite**：嵌入式单文件数据库，本文工具的输出格式。
- **事件 (event)**：一个 `commit` 中目标符号发生增删改的一次记录。

---
*声明：本文由作者授权腾讯云开发者社区发布，未经许可，不得转载。*
*如有版权问题，请联系 `cloudcommunity@tencent.com` 删除。*


FIBEMATE 系列。本系列另一篇《密码学时间账本》解决「证据在何时存在」；这一篇回答一个更日常的问题：ml_kem768 这个符号是哪天进的仓？X3DH 的实现被改过几次？某次审计说「我们 6 月就支持了 SM3」，怎么一句话证实或证伪？答案是 git 历史本身——只要是要查。工具已开源：crypto-time-machine (github.com/Lennonhaha/fibemate-tools，纯 Python 标准库)。

密码时间机器：把 git 历史变成密码 API 的可查时间轴

某次审计说“我们 6 月就支持了 SM3”，怎么一句话证实或证伪？答案是 Git 历史本身。本文介绍一款纯 Python 标准库实现的开源工具 crypto-time-machine：它直通底层的 git pickaxe，把非结构化的 git log 变成一条条 SQLite 时间轴记录。只需一条命令，就能查出某个密码 API 符号是何时、被谁、改过几次。不迷信任何口头断言，让每一句审计结论都变成

安全

开发工具

数据库

crypto-time-machine是FIBEMATE系列开源工具，通过封装git pickaxe(-S/-G)实现代码符号变更轨迹的结构化查询，输出SQLite时间轴（含sha、日期、作者、文件）。实测ml_kem768 6个事件、X3DH 69个事件、sm3_compress 0事件，可快速证实或证伪审计断言，19项测试全PASS，零外部依赖，与时间账本互补。

SQLite

Python

GitHub

让每一个 Agent，都跑在云上

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

EdgeOne AI 安全实战专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

社区新版编辑器体验调研

crypto-time-machine是FIBEMATE系列开源工具，通过封装git pickaxe(-S/-G)实现代码符号变更轨迹的结构化查询，输出SQLite时间轴（含sha、日期、作者、文件）。实测ml_kem768 6个事件、X3DH 69个事件、sm3_compress 0事件，可快速证实或证伪审计断言，1...

密码时间机器：把 git 历史变成密码 API 的可查时间轴-腾讯云开发者社区-腾讯云

密码时间机器：把 git 历史变成密码 API 的可查时间轴

密码时间机器：把 git 历史变成密码 API 的可查时间轴

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐