SHARE THE PERSPECTIVE
应比较明确操作的成本和针对明确威胁的证据,而不只是把树形图与发送者密钥图放在一起。

消息层安全协议(MLS)与 Livara 的 LGS1,并不是两张可以互换的群聊安全证书。MLS 是 IETF 协议标准;LGS1 是 Livara 已公开文档的产品专用设计。 公平比较两者,需要区分架构、实现证据与用户实际体验到的行为。

关键区别在于基于树的共享群组状态,与通过两两会话分发的发送者密钥。单凭任一名称,都无法知道某个应用能否正确处理被移除成员、状态过时的设备或遭泄露的密钥。

架构上的区别

RFC 9420定义了用于异步群组密钥建立的 MLS。它采用棘轮树和群组时期,在所述条件下提供前向保密及入侵后安全性。随着群组规模增长,树结构降低了某些密钥更新成本。

Livara 的安全文档将 LGS1 描述为每位成员各有一条带签名的发送者链,通过 LVR1 两两会话分发,并在成员变化时轮换。这是产品声明,不能证明 LGS1 符合 MLS 或接受了同样的分析。

问题 MLS Livara LGS1 文档
共享结构 棘轮树与时期 每个发送者各自的链
密钥更新 将群组状态变更提交到新时期 向成员分发新的发送者密钥
规范状态 IETF 标准 RFC9420 已发布的产品专用说明
仍需评估什么 应用集成与实现 完整规范、实现和独立证据

此表描述的是设计类别,不是基准测试或安全排名。

“对数级”意味着什么,又不意味着什么

一次密码学更新可以使用对数数量的加密树路径组件,却不意味着系统中所有工作量都是对数级。消息仍需分发,客户端仍要保存状态,行为还取决于群组结构和操作。过去“MLS 需要 O(log N) 条消息,而 LGS1 的所有操作都更快”的比较混淆了不同成本,也没有提供测量结果。

MLS 架构 RFC 9750将传递服务与密码学密钥建立分开处理,并讨论消息分发及群组变更的排序。这一区分很重要:客户端计算量、提交中的字节数、服务器总分发量和重连流量,是不同指标。

有意义的性能报告应说明:

  • 群组规模和每个人的设备数量;
  • 操作是普通消息、移除成员、密钥更新还是重连;
  • 发起客户端发送的字节数与总传递流量的区别;
  • 耗时、设备型号、实现版本及网络条件;
  • 错过更新和反复改变成员所带来的成本。

没有这些细节,“毫秒级”“状态开销低”或在特定群组规模下更优的说法都尚未得到证实。

移除成员是生命周期测试

管理员移除账户,只是安全问题的一部分。客户端必须就新的成员状态达成一致,使用合适的新密钥,并避免将这些密钥交给被排除的设备。已经持有旧明文或旧密钥的人,可能仍能访问旧内容;移除无法让其副本消失。

对于任一系统,有用的测试应询问:移除完成后,被移除设备能否解密一条新的非敏感测试消息?此前离线的成员能否安全跟上更新?是否处理了该账户的所有设备?界面是否清楚显示故障或成员变化?

这些是建议的评估问题,不是在此进行的测试结果。产品比较应公布观察结果和测试版本,而不是把管理员成功点击按钮等同于密码学层面的排除。

前向保密与恢复都有条件

后续发生密钥泄露后,旧消息能否保持受保护,取决于是否退役旧的秘密材料。未来消息能否恢复保护,取决于攻击者失去相关访问权限之后是否纳入新秘密。在 MLS 中,处理群组更新是恢复过程的一部分;仅仅发送更新,不等于每位成员都已应用更新。参见 RFC 9420中的安全注意事项。

对于发送者密钥设计,应询问如何替换和重新分发各发送者已泄露的状态。不应将单向链本身描述成能够自动摆脱知晓其当前状态的攻击者。重新分发时使用的两两保护很重要,但不能替代完整的群组层面分析。

后量子声明需要具体密码套件与范围

基础 RFC9420 定义的密码套件使用经典公钥机制。MLS 可以扩展,因此针对某个实现的声明应注明其实际套件和扩展,而不是宣称所有 MLS 部署永远只能是经典方案。

LGS1 文档中使用混合 LVR1 分发的说法,与针对所有群组操作、经过独立分析的后量子保障,是不同的声明。FIPS 203将 ML-KEM 标准化,但并不认证使用它的完整群组协议。应一起评估认证、成员变更、密钥泄露与实现,而不只是看 KEM 的名称。

决定采用产品之前应索取什么

索取当前协议规范、测试向量,以及针对具体版本的独立审查,包括尚未解决的发现。随后比较常规产品需求:支持的设备、更新行为、恢复、管理角色和服务器保留的数据。

MLS 架构明确考虑了应用服务及其信任假设。同样,应将 Livara 的威胁模型与产品声明一起阅读。加密不会让获授权的参与者变得可信,不会阻止截图,也不会消除所有形式的元数据。

如果缺少证据,应记录“尚未证实”,而不是自动把一种设计标为不安全或更优。决策应反映群组面临的风险,以及现有证据的质量。

常见问题

LGS1 是 MLS 的实现吗?

已发布的说明展示了不同架构。本文不会把 LGS1 认定为 MLS 实现,也不声称两者可互操作。

MLS 要求所有成员同时在线吗?

不要求。异步使用是其设计的一部分。应用仍需制定处理延迟更新、过时状态和长期离线成员的策略。

后量子密钥分发能解决群组安全的全部问题吗?

不能。它解决的是密钥建立的一部分。身份、成员关系、密钥生命周期、端点安全与实现,仍然需要证据。

哪种设计更快?

本文没有证明胜者的基准测试。应测量对您的群组重要的操作和部署环境。

验证 Livara Proof Lab
CONTINUE THE THREADEnd-to-end encryption ↗
YOU’VE REACHED THE ENDBack to the reading room ↗