Trail of Bits作为独立审计方，帮助Signal维护自动密钥验证系统以确保聊天的端到端加密完整性。该系统通过创建公钥的全局一致视图来防止服务器进行中间人攻击，确保恶意服务器无法向客户端提供虚假密钥。Trail of Bits维护独立实现的Merkle树审计器，定期签署树头以保证客户端看到一致的公钥集合。