Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
ethereum_notes [2019-08-11 10:40] – [Ethereum Notes] nik | ethereum_notes [2023-03-18 12:56] (current) – nik | ||
---|---|---|---|
Line 1: | Line 1: | ||
==== Ethereum Notes ==== | ==== Ethereum Notes ==== | ||
- | overview | + | |
* project -> https:// | * project -> https:// | ||
* wallet -> https:// | * wallet -> https:// | ||
* transactions -> https:// | * transactions -> https:// | ||
- | web 3.0 browsers | + | ====web 3.0 browsers==== |
* https:// | * https:// | ||
* https:// | * https:// | ||
+ | |||
+ | ==== multisig & social custody ==== | ||
+ | * see [[ethereum social custody]] | ||
+ | |||
+ | ==== ENS (Ethereum Name Service)==== | ||
+ | "ENS offers a secure & decentralised way to address resources both on and off the blockchain using simple, human-readable names" | ||
+ | |||
+ | * https:// | ||
+ | * ERC-721 https:// | ||
+ | |||
==== testnet ==== | ==== testnet ==== | ||
Line 16: | Line 26: | ||
====docs, tutorials, etc==== | ====docs, tutorials, etc==== | ||
- | * Ethereum Homestead Documentation | + | * Ethereum Homestead Documentation |
- | + | * [[TheDAO | |
- | + | ||
- | + | ||
- | ====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... | ||
- | |||