<h1>节点与容错</h1>
<p>BFT 系统中，节点分为<strong>诚实节点</strong>和<strong>拜占庭节点</strong>（恶意或故障节点）。系统的安全性取决于两者的比例。</p>
<h2>节点类型</h2>
<table>
<thead>
<tr>
<th>类型</th>
<th>行为</th>
</tr>
</thead>
<tbody>
<tr>
<td><strong>诚实节点</strong></td>
<td>按协议规则行事，发送真实消息</td>
</tr>
<tr>
<td><strong>崩溃节点</strong></td>
<td>停止响应（不发送消息），但不发送错误消息</td>
</tr>
<tr>
<td><strong>拜占庭节点</strong></td>
<td>可能发送任意错误或矛盾的消息，主动作恶</td>
</tr>
</tbody>
</table>
<p>崩溃节点是较轻微的故障，只需 n ≥ 2f+1 即可容忍；拜占庭节点是最严重的故障，需要 n ≥ 3f+1。</p>
<h2>容错边界</h2>
<pre><code>4 个节点，最多容忍 1 个拜占庭节点：
✓ 1 个拜占庭 + 3 个诚实 → 系统正常
✗ 2 个拜占庭 + 2 个诚实 → 系统可能无法达成共识
</code></pre>
<h2>网络分区</h2>
<p>BFT 算法在<strong>同步网络</strong>假设下工作最好（消息在有限时间内送达）。在异步网络中，根据 FLP 不可能定理，不存在同时保证安全性和活性的共识算法。</p>
<p>现实中的 BFT 实现（如 Tendermint）通过引入超时机制，在部分同步假设下工作。</p>
<h2>在演示中体验</h2>
<p>在节点演示页面，你可以：</p>
<ul>
<li>查看 4 个节点的当前状态（诚实/拜占庭）</li>
<li>标记某个节点为拜占庭节点，观察系统如何在容错范围内继续工作</li>
<li>超过容错上限时，观察系统无法达成共识</li>
</ul>


配置拜占庭节点，理解 BFT 的容错边界

类型	行为
诚实节点	按协议规则行事，发送真实消息
崩溃节点	停止响应（不发送消息），但不发送错误消息
拜占庭节点	可能发送任意错误或矛盾的消息，主动作恶