Fully automated selfish mining analysis in efficient proof systems blockchains

DOI10.1145/3662158.3662769MaRDI QIDQ6971947zbMATH OpenFDO

Authors Krishnendu Chatterjee, Amirali Ebrahimzadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Đorđe Žikelić

Publication date 13 June 2025

zbMATH Keywords

Markov decision processformal methodsblockchainselfish miningefficient proof systems

Mathematics Subject Classification ID

Distributed algorithms (68W15) Distributed systems (68M14)

This page was built for publication: Fully automated selfish mining analysis in efficient proof systems blockchains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6971947)