If you want stronger guarantees than “credible but costly e…

If you want stronger guarantees than “credible but costly exit,” you’d aim for:
- Protocol ossification (no upgrade levers, only opt‑in soft forks),
- Minimizing trust anchors (no admin keys),
- Keeping verification costs low so many independent actors can enforce rules.