工程问题
只追加 API 是运营者的承诺。透明日志让客户端验证条目是否包含在已承诺的树中，以及新树是否一致扩展旧树。
Witness 是独立 Go 项目，具备 RFC 6962 Merkle 包含及一致性证明、Ed25519 签名检查点、崩溃安全存储和冲突视图监控。
从条目到凭证
单个排序器批量写入条目及哈希索引、同步存储，再原子持久化签名检查点，之后才返回凭证。客户端自行验证签名及证明，而非只相信服务器声明。
RFC 6962 使用域分离：叶节点前缀为 0x00，内部节点为 0x01。四叶交互树使用真实 SHA-256，展示修改如何改变根；它不产生签名检查点，也不是完整监控器。
持久性与观察
校验和及与最后签名检查点的比较保护恢复过程。同步失败会停止后续写入。监控器保留可信检查点，并检查回滚、分叉与同规模不同根。
签名无法阻止不诚实运营者签署两段历史。发现分裂视图需要让不同视图相遇，孤立客户端无法知道其他群体看到的内容。
取舍与局限
分组提交摊薄同步成本，单写入者简化排序。启动完整验证的成本随日志规模增长。见证者共同签名、新鲜度策略及分块存储属于路线图，不能视为已完成能力。仓库记录差分测试、模糊测试与恢复验证。