{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T16:09:09Z","timestamp":1783008549087,"version":"3.54.5"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031163357","type":"print"},{"value":"9783031163364","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-16336-4_16","type":"book-chapter","created":{"date-parts":[[2022,9,10]],"date-time":"2022-09-10T18:02:40Z","timestamp":1662832960000},"page":"317-336","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Verifier\u2019s Dilemma in\u00a0Ethereum Blockchain: A Quantitative Analysis"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5893-8259","authenticated-orcid":false,"given":"Daria","family":"Smuseva","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1176-3543","authenticated-orcid":false,"given":"Ivan","family":"Malakhov","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5958-1204","authenticated-orcid":false,"given":"Andrea","family":"Marin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7233-6943","authenticated-orcid":false,"given":"Aad","family":"van Moorsel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1189-4439","authenticated-orcid":false,"given":"Sabina","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,9,11]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Alharby, M., Lunardi, R.C., Aldweesh, A., van Moorsel, A.: Data-driven model-based analysis of the ethereum verifier\u2019s Dilemma. In: 2020 50th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 209\u2013220. IEEE (2020)","DOI":"10.1109\/DSN48063.2020.00038"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.ic.2018.04.002","volume":"260","author":"G Alzetta","year":"2018","unstructured":"Alzetta, G., Marin, A., Piazza, C., Rossi, S.: Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses. Inf. Comput. 260, 99\u2013125 (2018)","journal-title":"Inf. Comput."},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Anjana, P.S., Kumari, S., Peri, S., Rathor, S., Somani, A.: An efficient framework for optimistic concurrent execution of smart contracts. In: 2019 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP), pp. 83\u201392. IEEE (2019)","DOI":"10.1109\/EMPDP.2019.8671637"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Balsamo, S., Marin, A., Mitrani, I., Rebagliati, N.: Prediction of the consolidation delay in blockchain-based applications. In: ICPE 2021: ACM\/SPEC International Conference on Performance Engineering, Virtual Event, France, 19\u201321 April 2021, pp. 81\u201392 (2021)","DOI":"10.1145\/3427921.3450249"},{"key":"16_CR5","unstructured":"Buterin, V., et al.: Ethereum: A next-generation smart contract and decentralized application platform (2014)"},{"issue":"3","key":"16_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3491053","volume":"5","author":"S Das","year":"2021","unstructured":"Das, S., Awathare, N., Ren, L., Ribeiro, V.J., Bellur, U.: Tuxedo: maximizing smart contract computation in PoW blockchains. Proc. ACM Meas. Anal. Comput. Syst. 5(3), 1\u201330 (2021)","journal-title":"Proc. ACM Meas. Anal. Comput. Syst."},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Das, S., Ribeiro, V.J., Anand, A.: YODA: Enabling computationally intensive contracts on blockchains with byzantine and selfish nodes. arXiv preprint arXiv:1811.03265 (2018)","DOI":"10.14722\/ndss.2019.23142"},{"issue":"3","key":"16_CR8","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s00446-019-00357-z","volume":"33","author":"T Dickerson","year":"2020","unstructured":"Dickerson, T., Gazzillo, P., Herlihy, M., Koskinen, E.: Adding concurrency to smart contracts. Distrib. Comput. 33(3), 209\u2013225 (2020). https:\/\/doi.org\/10.1007\/s00446-019-00357-z","journal-title":"Distrib. Comput."},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-030-43725-1_6","volume-title":"Financial Cryptography and Data Security","author":"BB Fiz Pontiveros","year":"2020","unstructured":"Fiz Pontiveros, B.B., Ferreira Torres, C., State, R.: Sluggish mining: profiting from the verifier\u2019s dilemma. In: Bracciali, A., Clark, J., Pintore, F., R\u00f8nne, P.B., Sala, M. (eds.) FC 2019. LNCS, vol. 11599, pp. 67\u201381. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-43725-1_6"},{"key":"16_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"key":"16_CR11","unstructured":"Kalodner, H., Goldfeder, S., Chen, X., Weinberg, S.M., Felten, E.W.: Arbitrum: scalable, private smart contracts. In: 27th USENIX Security Symposium (USENIX Security 18), pp. 1353\u20131370 (2018)"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Luu, L., Teutsch, J., Kulkarni, R., Saxena, P.: Demystifying incentives in the consensus computer. In: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, pp. 706\u2013719 (2015)","DOI":"10.1145\/2810103.2813659"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Marin, A., Rossi, S.: On the relations between lumpability and reversibility. In: MASCOTS, pp. 427\u2013432. IEEE Computer Society (2014)","DOI":"10.1109\/MASCOTS.2014.59"},{"issue":"5","key":"16_CR14","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s00236-016-0266-1","volume":"54","author":"A Marin","year":"2016","unstructured":"Marin, A., Rossi, S.: On the relations between Markov chain lumpability and reversibility. Acta Informatica 54(5), 447\u2013485 (2016). https:\/\/doi.org\/10.1007\/s00236-016-0266-1","journal-title":"Acta Informatica"},{"key":"16_CR15","volume-title":"The NIST Handbook of Mathematical Functions","author":"FWJ Olver","year":"2010","unstructured":"Olver, F.W.J., Lozier, D.W., Boisvert, R.F., Clark, C.W.: The NIST Handbook of Mathematical Functions. Cambridge University Press, Cambridge (2010)"},{"key":"16_CR16","unstructured":"Teutsch, J., Reitwie\u00dfner, C.: A scalable verification solution for blockchains. arXiv preprint arXiv:1908.04756 (2019)"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Yu, L., Tsai, W.T., Li, G., Yao, Y., Hu, C., Deng, E.: Smart-contract execution with concurrent block building. In: 2017 IEEE Symposium on Service-Oriented System Engineering (SOSE), pp. 160\u2013167. IEEE (2017)","DOI":"10.1109\/SOSE.2017.33"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-16336-4_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,10]],"date-time":"2022-09-10T18:04:36Z","timestamp":1662833076000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-16336-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031163357","9783031163364"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-16336-4_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"11 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"QEST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Quantitative Evaluation of Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Warsaw","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"qest2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.qest.org\/qest2022\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"44","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"43% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3-4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}