Vitalik Buterin concluded that Stage 2 is the safest option only when the proof‑system failure probability falls to about 10⁻⁵ or lower