5 ms·

I watched Ethereum for several months after the initial announcement and was really excited about it. I know the network went live recently and it surprises me

I watched Ethereum for several months after the initial announcement and was really excited about it. I know the network went live recently and it surprises me how little it's been discussed at places like HN. How are things going as far as tech, adoption, etc for Ethereum for those in the know?

steckerbrett 11y ago
What did you expect to be able to do with it, exactly?
- Moshe_Silnorin 11y ago
  I'm interested in it, mainly as a tool of regulatory arbitrage. I chiefly find it interesting as a means of making decentralized prediction markets. Our governments don't seem to want to allow the innovation. However, if we can get a decentralized Prediction market liquid and running, then I think there will be significant pressure for the government to legalize centralized prediction markets, which will be much more efficient.
  - steckerbrett 11y ago
    Why does Ethereum help, and why do you believe Ethereum is invulnerable to the law?
    - Moshe_Silnorin 11y ago
      It allows you to build incentive structures that are not centrally controlled. There is no server to raid. This comes at the cost of enormous scaling issues. However,it looks like it will be able to handle a market with about $500 million in volume per year - at this point I hope the advantages of prediction markets will be clear enough that centralized markets will be made legal. Centralized markets are vastly preferable in most respects.
  - adrianmacneil 11y ago
    You might be interested in http://www.augur.net/ http://www.augur.net/. Although, I believe it uses its own native token, rather than being built directly on top of bitcoin or ethereum.
    - Moshe_Silnorin 11y ago
      Augur is built directly on Ethereum. Truthcoin will be making its own chain. I don't care who wins, and to be honest I don't give either a very high chance. I really really think prediction markets should exist though, So I applaud both efforts. One real big problem is nobody wants to bet using shady highly volatile currency like Bitcoin or Ether. I'd much prefer USD markets, Vitalik has some ideas about making stable coins that track USD. Hopefully that works out.
      - drdeca 11y ago
        the DAI project (originally eDollar, which is now intended to be built using DAI) which tracks a value which I think is like, some basket of different currencies, is being worked on. I don't really understand the mechanism by which it is meant to track the price of the basket of currencies, but I haven't seen many criticisms of it?
    - tonysakich 11y ago
      Hey thanks for sharing our project on this post! Just wanted to clear something up from what you said. Augur's native token is not what is used to create markets, Augur's token is Called REP (short for Reputation) and holders of the token actually serve as reporters that serve as the basis of our decentralized oracle system. We created a few resources to explain how REP works including how REP holders are rewarded for reporting the truth/punished for reporting lies. We created a short two minute animated video to explain this process you can check out here: https://www.youtube.com/watch?v=sCms-snzHk4 https://www.youtube.com/watch?v=sCms-snzHk4. Additionally there is a great resource going into much further detail about Reputation as well as an infographic to visually illustrate the process here: http://www.augur.net/blog/what-is-reputation http://www.augur.net/blog/what-is-reputation Finally feel free to reach out if you have any other questions. The Augur Alpha is out at http://demo.augur.net http://demo.augur.net and our code is on github at http://github.com/augurproject http://github.com/augurproject
mannykannot 11y ago
I am curious how one goes about verifying that these "trustless transactions of arbitrary (turing-complete!) complexity" will have the behavior that you expect (as a participant) or intend (as an author) for them to have, and that they are proof from subversion by a malicious counter- or third party. After all, this is not exactly a solved problem anywhere else Turing-complete complexity is employed, and it would seem to nullify the point of trustlessness if you are relying on someone else's word on this matter.
- drdeca 11y ago
  Well, the compiled code is available, and if they provide the source code, you can verify that it compiles to the code on chain (or, you can analyze the code on chain without the source code of the contract, but that is harder). The source code for the contract can be made to have a proof of correctness in it, or, as it is probably not all that long, if you look at the source code long enough you can be sufficiently convinced that it runs how you expect it to. Regarding the problems with turing completeness, any transaction is guaranteed to finish within a particular number of steps, because the transaction includes an amount of "gas", which puts a limit to how many steps the contract will run. If it runs out of gas before finishing, all the changes in the state are reverted (but the person still pays the gas cost). If it finishes, then the extra "gas" is returned. (the transaction specifies some "gas cost", which is how much ether per gas or gas per ether (idr) , and some amount of ether, which is the max cost the transaction is allowed to take. There aren't "gas balances", any "gas" that is transferred just is ether at the end. Its just a unit of how much computation, and the gas price is how much they are willing to pay per amount of computation. I feel like I didn't explain this well...) Checking that the contracts were run correctly is done by anyone verifying the block which contains the contract call. If the miner runs the contract incorrectly, then the people verifying the block will not accept the block as valid, so people won't mine on the block, so it wont end up in the main chain, so the miner will not receive anything from mining the block, and what happens in the wrong execution wont effect anything. I'm not sure if this explanation has been very clear, but I hope it has been clear enough. I can try again if it isn't though.
  - Retra 11y ago

steckerbrett 11y ago

What did you expect to be able to do with it, exactly?

Moshe_Silnorin 11y ago
I'm interested in it, mainly as a tool of regulatory arbitrage. I chiefly find it interesting as a means of making decentralized prediction markets. Our governments don't seem to want to allow the innovation. However, if we can get a decentralized Prediction market liquid and running, then I think there will be significant pressure for the government to legalize centralized prediction markets, which will be much more efficient.
- steckerbrett 11y ago
  Why does Ethereum help, and why do you believe Ethereum is invulnerable to the law?
  - Moshe_Silnorin 11y ago
    It allows you to build incentive structures that are not centrally controlled. There is no server to raid. This comes at the cost of enormous scaling issues. However,it looks like it will be able to handle a market with about $500 million in volume per year - at this point I hope the advantages of prediction markets will be clear enough that centralized markets will be made legal. Centralized markets are vastly preferable in most respects.
- adrianmacneil 11y ago
  You might be interested in http://www.augur.net/ http://www.augur.net/. Although, I believe it uses its own native token, rather than being built directly on top of bitcoin or ethereum.
  - Moshe_Silnorin 11y ago
    Augur is built directly on Ethereum. Truthcoin will be making its own chain. I don't care who wins, and to be honest I don't give either a very high chance. I really really think prediction markets should exist though, So I applaud both efforts. One real big problem is nobody wants to bet using shady highly volatile currency like Bitcoin or Ether. I'd much prefer USD markets, Vitalik has some ideas about making stable coins that track USD. Hopefully that works out.
    - drdeca 11y ago
      the DAI project (originally eDollar, which is now intended to be built using DAI) which tracks a value which I think is like, some basket of different currencies, is being worked on. I don't really understand the mechanism by which it is meant to track the price of the basket of currencies, but I haven't seen many criticisms of it?
  - tonysakich 11y ago
    Hey thanks for sharing our project on this post! Just wanted to clear something up from what you said. Augur's native token is not what is used to create markets, Augur's token is Called REP (short for Reputation) and holders of the token actually serve as reporters that serve as the basis of our decentralized oracle system. We created a few resources to explain how REP works including how REP holders are rewarded for reporting the truth/punished for reporting lies. We created a short two minute animated video to explain this process you can check out here: https://www.youtube.com/watch?v=sCms-snzHk4 https://www.youtube.com/watch?v=sCms-snzHk4. Additionally there is a great resource going into much further detail about Reputation as well as an infographic to visually illustrate the process here: http://www.augur.net/blog/what-is-reputation http://www.augur.net/blog/what-is-reputation Finally feel free to reach out if you have any other questions. The Augur Alpha is out at http://demo.augur.net http://demo.augur.net and our code is on github at http://github.com/augurproject http://github.com/augurproject

mannykannot 11y ago

I am curious how one goes about verifying that these "trustless transactions of arbitrary (turing-complete!) complexity" will have the behavior that you expect (as a participant) or intend (as an author) for them to have, and that they are proof from subversion by a malicious counter- or third party. After all, this is not exactly a solved problem anywhere else Turing-complete complexity is employed, and it would seem to nullify the point of trustlessness if you are relying on someone else's word on this matter.

drdeca 11y ago
Well, the compiled code is available, and if they provide the source code, you can verify that it compiles to the code on chain (or, you can analyze the code on chain without the source code of the contract, but that is harder). The source code for the contract can be made to have a proof of correctness in it, or, as it is probably not all that long, if you look at the source code long enough you can be sufficiently convinced that it runs how you expect it to. Regarding the problems with turing completeness, any transaction is guaranteed to finish within a particular number of steps, because the transaction includes an amount of "gas", which puts a limit to how many steps the contract will run. If it runs out of gas before finishing, all the changes in the state are reverted (but the person still pays the gas cost). If it finishes, then the extra "gas" is returned. (the transaction specifies some "gas cost", which is how much ether per gas or gas per ether (idr) , and some amount of ether, which is the max cost the transaction is allowed to take. There aren't "gas balances", any "gas" that is transferred just is ether at the end. Its just a unit of how much computation, and the gas price is how much they are willing to pay per amount of computation. I feel like I didn't explain this well...) Checking that the contracts were run correctly is done by anyone verifying the block which contains the contract call. If the miner runs the contract incorrectly, then the people verifying the block will not accept the block as valid, so people won't mine on the block, so it wont end up in the main chain, so the miner will not receive anything from mining the block, and what happens in the wrong execution wont effect anything. I'm not sure if this explanation has been very clear, but I hope it has been clear enough. I can try again if it isn't though.
- Retra 11y ago