Tuan Anh Hoang

[vitalik.eth @VitalikButerin]

It's definitely true that if economically important things start relying on a consensus mechanism, that creates pressure to break the consensus mechanism.

This is why in general, security analysis has to rely on proofs based on clear and well-understood assumptions, not just empirical evidence.

In the FCR case, there are proofs!

https://t.co/H5298gRuWb

Pinging @fradamt @luca_zanolini - do you know if this has been leanified yet?