Re:Missing line in a smart contract leads to $10M hack
by Daishiman on Sunday May 16, 2021 @08:45PM
(#27178801)
It's possible that maybe, just maybe, the interior world of some crypto scheme may have sufficient formal proofs.
It doesn't change the fact that the crypto system lives in a human world were law, politics and attacks can coerce you to do a lot of things and the formality of the system is just irrelevant.
It doesn't change the fact that the crypto system lives in a human world were law, politics and attacks can coerce you to do a lot of things and the formality of the system is just irrelevant.