no way to compare when less than two revisions
Differences
This shows you the differences between two versions of the page.
— | thedao_attack [2019-08-11 10:43] (current) – created nik | ||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ====TheDAO attack / Ethereum is a Weird Machine ==== | ||
+ | (some [[ethereum_notes|ethereum]] historica. formative, circa 02016) | ||
+ | |||
+ | * 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... | ||
+ |