News for hackers. Stuff that matters.
Re:SafeDollar ‘stablecoin’ drops to $0 following DeFi exploi... by Closi on Wednesday June 30, 2021 @12:29AM (#27684872)
To be honest, I don’t fully follow the above, and I’m not sure if this formalises the same problem. Copying the definition from Wikipedia:

> If P, then Q.

> Therefore, if not P, then not Q.

In this case, we could plug in the below values:

P = Contract Hacked Q = Insecure

I.e. if the contract has been hacked the code was insecure. Therefore if the contract has not been hacked, it is not insecure.

There are no comments on this comment yet.