认证合理包络系统

“认证合理包络系统：一种用于隐纤维安全的纯投影感知验证层。”本文形式化了Coh框架的纯投影感知验证层。它定义了隐性实现、可观察轨迹、投影纤维、隐性成本、认证合理包络、声明缺陷和一个完全确定性的验证器。中心结果证明，如果一个可观察轨迹被接受，则其投影纤维中的每个隐性实现的隐性成本都受到声明缺陷的限制。该成果刻意保持层的纯粹性。它排除了组合性、类结构、宽松定律和度量几何。这些由之前发布的桥/类层和未来的更高层成果处理。