构建 Merkle 树同步

项目概述

本项目实现一个面向 merkle tree synchronization 的完整系统，核心要解决的问题是 detecting which leaves differ between two large sets without transferring every leaf。整体由 Leaf hasher、Tree builder、Root comparer、Diff walker、Range fetcher 五个模块组成，每个模块单一职责、可独立测试，最后通过集成测试验证端到端正确性。设计上把 a hash collision across distinct leaves that hides a real difference from the diff walker 作为第一类需求先行处理，而非事后再补。

架构与关键决策

数据模型为 a binary tree of hashes where each node hashes its children, so a root mismatch localizes the differing subtrees。Leaf hasher 定义其余阶段共同依赖的数据形状并在边界处校验输入；Tree builder 承载 merkle tree synchronization 的正确性逻辑；Root comparer 专门处理 a hash collision across distinct leaves that hides a real difference from the diff walker，在失败路径上给出明确的拒绝、重试或降级策略；Diff walker 提供可观测性，每次操作输出带关联 id 的结构化事件；Range fetcher 在过载时按既定方式降级，避免过载演变为数据损坏。配置与代码分离，使风险变更可经 diff 审阅。

实施与测试

按五个阶段依次实现 Leaf hasher、Tree builder、Root comparer、Diff walker、Range fetcher，每阶段配套聚焦单测。集成测试组合各模块并驱动真实 merkle tree synchronization 场景：先验证正常路径，再刻意触发 a hash collision across distinct leaves that hides a real difference from the diff walker 并断言系统降级而非损坏。所有依赖均在进程内或被桩替换，用例在 CI 中确定可复现。

限制与后续

• 单区域设计，多区域复制超出范围。
• Leaf hasher 默认进程内，未水平共享。
• 无鉴权层，假定部署在强制身份的边缘之后。

代码示例

# setup for merkle-sync-service
pnpm init
pnpm add blake3 fastify
pnpm add -D typescript tsx vitest

merkle_sync_service/
├── src/index.ts
├── src/leaf-hasher.ts
├── src/tree-builder.ts
├── tests/merkle_sync_service.test.ts
└── package.json

// Leaf hasher: merkle tree synchronization core
export function leafhasher(input: LeafhasherInput): LeafhasherResult {
  // Build the leaf hasher that anchors merkle tree synchronization and defines the core data shape.
  return processLeafhasher(input);
}

// Tree builder — handles merkle tree synchronization Add the tree builder so
export class Treebuilder {
  constructor(private opts: TreebuilderOptions) {}
  async run(ctx: Context): Promise<TreebuilderOutput> {
    return this.execute(ctx);
  }
}

// Root comparer: merkle tree synchronization stage
export const rootcomparer = (next: Next) => async (req: Request) => {
  const out = await transform(req);
  return next(out);
};

// Diff walker for merkle tree synchronization
export async function diffwalker(stream: AsyncIterable<Chunk>): Promise<Aggregate> {
  let acc = init();
  for await (const c of stream) acc = merge(acc, c);
  return acc;
}

// Range fetcher: merkle tree synchronization finalization
export function rangefetcher(state: State): Result {
  validate(state);
  return finalize(state);
}

# run the merkle tree synchronization test suite
pnpm vitest run