Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revisionBoth sides next revision | ||
ethereum_notes [2019-08-11 10:40] – nik | ethereum_notes [2019-08-11 10:41] – nik | ||
---|---|---|---|
Line 16: | Line 16: | ||
====docs, tutorials, etc==== | ====docs, tutorials, etc==== | ||
- | * Ethereum Homestead Documentation | + | * Ethereum Homestead Documentation |
+ | * [[TheDAO attack]] | ||
- | ====TheDAO attack / Ethereum is a Weird Machine ==== | ||
- | |||
- | * http:// | ||
- | * https:// | ||
- | * https:// | ||
- | * https:// | ||
- | * " 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" | ||
- | |||
- | * analysis of the exploit. http:// | ||
- | |||
- | * end of the DAO | ||
- | * https:// | ||
- | * http:// | ||
- | |||
- | * imperative programming for contracts?! | ||
- | * distributed governance | ||
- | * ethereum foundation' | ||
- | * soft fork vs " | ||
- | * 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 ' | ||
- | * "DAO is CoreWar meets Nomic." | ||
- | * smart contracts and smart humans | ||
- | * https:// | ||
- | * TauChain | ||
- | * http:// | ||
- | |||
- | * various thoughts | ||
- | * http:// | ||
- | * http:// | ||
- | |||
- | "The descriptions didn't matter; only the code did. The descriptions didn't allow for today' | ||
- | |||
- | * https:// | ||
- | "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" | ||
- | * hard problems | ||
- | * proposed forks, soft & hard & implications https:// | ||
- | * thinking about smart contract security. https:// | ||
- | |||
- | * language design & formal specification. https:// | ||
- | * Solar-storm: | ||
- | |||
- | * "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, | ||
- | |||
- | * https:// | ||
- | * Solidity language design problems. https:// | ||
- | |||
- | * Notes on the DAO re-entrancy bug and behavioral types (draft) | ||
- | |||
- | * Tezos https:// | ||
- | |||
- | * counter attack | ||
- | * https:// | ||
- | * https:// | ||
- | * fault tolerant smart contracts https:// | ||
- | |||
- | * etc... | ||
- | |||