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]
A cryptocurrency is a digital or virtual currency that uses cryptography for security. A cryptocurrency is difficult to counterfeit because of this security feature. Many cryptocurrencies are decentralized systems based on blockchain technology, a distributed ledger enforced by a disparate network of computers. A defining feature of a cryptocurrency, and arguably its biggest allure, is its organic nature; it is not issued by any central authority, rendering it theoretically immune to government interference or manipulation.

Though each bitcoin transaction is recorded in a public log, names of buyers and sellers are never revealed – only their wallet IDs. While that keeps bitcoin users’ transactions private, it also lets them buy or sell anything without easily tracing it back to them. That’s why it has become the currency of choice for people online buying drugs or other illicit activities.
Cameron and Tyler Winklevoss, the founders of the Gemini Trust Co. exchange, reported that they had cut their paper wallets into pieces and stored them in envelopes distributed to safe deposit boxes across the United States.[106] Through this system, the theft of one envelope would neither allow the thief to steal any bitcoins nor deprive the rightful owners of their access to them.[105]
^ The word bitcoin first occurred and was defined in the white paper[4] that was published on 31 October 2008.[10] It is a compound of the words bit and coin.[11] There is no uniform convention for bitcoin capitalization. Some sources use Bitcoin, capitalized, to refer to the technology and network and bitcoin, lowercase, to refer to the unit of account.[12] The Wall Street Journal,[13] The Chronicle of Higher Education,[14] and the Oxford English Dictionary[11] advocate use of lowercase bitcoin in all cases, a convention followed throughout this article.
Full clients verify transactions directly by downloading a full copy of the blockchain (over 150 GB As of January 2018).[100] They are the most secure and reliable way of using the network, as trust in external parties is not required. Full clients check the validity of mined blocks, preventing them from transacting on a chain that breaks or alters network rules.[7]:ch. 1 Because of its size and complexity, downloading and verifying the entire blockchain is not suitable for all computing devices.

Ethereum's smart contracts are based on different computer languages, which developers use to program their own functionalities. Smart contracts are high-level programming abstractions that are compiled down to EVM bytecode and deployed to the Ethereum blockchain for execution. They can be written in Solidity (a language library with similarities to C and JavaScript), Serpent (similar to Python, but deprecated), LLL (a low-level Lisp-like language), and Mutan (Go-based, but deprecated). There is also a research-oriented language under development called Vyper (a strongly-typed Python-derived decidable language).

These decentralized applications (or “dapps”) gain the benefits of cryptocurrency and blockchain technology. They can be trustworthy, meaning that once they are “uploaded” to Ethereum, they will always run as programmed. They can control digital assets in order to create new kinds of financial applications. They can be decentralized, meaning that no single entity or person controls them.
Network nodes can validate transactions, add them to their copy of the ledger, and then broadcast these ledger additions to other nodes. To achieve independent verification of the chain of ownership each network node stores its own copy of the blockchain.[80] About every 10 minutes, a new group of accepted transactions, called a block, is created, added to the blockchain, and quickly published to all nodes, without requiring central oversight. This allows bitcoin software to determine when a particular bitcoin was spent, which is needed to prevent double-spending. A conventional ledger records the transfers of actual bills or promissory notes that exist apart from it, but the blockchain is the only place that bitcoins can be said to exist in the form of unspent outputs of transactions.[7]:ch. 5
This flexibility makes Ethereum the perfect instrument for blockchain -application. But it comes at a cost. After the Hack of the DAO – an Ethereum based smart contract – the developers decided to do a hard fork without consensus, which resulted in the emerge of Ethereum Classic. Besides this, there are several clones of Ethereum, and Ethereum itself is a host of several Tokens like DigixDAO and Augur. This makes Ethereum more a family of cryptocurrencies than a single currency.
Monero is the most prominent example of the CryptoNight algorithm. This algorithm was invented to add the privacy features Bitcoin is missing. If you use Bitcoin, every transaction is documented in the blockchain and the trail of transactions can be followed. With the introduction of a concept called ring-signatures, the CryptoNight algorithm was able to cut through that trail.

As of November 2017, Bitcoin and other digital currencies are outlawed only in Bangladesh, Bolivia, Ecuador, Kyrgyzstan and Vietnam, with China and Russia being on the verge of banning them as well. Other jurisdictions, however, do not make the usage of cryptocurrencies illegal as of yet, but the laws and regulations can vary drastically depending on the country.
There is no company or centralized organization that controls Ethereum. Ethereum is maintained and improved over time by a diverse global community of contributors who work on everything from the core protocol to consumer applications. This website, just like the rest of Ethereum, was built - and continues to be built - by a collection of people working together.
Because of bitcoin's decentralized nature and its trading on online exchanges located in many countries, regulation of bitcoin has been difficult. However, the use of bitcoin can be criminalized, and shutting down exchanges and the peer-to-peer economy in a given country would constitute a de facto ban.[176] The legal status of bitcoin varies substantially from country to country and is still undefined or changing in many of them. Regulations and bans that apply to bitcoin probably extend to similar cryptocurrency systems.[177]

As can be seen from the data on this page, Ethereum’s price has been enormously volatile and therefore highly unpredictable over the short-term. However, longer-term trends are easier to predict, with fundamental metrics such as the total number of developers, community discussion and GitHub pull requests indicating a more accurate future price trend. Other methods to predict the price of Ethereum include metrics such as Network Value to Transaction ratio (NVT ratio) and the relative prices between coins. The method that we find most interesting is in that of the Ethereum-based prediction market, Augur. These predictions source the “wisdom of the crowd” to determine the likelihood of an outcome occurring and provide a significant level of insight into the market sentiment.


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.
According to the European Central Bank, the decentralization of money offered by bitcoin has its theoretical roots in the Austrian school of economics, especially with Friedrich von Hayek in his book Denationalisation of Money: The Argument Refined,[132] in which Hayek advocates a complete free market in the production, distribution and management of money to end the monopoly of central banks.[133]:22
As a cryptocurrency attracts more interest, mining becomes harder and the amount of coins received as a reward decreases. For example, when Bitcoin was first created, the reward for successful mining was 50 BTC. Now, the reward stands at 12.5 Bitcoins. This happened because the Bitcoin network is designed so that there can only be a total of 21 mln coins in circulation.
An official investigation into bitcoin traders was reported in May 2018.[186] The U.S. Justice Department launched an investigation into possible price manipulation, including the techniques of spoofing and wash trades.[187][188][189] Traders in the U.S., the U.K, South Korea, and possibly other countries are being investigated.[186] Brett Redfearn, head of the U.S. Securities and Exchange Commission's Division of Trading and Markets, had identified several manipulation techniques of concern in March 2018.

Ethereum was announced at the North American Bitcoin Conference in Miami, in January, 2014.[9] During the same time as the conference, a group of people rented a house in Miami: Gavin Wood, Charles Hoskinson, and Anthony Di Iorio, a Torontonian who financed the project.[9] Di Iorio invited friend Joseph Lubin, who invited reporter Morgen Peck, to bear witness.[9] Six months later the founders met again in a house in Zug, Switzerland, where Buterin told the founders that the project would proceed as a non-profit. Hoskinson left the project at that time.[9]
There are several different types of cryptocurrency wallets that cater for different needs. If your priority is privacy, you might want to opt for a paper or a hardware wallet. Those are the most secure ways of storing your crypto funds. There are also ‘cold’ (offline) wallets that are stored on your hard drive and online wallets, which can either be affiliated with exchanges or with independent platforms.
In May 2018, Bitcoin Gold (and two other cryptocurrencies) were hit by a successful 51% hashing attack by an unknown actor, in which exchanges lost estimated $18m.[citation needed] In June 2018, Korean exchange Coinrail was hacked, losing US$37 million worth of altcoin. Fear surrounding the hack was blamed for a $42 billion cryptocurrency market selloff.[72] On 9 July 2018 the exchange Bancor had $23.5 million in cryptocurrency stolen.[73]
In Ethereum all smart contracts are stored publicly on every node of the blockchain, which has costs.[56] Being a blockchain means it is secure by design and is an example of a distributed computing system with high Byzantine fault tolerance. The downside is that performance issues arise in that every node is calculating all the smart contracts in real time, resulting in lower speeds.[56] As of January 2016, the Ethereum protocol could process about 25 transactions per second.[56] In comparison, the Visa payment platform processes 45,000 payments per second leading some to question the scalability of Ethereum.[57] On 19 December 2016, Ethereum exceeded one million transactions in a single day for the first time.[58]
Essentially, any cryptocurrency network is based on the absolute consensus of all the participants regarding the legitimacy of balances and transactions. If nodes of the network disagree on a single balance, the system would basically break. However, there are a lot of rules pre-built and programmed into the network that prevents this from happening.

Cameron and Tyler Winklevoss, the founders of the Gemini Trust Co. exchange, reported that they had cut their paper wallets into pieces and stored them in envelopes distributed to safe deposit boxes across the United States.[106] Through this system, the theft of one envelope would neither allow the thief to steal any bitcoins nor deprive the rightful owners of their access to them.[105]


Mining is a record-keeping service done through the use of computer processing power.[f] Miners keep the blockchain consistent, complete, and unalterable by repeatedly grouping newly broadcast transactions into a block, which is then broadcast to the network and verified by recipient nodes.[79] Each block contains a SHA-256 cryptographic hash of the previous block,[79] thus linking it to the previous block and giving the blockchain its name.[7]:ch. 7[79]
×