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.[101] 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.[100]
The bitcoin blockchain is a public ledger that records bitcoin transactions.[75] It is implemented as a chain of blocks, each block containing a hash of the previous block up to the genesis block[c] of the chain. A network of communicating nodes running bitcoin software maintains the blockchain.[32]:215–219 Transactions of the form payer X sends Y bitcoins to payee Z are broadcast to this network using readily available software applications.
The price of bitcoins has gone through cycles of appreciation and depreciation referred to by some as bubbles and busts.[159] In 2011, the value of one bitcoin rapidly rose from about US$0.30 to US$32 before returning to US$2.[160] In the latter half of 2012 and during the 2012–13 Cypriot financial crisis, the bitcoin price began to rise,[161] reaching a high of US$266 on 10 April 2013, before crashing to around US$50. On 29 November 2013, the cost of one bitcoin rose to a peak of US$1,242.[162] In 2014, the price fell sharply, and as of April remained depressed at little more than half 2013 prices. As of August 2014 it was under US$600.[163] During their time as bitcoin developers, Gavin Andresen[164] and Mike Hearn[165] warned that bubbles may occur.

Ether is a token whose blockchain is generated by the Ethereum platform. Ether can be transferred between accounts and used to compensate participant mining nodes for computations performed.[3] Ethereum provides a decentralized virtual machine, the Ethereum Virtual Machine (EVM), which can execute scripts using an international network of public nodes.[4] The virtual machine's instruction set, in contrast to others like Bitcoin Script, is thought to be Turing-complete. "Gas", an internal transaction pricing mechanism, is used to mitigate spam and allocate resources on the network.[4]

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]

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).

Full clients verify transactions directly by downloading a full copy of the blockchain (over 150 GB As of January 2018).[95] 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.

The price of bitcoins has gone through cycles of appreciation and depreciation referred to by some as bubbles and busts.[159] In 2011, the value of one bitcoin rapidly rose from about US$0.30 to US$32 before returning to US$2.[160] In the latter half of 2012 and during the 2012–13 Cypriot financial crisis, the bitcoin price began to rise,[161] reaching a high of US$266 on 10 April 2013, before crashing to around US$50. On 29 November 2013, the cost of one bitcoin rose to a peak of US$1,242.[162] In 2014, the price fell sharply, and as of April remained depressed at little more than half 2013 prices. As of August 2014 it was under US$600.[163] During their time as bitcoin developers, Gavin Andresen[164] and Mike Hearn[165] warned that bubbles may occur.