The term altcoin has various similar definitions. Stephanie Yang of The Wall Street Journal defined altcoins as "alternative digital currencies,"[20] while Paul Vigna, also of The Wall Street Journal, described altcoins as alternative versions of bitcoin.[21] Aaron Hankins of the MarketWatch refers to any cryptocurrencies other than bitcoin as altcoins.[22]
When it comes to other, less popular cryptocurrencies, the buying options aren’t as diverse. However, there are still numerous exchanges where you can acquire various crypto-coins for flat currencies or Bitcoins. Face-to-face trading is also a popular way of acquiring coins. Buying options depend on particular cryptocurrencies, their popularity as well as your location.

In the end, the majority of the Ethereum community voted to perform a hard fork, and retrieve The DAO investors money. But not everyone agreed with this course of action. This resulted in a split where two parallel blockchains now exist. For those members who strongly disagree with any changes to the blockchain even when hacking occurs there is Ethereum classic. For the majority who agreed to rewrite a small part of the blockchain and return the stolen money to their owners, there is Ethereum.  
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]
Blockchains are secure by design and are an example of a distributed computing system with high Byzantine fault tolerance. Decentralized consensus has therefore been achieved with a blockchain.[29] Blockchains solve the double-spending problem without the need of a trusted authority or central server, assuming no 51% attack (that has worked against several cryptocurrencies).
2) Pseudonymous: Neither transactions nor accounts are connected to real-world identities. You receive Bitcoins on so-called addresses, which are randomly seeming chains of around 30 characters. While it is usually possible to analyze the transaction flow, it is not necessarily possible to connect the real world identity of users with those addresses.
Transactions are verified by network nodes through cryptography and recorded in a public distributed ledger called a blockchain. Bitcoin was invented in 2008 by an unknown person or group of people using the name Satoshi Nakamoto[15] and started in 2009[16] when its source code was released as open-source software.[7]:ch. 1 Bitcoins are created as a reward for a process known as mining. They can be exchanged for other currencies, products, and services.[17] Research produced by University of Cambridge estimates that in 2017, there were 2.9 to 5.8 million unique users using a cryptocurrency wallet, most of them using bitcoin.[18]
×