The Ethereum Paradox

[TPTB_need_war]

Even if you could force the external entity to declare the full lineage of the input data (i.e. 100% dependently typed), that would require that the scripting can't be programmable, i.e. the external I/O capability would be eliminated. If you don't understand why, please go learn about the typing systems Coq and Epigram.

I just came again across this initiative
http://www.idni.org/

like much of the discussion in this thread,
it occupies the higher stratosphere of crypto-related theory,
but as much as I'm able to make out of it, it endeavors to steer
clear of many pitfalls that have been explored here by employing
purely functional language "that contains a blockchain support built-in"

They are trying to apply 100% dependent typing to a distributed database by limiting the universe within which a script resides to a family of rules:

http://tauchain.org/tauchain.pdf

This means the programmability of that universe ("locally, not the network" meaning they also can't control external I/O) is limited to the permutations of the rules (which must not be unbounded, else it is Turing complete and thus no longer dependently typed). These universes won't be able to talk to each other unless by intepreter universe which speaks both families perhaps.

Some where the programmer will bump into a limitation that can't work. This is why Haskell MUST have the UnsafeIO class.

The fundamental issue will not be ameliorated by any design. I am not that worried about external failure, for as long as the external failure can be attributed to using a certain set of external logic (and thus not kill the block chain system's perceived value and thus not kill the Nash equilibrium). We need to think about how externalities will integrate with the programmable block chain.

I am really not ready to research that. I have other more important things to work on first.

The point is that scriptable block chains are something that won't mature and become a real adoption market until after many years from now (perhaps decades). The wild price rise of ETH is much too premature and purely hype.

[TPTB_need_war]

This redudancy + partionning paradox is extremely hard to understand for a newbie who's native language is not even english...

It would be really appreciated if someone could rephrase this paradox summing up with easy terms what is the issue and its consequencies

I am years ago of your computer science knowledge and I may stay years ago of your knowledge in this field for the rest of my life since it isn't my study field.

Thank you in advance.  

Hopefully r0ach and others can offer their laymen's summaries.

What you need to know is that Ethereum as it is currently designed can't scale just as Bitcoin can't scale, but the level of scaling which the current Ethereum can do is much less than even Bitcoin's current limitation because verification/validation of Serpent scripts takes more resources than verification/validation of ECDSA signatures.

For both Bitcoin and Ethereum, this is not just an issue of block size limitation. The issue is that in order to scale, the mining becomes more centralized. I think you will should note that Bitcoin and all other major coins are entirely centralized already and on the precipice of failure (all of them! study my links!).

Thus Ethereum proposed Casper which is a design that attempts to use sharding (a.k.a. partitions) to improve scaling decentralized. But I explained in this thread, that can't work. To reduce electricity consumption, Ethereum also proposed PoS-like consensus-by-betting with forfeitable deposits. PoS has known failure modes that violate Nash equilibrium.

So the point of all this is that Ethereum and all the rest of the crypto coins have not yet solved the fundamental issue of decentralized consensus.

If you want to read a theoretical discussion of why, I did that too.

Okay that is enough from me. Adios.

[sandiman]

This redudancy + partionning paradox is extremely hard to understand for a newbie who's native language is not even english...

It would be really appreciated if someone could rephrase this paradox summing up with easy terms what is the issue and its consequencies

I am years ago of your computer science knowledge and I may stay years ago of your knowledge in this field for the rest of my life since it isn't my study field.

Thank you in advance.  

Hopefully r0ach and others can offer their laymen's summaries.

What you need to know is that Ethereum as it is currently designed can't scale just as Bitcoin can't scale, but the level of scaling which the current Ethereum can do is much less than even Bitcoin's current limitation because verification/validation of Serpent scripts takes more resources than verification/validation of ECDSA signatures.

For both Bitcoin and Ethereum, this is not just an issue of block size limitation. The issue is that in order to scale, the mining becomes more centralized. I think you will should note that Bitcoin and all other major coins are entirely centralized already and on the precipice of failure (all of them! study my links!).

Thus Ethereum proposed Casper which is a design that attempts to use sharding (a.k.a. partitions) to improve scaling decentralized. But I explained in this thread, that can't work. To reduce electricity consumption, Ethereum also proposed PoS-like consensus-by-betting with forfeitable deposits. PoS has known failure modes that violate Nash equilibrium.

So the point of all this is that Ethereum and all the rest of the crypto coins have not yet solved the fundamental issue of decentralized consensus.

If you want to read a theoretical discussion of why, I did that too.

Okay that is enough from me. Adios.

Very interesting answer, thank you a lot for that.

If you are right, positive side should be seen, that all these fails being recognized can be seen as a transition toward a more perfect cryptocurrency. Nonetheless, it seems like you are willing to see a perfect cryptocurrencie, but I am sure I do not need to remind you the saying... Considering Schumpeter's gale, I find it very interesting to look closely how innovation clusters possess destructive cycle in itself. (I hope i was clear, english is not my native language  )

[lostintranslation]

The "transaction" which contains the input data for a script, can be set by any external entity. How do you propose to require that the bits & bytes of that input data declares its dependencies when it is impossible to force the external entity to declare where the data came from? You seem to not understand some basic facts about modularity and type systems in programming. Even if you could force the external entity to declare the full lineage of the input data (i.e. 100% dependently typed), that would require that the scripting can't be programmable, i.e. the external I/O capability would be eliminated...

[TPTB_need_war]

The "transaction" which contains the input data for a script, can be set by any external entity. How do you propose to require that the bits & bytes of that input data declares its dependencies when it is impossible to force the external entity to declare where the data came from? You seem to not understand some basic facts about modularity and type systems in programming. Even if you could force the external entity to declare the full lineage of the input data (i.e. 100% dependently typed), that would require that the scripting can't be programmable, i.e. the external I/O capability would be eliminated...

Note I hedged that above statement (your quote of me above) as follows...

Even if someone argued against my upthread point that strict partitions can't exist for scriptable block chains wherein I claimed this is due to uncontrolled external chaos due to external I/O, there is another unarguable reason that strict partitions can't exist for a scriptable block chain. That is because the gas (currency) transfers must be atomic with the script block confirmation (i.e. if they are orphaned and chain reorganized then they must be done together) so they must be in the same partition. But if the currency for a partition is a static set of UXTO or account balances (i.e. no cross-partition spending), then the system can not function properly.

Yet we also explained above (and even monsterer agrees on this point fwiw) that cross-partition spending breaks the Nash equilibrium.

Thus I continue to maintain my point that Ethereum can not scale with decentralized validation.

[TPTB_need_war]

Very interesting answer, thank you a lot for that.

If you are right, positive side should be seen, that all these fails being recognized can be seen as a transition toward a more perfect cryptocurrency. Nonetheless, it seems like you are willing to see a perfect cryptocurrencie, but I am sure I do not need to remind you the saying... Considering Schumpeter's gale, I find it very interesting to look closely how innovation clusters possess destructive cycle in itself. (I hope i was clear, english is not my native language  )

Well yes there are many experiments leading us hopefully to new frontiers.

My gambit is someone will produce a coin soon that changes the way everyone is looking at these issues. I say that because I think that someone will possibly be me (although I get discouraged when I feel nauseous, ill, and unproductive as of this moment). We will see what happens...

Again adios.

You guys take over the forum.

[andulolika]

What if i told you the shitcoin in my signature is better than eth?

[StinkyLover]

What if i told you the shitcoin in my signature is better than eth?

I would ask if the shitcoin sig pays out in ETH or BTC

[TPTB_need_war]

I leave and the thread goes to shit. 

[andulolika]

What if i told you the shitcoin in my signature is better than eth?

I would ask if the shitcoin sig pays out in ETH or BTC

i dont think i can pay myself for wear it, but there is no campaing.

I leave and the thread goes to shit. 

yah keep on it lol develop dem alts.

[stoat]

I leave and the thread goes to shit. 

At least it's readable now.  You were saying you were developing a shitcoin that will make people look at shitcoins differently, please do go on:

[TPTB_need_war]

I leave and the thread goes to shit.  

At least it's readable now.  You were saying you were developing a shitcoin that will make people look at shitcoins differently, please do go on:

I am reasonably certain you would not understand the following, its relevance, or even that WebSockets now exist in the browser:

https://docs.google.com/document/d/1nL9VauetwYgYtpgSVRmm8_SgH7K2P15GwaGMEbAizGs/edit?usp=sharing&authkey=CLOirMAE

[TPTB_need_war]

Just a heads-up...   I don't have anything specific to say about it:

https://www.youtube.com/watch?v=StMBdBfwn8c

I am 7 minutes into the video, and Vlad Zamfir (developer of Casper) has already not underst00d that proof-of-stake has externalities. I mentioned that to jl777 today:

You have no economically viable attack.

Only of we ignore externalities (external economic motivation). The same applies to the erroneous claim that proof-of-stake is as secure as proof-of-work.

Just because something is possible, that doesnt mean it is certain to happen, especially when it is economically non-viable.

As non-viable as Nxt being controlled by a dictator and Bitshares being controlled by two centralized exchanges.

Also Vlad doesn't seem to fully appreciate that a validator will not be betting against himself if he bets against his historic validation:

To summarize, Proof-of-Stake (including Masternodes of Dash and Casper's consensus-by-betting):

• stakes (or even deposits) aren't permanent because they can be sold (withdrawn), thus historic security is indefensible

Also around the 22 - 23 minute point Vlad makes a reasonable point that having no block reward incentivizes miners to not do game theories that would destroy transaction rate, but he is wrong to assume that is the only possibility. For example a cartel on mining could limit block sizes and thus drive transaction fees higher. Also he is incorrect to imply that proof-of-stake is orthogonal to monetary policy because proof-of-stake can only distribute coins proportionally to stake, which thus the same as no distribution. Vlad has so many myopias, I don't have time to comment on all of them. The myopias are pervasive through the entire interview.

Btw, the interviewing female seems to be quite intelligent. I'm shocked because first female I've seen in crypto currencies and she seems to be a quick thinker.

[hv_]

Just a heads-up...   I don't have anything specific to say about it:

https://www.youtube.com/watch?v=StMBdBfwn8c

Ouffff.... Do they really know they have about 300Mio on stake and seems to me no clue on solving the crux at all?

That's getting hotter than hot.

[hv_]

Finally, I try to post my thinking on future use cases for ETH and IBM/Hyperledger:

Those both will be seen in a race to replace the central Backoffice infra-structs for banks and other corps and will tend/stay central (= bank interconnecting). Nobody of those really want a fully decentralized solution that they cannot really control...

[YarkoL]

Btw, the interviewing female seems to be quite intelligent. I'm shocked because first female I've seen in crypto currencies and she seems to be a quick thinker.

Amanda rules  
https://wiki.mises.org/wiki/Amanda_Billyrock

[monsterer]

I am 7 minutes into the video, and Vlad Zamfir (developer of Casper) has already not underst00d that proof-of-stake has externalities

My primary issue with Casper is that it relies on transactions to form a consensus, however transactions are subject to consensus, which is a chicken and egg problem much more fundamental than this simple analogy sounds.

[TPTB_need_war]

I am 7 minutes into the video, and Vlad Zamfir (developer of Casper) has already not underst00d that proof-of-stake has externalities

My primary issue with Casper is that it relies on transactions to form a consensus, however transactions are subject to consensus, which is a chicken and egg problem much more fundamental than this simple analogy sounds.

Proof-of-stake is self-referential no matter how they try to dice and slice it.

However, Satoshi's proof-of-work has also failed and is already under control of China's mining cartel.

I am moving on...

Monero's design has not solved these issues, but merely delayed them until Monero is popular enough for ASICs to arrive. The adaptive block size of Monero does not remain immune to a cartel of majority hash rate.

[Momimaus]

Just a heads-up...   I don't have anything specific to say about it:

https://www.youtube.com/watch?v=StMBdBfwn8c

I am 7 minutes into the video, and Vlad Zamfir (developer of Casper) has already not underst00d that proof-of-stake has externalities. I mentioned that to jl777 today:

You have no economically viable attack.

Only of we ignore externalities (external economic motivation). The same applies to the erroneous claim that proof-of-stake is as secure as proof-of-work.

Just because something is possible, that doesnt mean it is certain to happen, especially when it is economically non-viable.

As non-viable as Nxt being controlled by a dictator and Bitshares being controlled by two centralized exchanges.

Also Vlad doesn't seem to fully appreciate that a validator will not be betting against himself if he bets against his historic validation:

To summarize, Proof-of-Stake (including Masternodes of Dash and Casper's consensus-by-betting):

• stakes (or even deposits) aren't permanent because they can be sold (withdrawn), thus historic security is indefensible

Also around the 22 - 23 minute point Vlad makes a reasonable point that having no block reward incentivizes miners to not do game theories that would destroy transaction rate, but he is wrong to assume that is the only possibility. For example a cartel on mining could limit block sizes and thus drive transaction fees higher. Also he is incorrect to imply that proof-of-stake is orthogonal to monetary policy because proof-of-stake can only distribute coins proportionally to stake, which thus the same as no distribution. Vlad has so many myopias, I don't have time to comment on all of them. The myopias are pervasive through the entire interview.

Btw, the interviewing female seems to be quite intelligent. I'm shocked because first female I've seen in crypto currencies and she seems to be a quick thinker.

Congratulations. You talked to a guy and watched a video from another. Both are way smarter and way more successful than you. I hope you learned something, but I don´t think so. You are still delusional.

[Momimaus]

Congratulations. You talked to a guy and watched a video from another. Both are way smarter and way more successful than you. I hope you learned something, but I don´t think so. You are still delusional.

Congrats you've confirmed to those who a capable of understanding the technology, that you are incapable of understanding the technology.

You will learn to respect me in the future, when once again I am vindicated on every single point I made.

You think some young inexperienced kids can challenge a person who has been coding for 30+ years. Geez get off my lawn disrespectful imbecile.

Even Vlad admitted he was doing only math and not coding during his short career.

Why should I respect a 24/7-troll?