Academic Journal
Verifier's Dilemma in Proof-of-Work Public Blockchains: A Quantitative Analysis.
| Τίτλος: | Verifier's Dilemma in Proof-of-Work Public Blockchains: A Quantitative Analysis. |
|---|---|
| Συγγραφείς: | SMUSEVA, DARIA, MARIN, ANDREA, ROSSI, SABINA, VAN MOORSEL, AAD |
| Πηγή: | ACM Transactions on Modeling & Computer Simulation; Apr2025, Vol. 35 Issue 2, p1-24, 24p |
| Θεματικοί όροι: | Markov processes, Stochastic processes, Bitcoin, Miners, Dilemma, Blockchains |
| Περίληψη: | A blockchain is an immutable ledger driven by a distributed consensus protocol. In public blockchains, such as Bitcoin and Ethereum Classic, consensus is established through a computational effort called Proof-of-Work (PoW). Special users called miners contribute to the PoW in exchange for a fee and also verify the data stored in blocks mined by the other miners. Here is where the Verifier's Dilemma emerges. Verification of blocks does not receive a reward, and to maximise their profits, miners may be incentivised to forego verifying blocks and to only invest their resources in PoW. In this article, we study the Verifier's Dilemma and a possible countermeasure consisting of the injection of invalid blocks using a quantitative model based on Markovian process algebra. To avoid the state space explosion problem, we study the underlying Markov chain by using a lumping that allows us to derive closed-form solutions for interesting performance indices. The analysis demonstrates the circumstances under which non-verifying miners gain fees higher than those of verifying miners. The model also allows us to derive the optimal rate at which invalid blocks must be injected so that skipping the verifying phase becomes economically disadvantageous whereas the throughput of the blockchain is only minimally reduced. The impact on miners' rewards and overall performance is also assessed. [ABSTRACT FROM AUTHOR] |
| Copyright of ACM Transactions on Modeling & Computer Simulation is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Βάση Δεδομένων: | Complementary Index |
| FullText | Text: Availability: 0 CustomLinks: – Url: https://resolver.ebsco.com/c/fiv2js/result?sid=EBSCO:edb&genre=article&issn=10493301&ISBN=&volume=35&issue=2&date=20250401&spage=1&pages=1-24&title=ACM Transactions on Modeling & Computer Simulation&atitle=Verifier%27s%20Dilemma%20in%20Proof-of-Work%20Public%20Blockchains%3A%20A%20Quantitative%20Analysis.&aulast=SMUSEVA%2C%20DARIA&id=DOI:10.1145/3723874 Name: Full Text Finder (for New FTF UI) (ns324271) Category: fullText Text: Full Text Finder MouseOverText: Full Text Finder |
|---|---|
| Header | DbId: edb DbLabel: Complementary Index An: 185367700 RelevancyScore: 994 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 993.545776367188 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Verifier's Dilemma in Proof-of-Work Public Blockchains: A Quantitative Analysis. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22SMUSEVA%2C+DARIA%22">SMUSEVA, DARIA</searchLink><br /><searchLink fieldCode="AR" term="%22MARIN%2C+ANDREA%22">MARIN, ANDREA</searchLink><br /><searchLink fieldCode="AR" term="%22ROSSI%2C+SABINA%22">ROSSI, SABINA</searchLink><br /><searchLink fieldCode="AR" term="%22VAN+MOORSEL%2C+AAD%22">VAN MOORSEL, AAD</searchLink> – Name: TitleSource Label: Source Group: Src Data: ACM Transactions on Modeling & Computer Simulation; Apr2025, Vol. 35 Issue 2, p1-24, 24p – Name: Subject Label: Subject Terms Group: Su Data: <searchLink fieldCode="DE" term="%22Markov+processes%22">Markov processes</searchLink><br /><searchLink fieldCode="DE" term="%22Stochastic+processes%22">Stochastic processes</searchLink><br /><searchLink fieldCode="DE" term="%22Bitcoin%22">Bitcoin</searchLink><br /><searchLink fieldCode="DE" term="%22Miners%22">Miners</searchLink><br /><searchLink fieldCode="DE" term="%22Dilemma%22">Dilemma</searchLink><br /><searchLink fieldCode="DE" term="%22Blockchains%22">Blockchains</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: A blockchain is an immutable ledger driven by a distributed consensus protocol. In public blockchains, such as Bitcoin and Ethereum Classic, consensus is established through a computational effort called Proof-of-Work (PoW). Special users called miners contribute to the PoW in exchange for a fee and also verify the data stored in blocks mined by the other miners. Here is where the Verifier's Dilemma emerges. Verification of blocks does not receive a reward, and to maximise their profits, miners may be incentivised to forego verifying blocks and to only invest their resources in PoW. In this article, we study the Verifier's Dilemma and a possible countermeasure consisting of the injection of invalid blocks using a quantitative model based on Markovian process algebra. To avoid the state space explosion problem, we study the underlying Markov chain by using a lumping that allows us to derive closed-form solutions for interesting performance indices. The analysis demonstrates the circumstances under which non-verifying miners gain fees higher than those of verifying miners. The model also allows us to derive the optimal rate at which invalid blocks must be injected so that skipping the verifying phase becomes economically disadvantageous whereas the throughput of the blockchain is only minimally reduced. The impact on miners' rewards and overall performance is also assessed. [ABSTRACT FROM AUTHOR] – Name: Abstract Label: Group: Ab Data: <i>Copyright of ACM Transactions on Modeling & Computer Simulation is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edb&AN=185367700 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1145/3723874 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 24 StartPage: 1 Subjects: – SubjectFull: Markov processes Type: general – SubjectFull: Stochastic processes Type: general – SubjectFull: Bitcoin Type: general – SubjectFull: Miners Type: general – SubjectFull: Dilemma Type: general – SubjectFull: Blockchains Type: general Titles: – TitleFull: Verifier's Dilemma in Proof-of-Work Public Blockchains: A Quantitative Analysis. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: SMUSEVA, DARIA – PersonEntity: Name: NameFull: MARIN, ANDREA – PersonEntity: Name: NameFull: ROSSI, SABINA – PersonEntity: Name: NameFull: VAN MOORSEL, AAD IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 04 Text: Apr2025 Type: published Y: 2025 Identifiers: – Type: issn-print Value: 10493301 Numbering: – Type: volume Value: 35 – Type: issue Value: 2 Titles: – TitleFull: ACM Transactions on Modeling & Computer Simulation Type: main |
| ResultId | 1 |