Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic Logic Programming

In Bitcoin, if a miner is able to solve a computationally hard problem called proof of work, it will receive an amount of bitcoin as a reward which is the sum of the fees for the transactions included in a block plus an amount inversely proportional to the number of blocks discovered so far. At the moment of writing, the block reward is several orders of magnitude greater than the sum of transaction fees. Usually, miners try to collect the largest reward by including transactions associated with high fees. The main purpose of transaction fees is to prevent network spamming. However, they are also used to prioritize transactions. In order to use the minimum amount of fees, users usually have to find a compromise between fees and urgency of a transaction. In this paper, we develop a probabilistic logic model to experimentally analyze how fees affect confirmation time and miner’s revenue and to predict if an increase of average fees will generate a situation when the miner gets more reward by not following the protocol.

[1]  Daniel Davis Wood,et al.  ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER , 2014 .

[2]  Emin Gün Sirer,et al.  StableFees: A Predictable Fee Market for Cryptocurrencie , 2019, SSRN Electronic Journal.

[3]  Rainer Böhme,et al.  Trends, Tips, Tolls: A Longitudinal Study of Bitcoin Transaction Fees , 2014, Financial Cryptography Workshops.

[4]  Cryptocurrencies as a Financial Asset: A Systematic Analysis , 2019 .

[5]  David Poole,et al.  The Independent Choice Logic for Modelling Multiple Agents Under Uncertainty , 1997, Artif. Intell..

[6]  Satoshi Nakamoto Bitcoin : A Peer-to-Peer Electronic Cash System , 2009 .

[7]  Meni Rosenfeld,et al.  Analysis of Hashrate-Based Double Spending , 2014, ArXiv.

[8]  S. Matthew Weinberg,et al.  On the Instability of Bitcoin Without the Block Reward , 2016, CCS.

[9]  Vitalik Buterin A NEXT GENERATION SMART CONTRACT & DECENTRALIZED APPLICATION PLATFORM , 2015 .

[10]  Fabrizio Riguzzi,et al.  Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions , 2010, ICLP.

[11]  Ladislav Kristoufek,et al.  BitCoin meets Google Trends and Wikipedia: Quantifying the relationship between phenomena of the Internet era , 2013, Scientific Reports.

[12]  A. Tiwari,et al.  Does Bitcoin hedge global uncertainty? Evidence from wavelet-based quantile-in-quantile regressions , 2016 .

[13]  Luc De Raedt,et al.  Probabilistic (logic) programming concepts , 2015, Machine Learning.

[14]  Fabrizio Riguzzi,et al.  Approximate Inference for Logic Programs with Annotated Disjunctions , 2010, ILP.

[15]  Evelina Lamma,et al.  Modeling Bitcoin Protocols with Probabilistic Logic Programming , 2018, PLP@ILP.

[16]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[17]  Jonathan Katz,et al.  Incentivizing Blockchain Forks via Whale Transactions , 2017, Financial Cryptography Workshops.

[18]  Ittay Eyal,et al.  The Gap Game , 2018, SYSTOR.

[19]  Fabrizio Riguzzi MCINTYRE: A Monte Carlo System for Probabilistic Logic Programming , 2013, Fundam. Informaticae.

[20]  Paraskevi Katsiampa Volatility estimation for Bitcoin: A comparison of GARCH models , 2017 .

[21]  Fabrizio Riguzzi,et al.  cplint on SWISH: Probabilistic Logical Inference with a Web Browser , 2017, Intelligenza Artificiale.

[22]  Bitcoin Proof of Stake: A Peer-to-Peer Electronic Cash System , 2020 .

[23]  Shoji Kasahara,et al.  Priority Mechanism of Bitcoin and Its Effect on Transaction-Confirmation Process , 2016, ArXiv.

[24]  Tsutomu Matsumoto,et al.  Can We Stabilize the Price of a Cryptocurrency?: Understanding the Design of Bitcoin and Its Potential to Compete with Central Bank Money , 2014 .

[25]  Melanie Swan,et al.  Blockchain: Blueprint for a New Economy , 2015 .

[26]  Taisuke Sato,et al.  A Statistical Learning Method for Logic Programs with Distribution Semantics , 1995, ICLP.

[27]  Maurice Bruynooghe,et al.  Logic programs with annotated disjunctions , 2004, NMR.

[28]  Luc De Raedt,et al.  DTProbLog: A Decision-Theoretic Probabilistic Prolog , 2010, AAAI.

[29]  Fabrizio Riguzzi,et al.  Probabilistic Logic Programming in Action , 2015, BIRS-IMLKE.

[30]  David T. Koops Predicting the confirmation time of Bitcoin transactions , 2018, ArXiv.

[31]  Stuart Haber,et al.  How to time-stamp a digital document , 1990, Journal of Cryptology.

[32]  Fabrizio Riguzzi,et al.  A Comparison of MCMC Sampling for Probabilistic Logic Programming , 2019, AI*IA.

[33]  Sooyong Park,et al.  Where Is Current Research on Blockchain Technology?—A Systematic Review , 2016, PloS one.

[34]  Fabrizio Riguzzi,et al.  Probabilistic Logical Inference on the Web , 2016, AI*IA.

[35]  Camilo Rocha,et al.  Double-spend Attack Models with Time Advantange for Bitcoin , 2016, CLEI Selected Papers.

[36]  Fabrizio Riguzzi,et al.  The distribution semantics for normal programs with function symbols , 2016, Int. J. Approx. Reason..

[37]  Kai Spohrer,et al.  A Blockchain Research Framework , 2017, Business & Information Systems Engineering.

[38]  Fabrizio Riguzzi,et al.  Foundations of Probabilistic Logic Programming , 2018 .

[39]  Holger Paul Keeler,et al.  Block arrivals in the Bitcoin blockchain , 2018, ArXiv.

[40]  Evelina Lamma,et al.  Probabilistic logic programming on the web , 2016, Softw. Pract. Exp..

[41]  Davide Nitti Hybrid Probabilistic Logic Programming , 2016 .

[42]  Khaled Salah,et al.  Blockchain for AI: Review and Open Research Challenges , 2019, IEEE Access.

[43]  Pavlin Mavrodiev,et al.  The digital traces of bubbles: feedback cycles between socio-economic signals in the Bitcoin economy , 2014, Journal of The Royal Society Interface.

[44]  Nir Friedman,et al.  Probabilistic Graphical Models: Principles and Techniques - Adaptive Computation and Machine Learning , 2009 .