Many people believe that cryptocurrencies are the hottest investment opportunity currently available. Indeed, there are many stories of people becoming millionaires through their Bitcoin investments. Bitcoin is the most recognizable digital currency to date, and just last year one BTC was valued at $800. In November 2017, the price of one Bitcoin exceeded $7,000.
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.
Augur is an open-source prediction & forecasting market platform that allows anyone to forecast events and get rewarded for predicting them correctly. Predictions on future real world events, like who will win the next US election, are carried out by trading virtual shares. If a person buys shares in a winning prediction, they receive monetary rewards.
All of those factors make mining cryptocurrencies an extremely competitive arms race that rewards early adopters. However, depending on where you live, profits made from mining can be subject to taxation and Money Transmitting regulations. In the US, the FinCEN has issued a guidance, according to which mining of cryptocurrencies and exchanging them for flat currencies may be considered money transmitting. This means that miners might need to comply with special laws and regulations dealing with this type of activities.
Ethereum enables developers to build and deploy decentralized applications. A decentralized application or Dapp serve some particular purpose to its users. Bitcoin, for example, is a Dapp that provides its users with a peer to peer electronic cash system that enables online Bitcoin payments. Because decentralized applications are made up of code that runs on a blockchain network, they are not controlled by any individual or central entity.
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 and started in 2009 when its source code was released as open-source software.:ch. 1 Bitcoins are created as a reward for a process known as mining. They can be exchanged for other currencies, products, and services. 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.