Modeling the Block Verification Time of Zcash
This work addresses the verifier's dilemma in blockchain networks, specifically for Zcash, but is incremental as it builds on prior modeling efforts.
The authors tackled the problem of modeling block verification time in Zcash to understand propagation delays and improve verification processes, resulting in JOIST, a model that is consistently more accurate than existing size-only models.
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.