Still looking for a consensus expert on stake-based finality gadgets for proof of work blockchains, bonus points if you have studied proof of useful work / MEV market structure etc