本页为译文。以英文版为准: English

信任,但要验证

验证一个记录包。

拖入一个 hypgraph export 的 .bundle.json。你的浏览器会重新计算链中的每个 SHA-256,并从两个方向对照事件检查各行:每一行都由一个事件写入并逐字段与之匹配,且每个事件对应的行都在。不会有任何内容离开你的机器。


它证明了什么 — 以及没证明什么

  • 证明:每个事件的哈希都是所示原始字符串的 SHA-256,且每个都链接到前一个;记录包中的每个节点、版本、链接、撤回、收回和租约都由一个事件写入并逐字段与之匹配;并且没有缺失任何由事件写入的行。写入之后没有任何内容被编辑、添加或删除。浏览器旁边显示的事实(哪些节点和链接、它们的标题、作者、时间、是否已撤回)也会对照这些行进行检查。
  • 不涵盖:现状(审查状态、支撑、风险、一行摘要)。那是导出它的引擎推导出来的;用 hypgraph verify --standing 从已验证的行重新推导。0.7.13 之前写入的记录没有把某些行字段哈希进事件(例如链接的理由);结果会将它们列为未覆盖。
  • 不信任记录包自带的策略(谁是导入者和审查者):链不覆盖它,所以本页使用默认导入者,并在记录包指定了其他导入者时发出警告。要按发布者声明的策略检查,请使用 hypgraph verify --policy policy.json(或 --importer NAME)。
  • 单靠它不能证明:整个记录没有被从头重建。为此,请在上方粘贴当时发布的链头哈希(在论文、预注册或仓库标签中)。
  • 限定范围的记录包(从共享记录中取出的一项调查)会隐藏范围外的事件。这些事件无法检查,结果也会说明:它们在范围外只是记录包的一面之词,只有对照已发布链头的完整记录才能排除隐藏在其中的改动。范围本身必须指明一项调查,且记录包只能包含其节点,这样就没有主张能冒充这项调查,也没有完整记录能冒充它的一部分。