Merkle 树与认证数据结构：包含证明、一致性证明与构造陷阱
按 RFC 9162 实现 Merkle 树哈希、包含证明与一致性证明并用公开向量验证，复现域分离缺失与 Bitcoin CVE-2012-2459 两类缺陷，实测 k 叉 trie 证明大小，梳理从 Merkle 1979 到 Verkle 与二叉状态树之争。
git 标签归档
共 19 篇文章 · 返回首页
持久化数据结构：路径复制、节点复制与宽分支 trie
保留全部历史版本要多少代价？从 DSST 1989 的胖节点、节点复制出发，对照路径复制、Okasaki 的惰性队列、Clojure/Scala 的 32 路 trie、HAMT/CHAMP 与 Git 对象模型，用可复现程序测量每次更新复制的节点和字节。
【Git 内部】pack 与 idx 文件格式
git repack 后 .pack/.idx 各存什么？对照 gitformat-pack 读 PACK 头、type/size 变长编码、idx v2 扇区与 fanout，并用 hexdump 与 verify-pack 钉住 OFS_DELTA 链。
【Git 内部】.git 目录全景：三棵树与仓库布局
git init 之后 .git 里每个路径干什么？对照 gitrepository-layout 与本地 find 清单，建立 bare/non-bare、三棵树、objects/refs/index 的磁盘级地图。
【Git 内部】松散对象：zlib 载荷与 SHA-1 路径
blob/tree/commit 在磁盘上如何编码？对象头 type size、zlib 压缩、objects/ab/cdef 路径命名，对照 git hash-object 与手工 SHA-1 验证。
【Git 内部】对象图：tree、commit、tag 的链式结构
一次提交在对象库里如何连成链？tree 条目 mode/name/hash、commit 的 tree/parent 字段、annotated tag，用 git cat-file -p 展开并画对象图。
【Git 内部】refs、HEAD 与 packed-refs
分支和标签在磁盘上只是一行 SHA？refs/heads、符号引用 HEAD、packed-refs 文件头与 peeled tag 的格式与生成时机。
【Git 内部】reflog：logs/ 下的追加式历史
git reflog 读的是哪个文件？logs/HEAD 与 logs/refs 的二进制条目格式：旧 SHA、新 SHA、提交者、时间戳与消息。
【Git 内部】index 暂存区：dircache v2 与扩展节
git add 改的是 .git/index。dircache 魔数、条目 stat/SHA/stage、TREE/REUC 扩展节，对照 xxd 与 git ls-files -s。
【Git 内部】pack-objects 与 delta 压缩
相似 blob 如何变成 REF_DELTA 链？pack-objects 窗口、thin pack 与 git verify-pack 里的 chain length，用 20 个近邻文件实测。
【Git 内部】commit-graph 与 reachability bitmap
objects/info/commit-graph 与 pack-*.bitmap 各加速什么？generation number 与 rev-list 可达性遍历的磁盘侧辅助结构。
【Git 内部】gc、repack 与 prune
git gc 触发了什么？gc.log、info/packs、松散对象 prune 与 git count-objects -v 各字段，对照 gc 前后文件树。
【Git 内部】fsck：校验规则与损坏形态
git fsck 检查什么？故意截断松散对象 zlib 后的报错、dangling 与 corrupt 的区别，以及修复边界。
【Git 内部】日常 porcelain 命令改写了哪些文件
add、commit、branch、checkout、reset 各触及 .git 的哪些路径？用分步 find 快照对照 index、objects、refs、logs 的变化。
【Git 内部】merge/rebase 的临时文件与 index stage
MERGE_HEAD、ORIG_HEAD、CHERRY_PICK_HEAD 何时出现？冲突时 index stage 1/2/3 与 git ls-files -u 的磁盘对应。
【Git 内部】fetch/push 与 pack 传输落地
fetch 接收的 pack 如何写入 objects/pack？FETCH_HEAD、refs/remotes、shallow 文件与浅克隆的磁盘痕迹。
【Git 内部】worktree、submodule 与 alternates
多工作树 .git 是文件不是目录？worktrees/、gitdir 指针、.git/modules 子模块对象库与 info/alternates 共享。
【Git 内部】SHA-256 对象格式与 reftable 演进
git init --object-format=sha256 后对象 ID 与路径有何变化？reftable 相对 packed-refs 的设计定位与当前默认边界。
【Git 内部】Git 内部结构：对象库与磁盘文件格式
从 .git 目录布局、松散对象与 packfile 格式，到 refs、index、reflog、gc/fsck 与 fetch/push 落地——用官方 format 文档与本地实测 dump 系统讲清 Git 把版本历史存在哪、每个命令改写了哪些文件。全 16 篇。