* Each security council member has an independent 10% chance of "breaking"

Quote

Sources

A good reminder that stage 2 is not the only thing that matters for security: the quality of the underlying proof system matters too.

Referenced by

Vitalik Buterin’s simplified mathematical mode assumes each security‑council member has an independent 10% chance of liveness or safety failure

Crypto news

Claim