Show pageOld revisionsBacklinksBack to top You've loaded an old revision of the document! If you save it, you will create a new version with this data. Media Files==== Ethereum Notes ==== * install, setup, config. https://www.ethereum.org/cli * setup testnet. https://souptacular.gitbooks.io/ethereum-tutorials-and-tips-by-hudson/content/private-chain.html * use the testnet * <code>geth --datadir ~/.ethereum_private init ~/ethereum/test/genesis.json</code> * python client. https://github.com/ethereum/pyethapp ====docs, tutorials, etc==== * Ethereum Homestead Documentation http://www.ethdocs.org/en/latest/ ====TheDAO attack / Ethereum is a Weird Machine ==== * http://pastebin.com/xW16N7Ye * https://news.ycombinator.com/item?id=11921900 * https://blog.ethereum.org/2016/06/17/critical-update-re-dao-vulnerability/ * https://www.reddit.com/r/ethereum/comments/4oiqj7/critical_update_re_dao_vulnerability/ * " I have made use of this feature and have rightfully claimed 3,641,694 ether, and would like to thank the DAO for this reward" http://pastebin.com/CcGUBgDG * end of the DAO https://www.reddit.com/r/ethtrader/comments/4ok2m8/the_dao_is_being_ended_all_funds_to_be_returned/ http://www.wsj.com/articles/investment-fund-based-on-digital-currency-to-wind-down-after-alleged-hack-1466175033 * imperative programming for contracts?! * distributed governance * ethereum foundation's request for halt of trading, request to spam theDAO with transactions. http://pastebin.com/aMKwQcHR * soft fork vs "libertarians in a crisis" * emergent regulation * intent and code (i.e. difference between assumed meaning of contract and behaviour enabled, specifically the recursive call split draining as computationally valid and thus (or not) contractually valid.) * bugs & vunerabilities in immutable contracts * ethereum promises to favour the 'letter' of the law (i.e. "code") over the 'spirit' (i.e. intention of contract authors) yet the response to the attack shows one way a partially decentralised group can favour the 'spirit' over the 'letter' (i.e. softfork/hardfork) * "DAO is CoreWar meets Nomic." * smart contracts and smart humans * https://steemit.com/ethereum/@dantheman/ethereums-not-so-smart-contracts * TauChain * http://tauchain.org/ * various thoughts * http://hackingdistributed.com/2016/06/17/thoughts-on-the-dao-hack/ * http://www.bloomberg.com/view/articles/2016-06-17/blockchain-company-s-smart-contracts-were-dumb "The descriptions didn't matter; only the code did. The descriptions didn't allow for today's hack, but the code did. (By definition! If the code could be hacked, the code allowed for the hack.)" in http://www.bloomberg.com/view/articles/2016-06-17/blockchain-company-s-smart-contracts-were-dumb * https://medium.com/@oaeee/the-rise-of-the-dark-dao-72b21a2212e3 "Now that it has turned out that The DAO was also a huge multi-million bug bounty program" * "We have witnessed the first notable failure of a smart contract. In the wake of this disaster, something profound happened: the nascent flame of a decentralized legal system has materialized" https://www.reddit.com/r/ethereum/comments/4on8ot/did_the_death_of_the_dao_accidentally_give_birth/ * hard problems https://blog.blockstack.org/the-road-ahead-for-ethereum-b5b090bcd1a * proposed forks, soft & hard & implications https://medium.com/@Alex_Amsel/understanding-proposed-ethereum-forks-6abd63a478fc * thinking about smart contract security. https://blog.ethereum.org/2016/06/19/thinking-smart-contract-security/ * language design & formal specification. https://www.reddit.com/r/ethereum/comments/4opjov/the_bug_which_the_dao_hacker_exploited_was_not/ * Solar-storm: A serious security exploit with Ethereum, not just the DAO https://blog.blockstack.org/solar-storm-a-serious-security-exploit-with-ethereum-not-just-the-dao-a03d797d98fa#.qke8vi4ao * "There are also a class of total languages (Coq, Agda, Idris) that are guaranteed to terminate but admit (polymorphic) recursion. This is stronger than FOL but weaker than turing-completeness, and certainly sufficient to implement any feasible contract." https://news.ycombinator.com/item?id=11941758 * https://np.reddit.com/r/ethereum/comments/4p5g0k/future_of_ethereum_functional_over_procedural/d4i66mw * Solidity language design problems. https://www.reddit.com/r/ethereum/comments/4p8cft/this_online_exchange_i_recently_had_shows_the/ * Notes on the DAO re-entrancy bug and behavioral types (draft) https://docs.google.com/document/d/1sGlObhGhoEizBXC30Ww4h1KHKGkmcy4NiCKitIBqiUg/edit?pref=2&pli=1#heading=h.gm4egb3ql9ps * Tezos https://www.tezos.com/language.txt * counter attack * https://www.reddit.com/r/ethereum/comments/4p7mhc/update_on_the_white_hat_attack/ * https://www.reddit.com/r/ethereum/comments/4p5zk9/we_are_doing_a_white_hat_attack_on_the_dao/ * fault tolerant smart contracts https://medium.com/@peterborah/we-need-fault-tolerant-smart-contracts-ec1b56596dbc * etc... Please fill all the letters into the box to prove you're human. Please keep this field empty: SavePreviewCancel Edit summary Note: By editing this page you agree to license your content under the following license: CC Attribution-Share Alike 4.0 International ethereum_notes.1466667034.txt.gz Last modified: 2016-06-23 07:30by nik
nik