Vitalik escalates ETH 2.0 merge as miners plan a 51% attack

Re:Vitalik escalates ETH 2.0 merge as miners plan a 51% attack by keymone on Saturday March 13, 2021 @03:12AM (#26444937)

In any non-trivial program you will not know how much gas it requires to complete because that’s what it means - to solve the halting problem. What a great basis for your financial system handling all people’s economic interactions. What can possibly go wrong.

I’ll stick with deterministic bitcoin script, thankyouverymuch.

[ Parent | on HN ]

Re:Vitalik escalates ETH 2.0 merge as miners plan a 51% attack by mvanaltvorst on Saturday March 13, 2021 @04:52AM (#26445419)

You don't have to know how much gas it requires to /complete/, you can just run the program and check whether it runs out of gas before it exits. You do not need to solve the halting problem. Actually, it's pretty trivial to implement this and this model has scaled quite well considering the size of Ethereum today.

[ Parent | on HN ]

Re:Vitalik escalates ETH 2.0 merge as miners plan a 51% attack by throwingduck001 on Saturday March 13, 2021 @05:15AM (#26445517)

Determining whether a Turing machine halts within k steps is computable: https://math.stackexchange.com/questions/3370296/halting-pro...

If the number of steps is specified in unary, then the problem is NP-complete: https://www.ics.uci.edu/~eppstein/161/960312.html

[ Parent | on HN ]