争议:O(log N) 的账本靠什么成立

1. N = 2¹⁰:扇出 ε ≤ 1/1024 ≈ 10⁻³;桶链 ε ≈ 1/10² = 10⁻²

2. N = 2²⁰:扇出 ε ≤ 10⁻⁶;桶链 ε ≈ 1/400 = 2.5×10⁻³——桶链只按 1/polylog 收紧,但仍在随规模收紧

类型formula-card(三档精度对照 + 论证卡)