So this post is a comment on Andrew Poelstra's paper "ASICs and Decentralization FAQ"
https://download.wpsoftware.net/bitcoin/asic-faq.pdf about Landauer's limit for cryptocurrency mining. Landauer's principle states that erasing a bit always uses ln(2)*k*T energy where T is the temperature and k is Boltzmann's constant (in other words, erasing bits always produces entropy and use energy). Since conventional computation (by conventional computation I mean irreversible computation) always requires one to erase information, conventional computation is subject to Landauer's limit. However, reversible computation is not subject to Landauer's limit, so reversible computation is potentially many times more efficient than irreversible computation.
Andrew Poelstra argues that ASIC resistance for POW problems is undesirable since ASICs push cryptocurrency mining efficiency towards Landauer's limit and when the efficiency of ASICs reaches Landauer's limit, the probability that one will add the next block to the blockchain will be proportional to the amount of energy used to mine that block. Therefore since energy usage is decentralized, as the efficiency of ASICs reaches Landauer's limit, these ASIC friendly cryptocurrencies will themselves be decentralized.
I have an issue with this reasoning however. As ASICs approach Landauer's limit, people will produce reversible computing devices which are not subject to Landauer's limit. Andrew Poelstra claims that hash-based cryptocurrency mining problems are essentially irreversible and are therefore subject to Landauer's limit. I claim that these POW problems are not subject to Landauer's limit however because the garbage bits produced by hashes can be uncomputed instead of erased. In reversible computation and quantum computation, uncomputing refers to running a computation in reverse in order to erase garbage information. Uncomputing is completely reversible and not subject to Landauer's limit. By using uncomputation, hash-based cryptocurrency mining can be made nearly reversible and therefore not subject to Landaeur's limit. Uncomputation takes as many steps as the original computation. Therefore, if it takes N steps to compute a function on a conventional device, then it will take 2N steps on a reversible device to compute the original computation and then uncompute all of the garbage information accumulated. Uncomputation also has some memory overhead since one must keep all the garbage data in memory until it is time to uncompute (conventional computation does not have this memory overhead since one can delete information at any time using a conventional computer). However, the gains in energy efficiency of reversible computation will eventually exceed the overhead costs of reversible computing devices that comes from storing garbage data and uncomputing that garbage data.
Frank's law states that reversible computation will eventually be necessary for high performance computing-"Achieving the maximum possible computational performance for a given rate of bit dissipation generally requires explicit reversibility not only at the lowest level, but at all levels of computing--in devices, circuits, architectures, languages, and algorithms (a strongly conjectured, but not yet formally proven result-call it Frank's Law)." Eventually reversible devices for mining cryptocurrencies will be more efficient than Landauer's limit for conventional devices. Therefore, the decentralization of cryptocurrency POW problems will never be proportional to the decentralization of energy usage.
Instead of relying on Landauer's limit to enforce the decentralization of POW problems, one should instead employ many different kinds of POW problems for a cryptocurrency. It will be much more difficult to launch a 51 percent attack against a cryptocurrency with 100 different POW problems than it will be to launch such an attack against a cryptocurrency with only one POW. Furthermore, cryptocurrency mining today is essentially a multi-billion dollar pollution contest (whoever produces the most pollution wins) since these POW problems have no other practical use outside the cryptocurrency market. It will be much easier to securely use a useful POW problem in a cryptocurrency if there are many different kinds of POW problems for that cryptocurrency than if there is only one useful POW problem for that cryptocurrency.
-Joseph Van Name Ph.D.
boolesrings.org/jvanname