数学与理论基础formalism
Fault-tolerance gadgets and malignant fault sets
用 logical gadgets、extended rectangles、良性/恶性 fault sets 和 level reduction 表达受保护操作的可组合正确性。
- 成熟度
- 核心基础
- 重要度
- 核心主题
- 证据
- 2 篇代表来源
01
范围与辨析
区分抽象容错条件、具体 gadget 构造和数值阈值；只有给出故障位置、传播规则与正确性判据时才属于该形式体系。
02
核心机制与研究判断
核心机制
- logical gadgets
- extended rectangles
- malignant fault sets
- level reduction
- composable correctness
03
全栈位置与直接关系
theory/fault-tolerance/gadgets04