该论文针对 Conflict-free Replicated Data Types (CRDTs) 在拜占庭环境下的容错问题展开研究。传统 CRDT 假设参与者无恶意行为，通常依赖验证或排除机制处理拜占庭错误。论文提出一种确定性状态重构方法：不判断哪些更新是可接受的，而是将所有接受的更新纳入，但只有其中一部分子集用于重构最终状态。作者在 Melda 系统中实例化了该方法，Melda 是一种非侵入式的增量状态 CRDT，专门用于 JSON 文档。理论证明表明，即使存在任意恶意更新注入（包括歧义、遗漏或消息重排序），基于同一更新集合的副本也无法发生状态分歧。此外，论文展示了认证、授权和机密性机制可以分层叠加而不影响收敛性。核心贡献在于将更新传播与状态推导解耦，使拜占庭容错可以通过外部共识或分发机制独立处理更新一致性，从而在无协调前提下实现拜占庭弹性。该工作适合分布式系统、区块链、去中心化应用开发者及研究人员阅读。