There is ongoing research on how to use formal verification to express and prove non-trivial properties. A Microsoft Research report noted that writing solid smart contracts can be extremely difficult in practice, using The DAO hack to illustrate this problem. The report discussed tools that Microsoft had developed for verifying contracts, and noted that a large-scale analysis of published contracts is likely to uncover widespread vulnerabilities. The report also stated that it is possible to verify the equivalence of a Solidity program and the EVM code.[41]
Cryptocurrencies are systems that allow for the secure payments of online transactions that are denominated in terms of a virtual "token," representing ledger entries internal to the system itself. "Crypto" refers to the fact that various encryption algorithms and cryptographic techniques, such as elliptical curve encryption, public-private key pairs, and hashing functions, are employed.

In Charles Stross' 2013 science fiction novel, Neptune's Brood, the universal interstellar payment system is known as "bitcoin" and operates using cryptography.[236] Stross later blogged that the reference was intentional, saying "I wrote Neptune's Brood in 2011. Bitcoin was obscure back then, and I figured had just enough name recognition to be a useful term for an interstellar currency: it'd clue people in that it was a networked digital currency."[237]


In September 2015, the establishment of the peer-reviewed academic journal Ledger (ISSN 2379-5980) was announced. It covers studies of cryptocurrencies and related technologies, and is published by the University of Pittsburgh.[240] The journal encourages authors to digitally sign a file hash of submitted papers, which will then be timestamped into the bitcoin blockchain. Authors are also asked to include a personal bitcoin address in the first page of their papers.[241][242]
On 29 Novemvber 2017, South Korean Prime Minister Lee Nak-yeon raised concerns that cryptocurrencies were corrupting the youth of South Korea, remarking “There are cases in which young Koreans including students are jumping in to make quick money and virtual currencies are used in illegal activities like drug dealing or multi-level marketing for frauds”.[235]
1) Irreversible: After confirmation, a transaction can‘t be reversed. By nobody. And nobody means nobody. Not you, not your bank, not the president of the United States, not Satoshi, not your miner. Nobody. If you send money, you send it. Period. No one can help you, if you sent your funds to a scammer or if a hacker stole them from your computer. There is no safety net.
Darknet markets present challenges in regard to legality. Bitcoins and other forms of cryptocurrency used in dark markets are not clearly or legally classified in almost all parts of the world. In the U.S., bitcoins are labelled as "virtual assets". This type of ambiguous classification puts pressure on law enforcement agencies around the world to adapt to the shifting drug trade of dark markets.[75]
The rapid price increase of Ethereum has not only attracted investors but developers too. Ethereum has tens of thousands of developers in its open source community, each contributing to the many layers of the “Ethereum stack”. This includes code contributions to the core Ethereum clients, second layer scaling tech and the “decentralized applications” (dApps) that are built on top of the platform. The appeal of Ethereum to developers is unique in that it was the first platform to allow anyone in the world to write and deploy code that would run without the risk of censorship. The community of developers which have formed around these core principles have led to the creation of technologies that could not have existed without the inception of Ethereum, many of which were never predicted. Some of the major use-cases of Ethereum so far have been:
Physical wallets can also take the form of metal token coins[107] with a private key accessible under a security hologram in a recess struck on the reverse side.[108]:38 The security hologram self-destructs when removed from the token, showing that the private key has been accessed.[109] Originally, these tokens were struck in brass and other base metals, but later used precious metals as bitcoin grew in value and popularity.[108]:80 Coins with stored face value as high as ₿1000 have been struck in gold.[108]:102–104 The British Museum's coin collection includes four specimens from the earliest series[108]:83 of funded bitcoin tokens; one is currently on display in the museum's money gallery.[110] In 2013, a Utahn manufacturer of these tokens was ordered by the Financial Crimes Enforcement Network (FinCEN) to register as a money services business before producing any more funded bitcoin tokens.[107][108]:80
This dramatic volatility attracted global attention with the mainstream media running near-daily reports on the price of Ether. The publicity generated has been a major boon for the ecosystem, attracting thousands of new developers and business ventures alike. In 2018 the amount raised through Ethereum-enabled ICOs reached almost $8bn, increasing from just $90m in 2016. While the price of Ethereum has faced extreme volatility over the years, it is this volatility which has driven interest. After every boom and bust cycle, Ethereum comes out the other side with a fundamentally stronger platform and a broader developer community backing it. These fundamental improvements would suggest a positive long-term outlook on the price of Ethereum.

Cryptocurrencies have been compared to Ponzi schemes, pyramid schemes[76] and economic bubbles,[77] such as housing market bubbles.[78] Howard Marks of Oaktree Capital Management stated in 2017 that digital currencies were "nothing but an unfounded fad (or perhaps even a pyramid scheme), based on a willingness to ascribe value to something that has little or none beyond what people will pay for it", and compared them to the tulip mania (1637), South Sea Bubble (1720), and dot-com bubble (1999).[79] The New Yorker has explained the debate based on interviews with blockchain founders in an article about the “argument over whether Bitcoin, Ethereum, and the blockchain are transforming the world”.[80]
As with other cryptocurrencies, the validity of each ether is provided by a blockchain, which is a continuously growing list of records, called blocks, which are linked and secured using cryptography.[30][31] By design, the blockchain is inherently resistant to modification of the data. It is an open, distributed ledger that records transactions between two parties efficiently and in a verifiable and permanent way.[32] Unlike Bitcoin, Ethereum operates using accounts and balances in a manner called state transitions. This does not rely upon unspent transaction outputs (UTXOs). State denotes the current balances of all accounts and extra data. State is not stored on the blockchain, it is stored in a separate Merkle Patricia tree. A cryptocurrency wallet stores the public and private "keys" or "addresses" which can be used to receive or spend ether. These can be generated through BIP 39 style mnemonics for a BIP 32 "HD Wallet". In Ethereum, this is unnecessary as it does not operate in a UTXO scheme. With the private key, it is possible to write in the blockchain, effectively making an ether transaction.
Transactions are defined using a Forth-like scripting language.[7]:ch. 5 Transactions consist of one or more inputs and one or more outputs. When a user sends bitcoins, the user designates each address and the amount of bitcoin being sent to that address in an output. To prevent double spending, each input must refer to a previous unspent output in the blockchain.[81] The use of multiple inputs corresponds to the use of multiple coins in a cash transaction. Since transactions can have multiple outputs, users can send bitcoins to multiple recipients in one transaction. As in a cash transaction, the sum of inputs (coins used to pay) can exceed the intended sum of payments. In such a case, an additional output is used, returning the change back to the payer.[81] Any input satoshis not accounted for in the transaction outputs become the transaction fee.[81]
×