Live data from Hacker News

SafeDollar ‘stablecoin’ drops to $0 following DeFi exploit on Polygon

cryptoslate.com

381–390 of 577 posts

Re: SafeDollar ‘stablecoin’ drops to $0 following DeFi exploit on Polygon

#381
The funniest, most ironic part is the ad at the top of the page, "Earn up to 12% APY on Bitcoin, Ethereum, USD, EUR, GBP, Stablecoins & more."

I'm so tired of people manipulating others and telling them to throw their savings into "Stablecoins" for 5-12% APR. Pure insanity.

Re: SafeDollar ‘stablecoin’ drops to $0 following DeFi exploit on Polygon

#383
Why not just have a version 1 smart contract, that inside of it has an amount check that, if passed, rewrites the smart contract (or issues a new one) - version 2 - that rectifies the problem?

So people who "agree" with the change can just insta-exchange their cash, and those who don't can keep their cash on version 1. Then you don't have bugs like this as easily anymore.

This whole thing will no go very far without something like an update system. The old C programmers would laugh their ass of at a code-once-and-hope mentality.

EDIT: And by rewrite I mean like how OTA updates "rewrite" things, have a coin-bootloader or something that takes care of it.

Re: SafeDollar ‘stablecoin’ drops to $0 following DeFi exploit on Polygon

#384
post #362

Earlier quoted context omitted.

Odd: HN is made up of the people closest to cutting-edge technology on the planet, and yet sentiment is negative on cryptocurrency. Hmmm...

It's odd indeed. This is a VC-created forum where its users reject entire sectors of new technology. Besides being anti-crypto, there also anti-google, anti-iot, and anti-any website looking fancier than something from 1996. It's a thing to accept and be entertained by I guess. The stunning lack of self awareness over here is legendary though.

> The stunning lack of self awareness over here is legendary though.

Yes, indeed.

Re: SafeDollar ‘stablecoin’ drops to $0 following DeFi exploit on Polygon

#385

These incidents really illustrate the main flaw of smart contracts: a single bug in your code can lead to incredible losses. I simply don't think it's possible for human beings to write good enough software for smart contracts.

The plus side is that smart contracts provide their own "bug bounty" programme. If a smart contract that handles a coin with a market cap of +50M USD has not been breached, I absolutely trust that contract to be safe.

Then it becomes a matter of game theory as to whether you cash in the bug immediately to empty the pot, or wait for it to grow even more from the positive feedback loop of it being "obviously bug free if it grew this large". For state-sponsored actors, 50M would only be a modest sum.

Re: SafeDollar ‘stablecoin’ drops to $0 following DeFi exploit on Polygon

#386

Earlier quoted context omitted.

It literally does not. The world runs advised by algorithms, but not governed by them. It's a fundamental difference. When algorithms in the real world create lose-lose outcomes, people override them, which is why when your credit card gets stolen you don't end up paying for stuff. You can bake that logic into a software contract, but if the design of your system is that the totality of software contracts are the fin…

You are aware that the vast majority of financial market trading is run by algorithms that govern not advise vast amounts of capital in an irreversible way. Sometime these algorithms break or are exploited. Often in spectacular disasters. Knight lost half a billion dollars in 30 seconds. Nobody reversed though, even though it was clear error. If you have a 401k I guarantee you that a significant amount of your money…

Knight took closer to an hour to melt down than 30 seconds.

NYSE and the SEC _chose_ not to reverse those trades but they could have. There are plenty of ways the exchange can undo those and also trade busts happen daily on every exchange.

Almost certainly if a large index etf or fund lost everything to a software glitch the trades would be reversed and even if for policy reasons they weren’t they could be. The facility exists.

Re: SafeDollar ‘stablecoin’ drops to $0 following DeFi exploit on Polygon

#387

Earlier quoted context omitted.

Wrong. Unlike bank deposits or treasury notes, stable coins have interest yields to outweigh inflation.

I guess as far as counterparties go, people trust a bank or the fed more.

There is no counterparty risk in a smart contract involving only digital assets. There is systemic risk, however.

Re: SafeDollar ‘stablecoin’ drops to $0 following DeFi exploit on Polygon

#388

Earlier quoted context omitted.

USDT failed a LONG time ago.

What is failure specifically? USDT (despite it's shadiness) trades at 1USDT:1$ on pretty much all exchanges and you can short it if you truly believe it'll flop anytime soon.

The question is are there really $1 USD for every $1USDT? The answer is surely not. You may be able to get your money out today but in the long run there is nearly a 100% chance you lose it all.

https://bitfinexed.medium.com/tether-is-setting-a-new-standa...

Re: SafeDollar ‘stablecoin’ drops to $0 following DeFi exploit on Polygon

#389

There is no such thing as a stablecoin, it's a made up term to try to lend legitimacy to new crypto scams. And I say this as someone who just bought some Ethereum in the hopes of making a profit :)

Maybe stablecoins are just digital currencies with binary exchange rates. It seems to me that when you declare a digital coin exactly tracks the value of the dollar, you basically are not allowing its dollar exchange rate to have any values except 1 and 0. It makes sense that when the value of this coin couldn’t possibly remain at 1 it by necessity had to toggle over to 0.

Re: SafeDollar ‘stablecoin’ drops to $0 following DeFi exploit on Polygon

#390

Earlier quoted context omitted.

I don't know much in the field, but formally verifiable programming methods come to mind. You'll potentially have less of a chance for contracts to be exploited (at least compared to what we have now). That said, you can't protect against infrastructure exploits as easily, mathematically flawless program or not.

Formal methods are about matching the spec. Errors in the spec are still an issue. Moreover, there is very, very little formally verified code in the world, much less than you'd believe. My former professor (RIP) oversaw the formal verification of the F-16 computer software and it still had significant bugs in the end where the specification itself was incomplete or in error. And that was a multi-year, team-scale eff…

MakerDAO is formally verified.

https://medium.com/@MakerDAO/the-code-is-ready-2aee2aa62e73

Post reply on HN