An #Ethereum #conference
on 02025-10-24“Make #Ethereum Cypherpunk again” by Vitalik
on 02024-01-12#Putin in #Russia favors #Bitcoin and especially #Ethereum, perhaps thanks to the #USA Magnitsky Act imposing sanctions on Russian citizens. #politics
on 02017-08-06#ZCash, #Ethereum, (and #Bitcoin?) in #Venezuela. #politics
on 02017-08-06Discussion thread on today’s #Ethereum #security problem: #Augur’s REP contracts had a fatal bug. This one was fixed without any theft. The auditors blame Serpent
on 02017-07-2965-page #PDF thesis #paper on #formal-methods #Ethereum #smart-contracts development with #Idris. I think this is the first two-author thesis I’ve seen.
on 02017-07-20Bloomberg article about the #DAO heist in #Ethereum. #security
on 02017-06-18The #Brave initial coin offering (ICO) raised US$35M for “BAT”, “Basic Attention Tokens”, in a sort of claim on future goods to be produced by Brave, selling via #Ethereum. 130 people bought them. 20 buyers bought ⅔, which sounds pretty concentrated but is a lot less concentrated than raising a round from VCs.
on 02017-06-07huh, #Ethereum is up to US$168 now (with a high of US$182) up from US$90 or so until May 18 and US$50 or so up to April 26
on 02017-05-28Nick Johnson’s writeup of the #Ethereum Name Service, which uses the Ethereum blockchain and is gatewayed to #DNS at ens.domains; DNS delegates domains to ENS with NS records. Doesn’t seem to offer any advantages over DNS right now.
on 02017-01-05The #Ethereum hard fork because of the #DAO #security breach is for tomorrow
on 02016-10-17The Shanghai, #China #Ethereum developer conference and what it means for the future
on 02016-10-07Dan Boneh on #Bitcoin and #Ethereum and using #formal-methods for #protocols
on 02016-08-01#Ethereum completed its hard fork with 5.5% of the Ether voting due to the #DAO catastrophe
on 02016-07-21Safer smart contracts through type-driven development in #Idris: “We show how dependent and polymorphic types can make smart contract development safer. This is demonstrated by using the functional language Idris to describe smart contracts on the #Ethereum platform.” #formal-methods #pdf
on 02016-07-20#Ethereum and the #DAO: looks like they’ll go with a hard fork?
on 02016-07-11David Wagner presents the recursive-call attack that allowed the #DAO catastrophe in 2008, in the context of #Caja, since #Ethereum and Solidity didn’t exist yet
on 02016-06-22More info on the #Ethereum #DAO catastrophe
on 02016-06-21One of the key announcements in the #Ethereum #DAO catastrophe
on 02016-06-21Vinay Gupta #video on the #DAO #Ethereum catastrophe
on 02016-06-21brief #slides on the #Ethereum network, a sort of Turing-complete replacement for #Bitcoin.
on 02016-04-16