Modeling the Block Verification Time of Zcash

An important aspect of the propagation delay in blockchain networks is the block verification time, which is also responsible for the so-called verifier’s dilemma. Models for the block verification time can help to understand and improve the verification process. Moreover, modeling the verification time is necessary for blockchain network simulations. In this paper, we present JOIST, a new model for the block verification time of Zcash. We identify computationally complex operations in the verification process of Zcash, and derive our model based on characteristic transaction features. We evaluate JOIST and show that the model is consistently more accurate than existing models, which consider the block size only.

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

[2]  Ling Ren,et al.  Better Late than Never; Scaling Computations in Blockchain by Delaying Transactions , 2020 .

[3]  Jason Teutsch,et al.  Demystifying Incentives in the Consensus Computer , 2015, CCS.

[4]  Florian Tschorsch,et al.  Kadcast: A Structured Approach to Broadcast in Blockchain Networks , 2019, IACR Cryptol. ePrint Arch..

[5]  Kaiwen Zhang,et al.  A Theoretical Model for Block Propagation Analysis in Bitcoin Network , 2022, IEEE transactions on engineering management.

[6]  Miguel Correia,et al.  BlockSim: Blockchain Simulator , 2019, 2019 IEEE International Conference on Blockchain (Blockchain).

[7]  Xiaowen Chu,et al.  Reducing Forks in the Blockchain via Probabilistic Verification , 2019, 2019 IEEE 35th International Conference on Data Engineering Workshops (ICDEW).

[8]  Rob Jansen,et al.  Shadow-Bitcoin: Scalable Simulation via Direct Execution of Multi-threaded Applications , 2015, IACR Cryptol. ePrint Arch..

[9]  S. Nakamoto,et al.  Bitcoin: A Peer-to-Peer Electronic Cash System , 2008 .

[10]  Florian Tschorsch,et al.  Map-Z: Exposing the Zcash Network in Times of Transition , 2019, 2019 IEEE 44th Conference on Local Computer Networks (LCN).

[11]  Eli Ben-Sasson,et al.  Zerocash: Decentralized Anonymous Payments from Bitcoin , 2014, 2014 IEEE Symposium on Security and Privacy.

[12]  Stefan Tai,et al.  ZoKrates - Scalable Privacy-Preserving Off-Chain Computations , 2018, 2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData).

[13]  Kazuyuki Shudo,et al.  Estimation of Data Propagation Time on the Bitcoin Network , 2019, AINTEC '19.

[14]  Hubert Ritzdorf,et al.  On the Security and Performance of Proof of Work Blockchains , 2016, IACR Cryptol. ePrint Arch..

[15]  Saeideh G. Motlagh,et al.  An analytical model for churn process in Bitcoin network with ordinary and relay nodes , 2020, Peer Peer Netw. Appl..