4 ms·
...I can't ignore the technical inaccuracy here: > Ethereum is a project based around decentralized applications, which run on a scattered network of computers
by x-complexity 4y ago
...I can't ignore the technical inaccuracy here:
> Ethereum is a project based around decentralized applications, which run on a scattered network of computers and don’t have a single owner who controls them. That would seem to be in line with what you want for the Internet, in the sense of more interoperability and more security. Or am I wrong?
(Interviewer essentially asks "What do you think about Ethereum?")
> I think distributed apps are a great idea. I am skeptical of smart contracts, which are the building block of distributed apps. Smart contracts are hard to get right. And this is not a thing that you can fix. *There’s this foundational idea in computer science called the halting problem, which says that, above a pretty minimal threshold, it’s impossible to know all the different ways that a program can behave.* One of the ways that computer scientists try to address this risk is by keeping Undo buttons around in our code.
(The rest of the response goes towards the need for reversibility & how smart contracts don't allow for that, even through it's possible to implement tokens with reversible transactions (see ERC20R & ERC721R).)
This was the point that I knew that Cory didn't even spend the bare minimum amount of effort to Google "Ethereum halting problem".
https://jcrouser.github.io/CSC250/projects/etherium.html#:~:text=How%20does%20the%20Halting%20Problem%20relate%20to%20Ethereum%20and%20smart%20contracts%3F https://jcrouser.github.io/CSC250/projects/etherium.html#:~:...
https://ethereum.org/en/developers/docs/gas/#why-do-gas-fees-exist https://ethereum.org/en/developers/docs/gas/#why-do-gas-fees...
If he had even tried to do so, he would've known that Ethereum's solution to this problem is the gas limit, wherein:
- A set limit on how much gas can be used is submitted in the transaction
- If the limit is exceeded, the transaction fails & the state is reversed, as if there
Most of what he otherwise says is passable, all except for that part. Instead of admitting a lack of technical knowledge about the subject matter at hand, he instead goes on to espouse how reversibility at the base layer is required in order to create a useful system, instead of trying to make a system that doesn't need reversibility at the base layer in the first place.