PreprintCited by 34Blockchain Technology Applications and SecurityCryptography and Data SecurityCryptographic Implementations and Security

The Unreasonable Fundamental Incertitudes Behind Bitcoin Mining

Open access
Courtois, Nicolas T., Grajek, Marek, Naik, Rahul·2013·arXiv

Abstract

Bitcoin is a "crypto currency", a decentralized electronic payment scheme based on cryptography which has recently gained excessive popularity. Scientific research on bitcoin is less abundant. A paper at Financial Cryptography 2012 conference explains that it is a system which "uses no fancy cryptography", and is "by no means perfect". It depends on a well-known cryptographic standard SHA-256. In this paper we revisit the cryptographic process which allows one to make money by producing bitcoins. We reformulate this problem as a Constrained Input Small Output (CISO) hashing problem and reduce the problem to a pure block cipher problem. We estimate the speed of this process and we show that the cost of this process is less than it seems and it depends on a certain cryptographic constant which we estimated to be at most 1.86. These optimizations enable bitcoin miners to save tens of millions of dollars per year in electricity bills. Miners who set up mining operations face many economic incertitudes such as high volatility. In this paper we point out that there are fundamental incertitudes which depend very strongly on the bitcoin specification. The energy efficiency of bitcoin miners have already been improved by a factor of about 10,000, and we claim that further improvements are inevitable. Better technology is bound to be invented, would it be quantum miners. More importantly, the specification is likely to change. A major change have been proposed in May 2013 at Bitcoin conference in San Diego by Dan Kaminsky. However, any sort of change could be flatly rejected by the community which have heavily invested in mining with the current technology. Another question is the reward halving scheme in bitcoin. The current bitcoin specification mandates a strong 4-year cyclic property. We find this property totally unreasonable and harmful and explain why and how it needs to be changed.

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Integrity signals

Registry

DataCite · 10.48550/arxiv.1310.7935

Cites

19 of 19 references verified0 citation errors · 0 not checkable

Statistics

Claims the paper makes

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

The self-check needs the paper’s full text.

Cites

Flagged first, then by citations

48 of the 67 references couldn’t be matched to a known paper.

Research works printed but not linked: 11

  1. [19]19. Bob Briscoe, Andrew Odlyzko and Benjamin Tilly: 'Metcalfe's Law is Wrong, In IEEE Spectrum, July 2006.
  2. [22]22. Nicolas T. Courtois, Daniel Hulme and Theodosis Mourouzis: Solving Circuit Optimisation Problems in Cryptography and Cryptanalysis, In (informal) proceedings of SHARCS 2012 workshop, pp. 179-191, http://2012.sharcs.org/record.pdf . An abridged version appears in the electronic proceedings of the 2nd IMA conference Mathematics in Defence 2011, UK.
  3. [23]23. Nicolas T. Courtois, Daniel Hulme and Theodosis Mourouzis: Multiplicative Complexity and Solving Generalized Brent Equations With SAT Solvers, In COMPUTATION TOOLS 2012, The Third International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, July 22-27, 2012 - Nice, France. Published in IARIA conference web proceedings. ISBN 978-1-61208-222-6, pp. 2227, (c) IARIA 2012, 22 July 2012, http://www.thinkmind.org/index.php?view= article&articleid=computation\_tools\_2012\_1\_40\_80034 . Best paper award.
  4. [27]27. Luigi Dadda, Marco Macchetti, and Jeff Owen: An ASIC design for a high speed implementation of the hash function SHA-256 384, 512, ACM Great Lakes Symposium on VLSI, pp. 421-425. ACM, 2004.
  5. [30]30. Mining digital gold, From the print edition: Finance and economics, The Economist, 13 April 2013.
  6. [31]31. Ittay Eyal, Emin Gun Sirer: Majority is not Enough: Bitcoin Mining is Vulnerable, http://arxiv.org/abs/1311.0243 , 4 Nov 2013. · arXiv
  7. [37]37. Miroslav Knezevic: Efficient Hardware Implementations of Cryptographic Primitives, PhD thesis, Katholieke Universiteit Leuven, 2011
  8. [43]43. Harris E. Michail, George S. Athanasiou, Andreas A. Gregoriades, Ch. L. Panagiotou, Costas E. Goutis: High Throughput Hardware/Software Co-design Approach SHA-256 Hashing Cryptographic Module, Global Journal of Computer Science and Technology, Vol 10,4: 15, 2010.
  9. [47]47. Dan Kaminiski et al , Security Panel at Bitcoin 2013 Conference, see in particular minutes 40-42, http://www.youtube.com/watch?v=si-2niFDgtI
  10. [53]53. ˇ Surda Peter: Economics of Bitcoin: is Bitcoin an alternative to fiat currencies and gold?, Diploma thesis submitted at WU Vienna University of Economics and
  11. [56]56. Stefan Tillich, Martin Feldhofer, Mario Kirschbaum, Thomas Plos, JornMarc Schmidt and Alexander Szekely: Uniform Evaluation of Hardware Implementations of the Round-Two SHA-3 Candidates, In Second SHA3 Conference, http://csrc.nist.gov/groups/ST/hash/sha-3/Round2/Aug2010/ documents/papers/TILLICH\_sha3hw.pdf

Cited by

Sorted by citations

Authors
Courtois, N. T., Grajek, M., & Naik, R.
Venue
arXiv
Publisher
arXiv
Published
2013
ISSN
2331-8422 (ISSN-L)
OpenAlex
W1914453127
Cited by
29
References
67
Citations by year
2024: 3 · 2023: 1 · 2021: 5 · 2019: 2 · 2018: 1 · 2017: 2 · 2016: 4 · 2015: 3 · 2014: 5 · 2013: 3
Type
posted content
Language
en
Open access
Locations
  • arXiv (Cornell University) (submittedVersion)
  • arXiv (Cornell University)
Topics
  • Physical Sciences › Computer Science › Information Systems › Blockchain Technology Applications and Security
  • Physical Sciences › Computer Science › Artificial Intelligence › Cryptography and Data Security
  • Physical Sciences › Computer Science › Artificial Intelligence › Cryptographic Implementations and Security
Keywords
Bitcoin mining, SHA-256, block cipher, energy efficiency, cryptocurrency volatility, cryptographic hash functions

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review