<c​haser:monero.social> AFAIR IOHK's Ouroboros papers (Kiyaias et al.) are full of theorems that analyze a blockchain construction from this perspective. there should be something about equivocation too, because they claimed to have "economic safety" without slashing.

<c​haser:monero.social> I see value in various finality layers for various use cases, e.g. merchant payment processing. I'm doubtful that a slashless construction could allow the safe reduction of the lock depth. it doesn't offer strong guarantees about future behavior.