How Trail of Bits helps verify the integrity of Signal chats

Signal 的 Automatic Key Verification 用全局一致的 key transparency map 降低服务器替换公钥的隐蔽性；Trail of Bits 的独立实现把 map 存成 Merkle tree，并只签署一条 lineage。客户端要求 Signal、Cloudflare、Trail of Bits 三名审计者在最近七天内签名，意味着恶意服务器最多维持一周 split view；独立重写和开源代码是该信任链的关键。