校验

发布包、签名、法的摘要与登记合约，每个数值都可以自行复算。

发布包

0.1.0 的发布物有三个文件，校验值写在发布清单 SHA256SUMS.txt 里：

算一个文件，与上表比对：

或者把发布清单和下载的文件放在同一个文件夹里，一次核对全部：

下载页的拖放框做的是同一件事：在浏览器里算 SHA-256，与清单比对。

签名

应用和 dmg 都由 Kaptonia 的自签证书签名；pkg 以 SHA-256 核对。装好之后查看应用的签名，输出里的 Authority 应为 Kaptonia，Identifier 应为 com.kaptonia.zikaron.app：

再看签名要求，certificate leaf 后面那一串是证书的 SHA-1：

要算证书的 SHA-256，先把证书取出来：

dmg 本身的签名同样可查：codesign -dvv ZIKARON-0.1.0-macos-arm64.dmg。

Zikaron 证明

每次发布的代码是一次提交。0.1.0 发布之前，项目用 Zikaron 账本记下这次提交和各发布物的指纹，锚定到以太坊主网，写下即定，带有区块时间。下载表的「Zikaron 证明」一栏链到这笔交易。

账本里记下的内容指纹：

源码提交的指纹是提交对象的 SHA-256。在仓库标签 v0.1.0 的克隆里运行：

链上锚定的是账本条目的编号，条目里记着上面这些指纹。

法的摘要

两部法已冻结，摘要写在法文里。解开源码后自行计算，结果应与下表一致：

两个脚本各读几个 Python 源文件，算出一个摘要；其中任一字节改动，摘要随之改变。详见法文与一致性套件。

登记合约

登记合约只做一件事：收到指纹，发出一条事件。应用内置两处部署，读取链上代码并算 keccak256，结果应等于下表的代码哈希：

从源码重算这个哈希的方法，见登记合约与上链。