为什么做
把数据可用性托管的覆盖与组合约束写成可检查的确定性见证。
已有证据
合成见证验证的是给定实例，不能替代真实协议分布与威胁模型。
当前边界
协议映射、相关性与攻击者能力仍需要实际建模，不能把合成覆盖率当成线上安全概率。
希望后来者怎样继续
固定版本与威胁模型，核对协议到关联实例的映射，再独立重放证书并检查失配情形。
上述接续建议是待验证的研究问题，不是新增实验结果。原始稿件及来源、许可和阶段说明见归档。
CRYPTOGRAPHY / 合成实例与协议假设审计
Conditional custody certificates for PeerDAS
指定关联实例、假设与有限证书；不提供生产网络安全估计。
历史稿件、配套审计与研究说明按各自角色阅读；阶段与证据边界见交接说明。