3 ms·
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 sy
by Daishiman 5y ago
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.