分布式系统 · v5
超越理想路径的共识：安全性、进展与法定人数的代价
法定人数集合相交是安全性的一个要素；及时取得进展则需要另一种论证。
阅读研究导读 →AUTURNAL / RESEARCH LIBRARY / 2026.10从智能到发现，
从智能到发现，
深入研究的核心。
170篇中英文研究综述，连接一手文献、数学模型与可核查的证据。
170篇导读526项来源510幅插画与图解
THE RESEARCH COLLECTION
深入研究
分布式系统 · v5
将可串行化事务视为不变式保持问题
衡量正确性的恰当单位是应用不变式，而不是某种熟知异常的缺失。
阅读研究导读 →
分布式系统 · v5
跨越崩溃的恰好一次效果：事务边界止于何处
交付、执行、持久状态变更和外部观测是不同的事件。
阅读研究导读 →
分布式系统 · v5
收敛不等于意图：本地优先协作的语义
合并可以在数学上收敛，却仍然在语义上违背使用者的需求。
阅读研究导读 →
语言与验证 · v5
经过验证的系统究竟保证什么：精化与信任边界
验证确立模型与实现之间的关系；这一关系的边界就是验证结果。
阅读研究导读 →
语言与验证 · v5
跨内存模型的并发程序：从试金石测试到契约
源代码中可见的顺序，只是并发程序语义的一个层次。
阅读研究导读 →
语言与验证 · v5
作为精化的优化：证明编译器可以改变什么
优化的正当性在于保留可观察行为，而非代数上的相似。
阅读研究导读 →
安全与隐私 · v5
基于能力的内存安全：空间权限、生存期与撤销
限定指针的权限与证明其对象仍然存活，是两个不同的问题。
阅读研究导读 →
安全与隐私 · v5
超越体系结构状态的隔离：微体系结构泄漏推理
阻止体系结构层面的读取，并不能证明每一条可观测执行轨迹都独立于秘密。
阅读研究导读 →
安全与隐私 · v5
组合下的隐私预算：重复统计发布的核算
隐私参数与相邻数据集的定义、机制以及发布历史相关联。
阅读研究导读 →
安全与隐私 · v5
简洁证明，高昂成本：端到端评估零知识系统
证明简短并不意味着证明生成成本低、陈述正确，或隐私边界完整。
阅读研究导读 →
数据结构与存储 · v5
有契约的近似：流式摘要中的误差、随机性与可合并性
当近似答案的误差陈述与数据流、查询和合并操作相匹配时，它才有用。
阅读研究导读 →没有符合筛选条件的文章。