TPTB_need_war
|
![](https://bitcointalk.org/Themes/custom1/images/post/xx.gif) |
February 18, 2016, 09:48:54 AM Last edit: February 18, 2016, 12:00:35 PM by 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.pdfThis 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
|
![](https://bitcointalk.org/Themes/custom1/images/post/xx.gif) |
February 18, 2016, 10:07:47 AM Last edit: February 18, 2016, 10:32:54 AM by 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 ![Grin](https://bitcointalk.org/Smileys/default/grin.gif) 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. ![Grin](https://bitcointalk.org/Smileys/default/grin.gif) 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
|
![](https://bitcointalk.org/Themes/custom1/images/post/xx.gif) |
February 18, 2016, 04:05:59 PM |
|
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 ![Grin](https://bitcointalk.org/Smileys/default/grin.gif) 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. ![Grin](https://bitcointalk.org/Smileys/default/grin.gif) 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 ![Shocked](https://bitcointalk.org/Smileys/default/shocked.gif) )
|
|
|
|
lostintranslation
Member
![*](https://bitcointalk.org/Themes/custom1/images/star.gif)
Offline
Activity: 62
Merit: 10
|
![](https://bitcointalk.org/Themes/custom1/images/post/xx.gif) |
February 18, 2016, 04:17:26 PM |
|
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
|
![](https://bitcointalk.org/Themes/custom1/images/post/xx.gif) |
February 18, 2016, 06:05:51 PM |
|
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
|
![](https://bitcointalk.org/Themes/custom1/images/post/xx.gif) |
February 18, 2016, 06:09:35 PM |
|
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 ![Shocked](https://bitcointalk.org/Smileys/default/shocked.gif) ) 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
Legendary
Offline
Activity: 2310
Merit: 1047
|
![](https://bitcointalk.org/Themes/custom1/images/post/xx.gif) |
February 18, 2016, 07:51:10 PM |
|
What if i told you the shitcoin in my signature is better than eth?
|
|
|
|
StinkyLover
Sr. Member
![*](https://bitcointalk.org/Themes/custom1/images/star.gif) ![*](https://bitcointalk.org/Themes/custom1/images/star.gif) ![*](https://bitcointalk.org/Themes/custom1/images/star.gif)
Offline
Activity: 454
Merit: 250
This industry is pure fiction
|
![](https://bitcointalk.org/Themes/custom1/images/post/xx.gif) |
February 19, 2016, 01:03:23 AM |
|
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
|
![](https://bitcointalk.org/Themes/custom1/images/post/xx.gif) |
February 19, 2016, 01:05:47 AM |
|
I leave and the thread goes to shit. ![Tongue](https://bitcointalk.org/Smileys/default/tongue.gif)
|
|
|
|
andulolika
Legendary
Offline
Activity: 2310
Merit: 1047
|
![](https://bitcointalk.org/Themes/custom1/images/post/xx.gif) |
February 19, 2016, 11:24:28 AM |
|
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. ![Tongue](https://bitcointalk.org/Smileys/default/tongue.gif) yah keep on it lol develop dem alts.
|
|
|
|
stoat
|
![](https://bitcointalk.org/Themes/custom1/images/post/xx.gif) |
February 19, 2016, 12:06:13 PM |
|
I leave and the thread goes to shit. ![Tongue](https://bitcointalk.org/Smileys/default/tongue.gif) 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:
|
| FREEDOMRESERVE | Free currency for the British Isles Visit our website for more info <-- Click here! | | FREEDOMRESERVE By the People and for the People |
|
|
|
|
TPTB_need_war
|
![](https://bitcointalk.org/Themes/custom1/images/post/xx.gif) |
February 19, 2016, 08:41:58 PM Last edit: February 19, 2016, 09:15:02 PM by 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. 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_
Legendary
Offline
Activity: 2520
Merit: 1055
Clean Code and Scale
|
![](https://bitcointalk.org/Themes/custom1/images/post/xx.gif) |
February 19, 2016, 09:16:29 PM |
|
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.
|
Carpe diem - understand the White Paper and mine honest. Fix real world issues: Check out b-vote.com The simple way is the genius way - Satoshi's Rules: humana veris _
|
|
|
hv_
Legendary
Offline
Activity: 2520
Merit: 1055
Clean Code and Scale
|
![](https://bitcointalk.org/Themes/custom1/images/post/xx.gif) |
February 19, 2016, 09:28:43 PM |
|
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...
|
Carpe diem - understand the White Paper and mine honest. Fix real world issues: Check out b-vote.com The simple way is the genius way - Satoshi's Rules: humana veris _
|
|
|
YarkoL
Legendary
Offline
Activity: 996
Merit: 1013
|
![](https://bitcointalk.org/Themes/custom1/images/post/xx.gif) |
February 19, 2016, 09:30:30 PM |
|
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
|
“God does not play dice"
|
|
|
monsterer
Legendary
Offline
Activity: 1008
Merit: 1007
|
![](https://bitcointalk.org/Themes/custom1/images/post/xx.gif) |
February 19, 2016, 10:35:21 PM |
|
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
|
![](https://bitcointalk.org/Themes/custom1/images/post/xx.gif) |
February 19, 2016, 10:48:09 PM |
|
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
|
![](https://bitcointalk.org/Themes/custom1/images/post/xx.gif) |
February 19, 2016, 10:58:31 PM |
|
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.
|
CoinTracking.info - Your personal Profit / Loss Portfolio Monitor and Tax Tool for all Digital CoinsCoinTracking is analyzing all your trades and generates in real time tons of useful information such as the profit / loss of your trades, your balances, realized and unrealized gains, reports for tax declaration and many more. For Bitcoin and over 3000 altcoins, assets and commodities. Get 10% discount for all packages or create your own affiliate link to get 20% for every sale.
|
|
|
Momimaus
|
![](https://bitcointalk.org/Themes/custom1/images/post/xx.gif) |
February 19, 2016, 11:04:32 PM |
|
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?
|
CoinTracking.info - Your personal Profit / Loss Portfolio Monitor and Tax Tool for all Digital CoinsCoinTracking is analyzing all your trades and generates in real time tons of useful information such as the profit / loss of your trades, your balances, realized and unrealized gains, reports for tax declaration and many more. For Bitcoin and over 3000 altcoins, assets and commodities. Get 10% discount for all packages or create your own affiliate link to get 20% for every sale.
|
|
|
|