@fisiroky
All security is a matter of economics. Cryptographic security is the best form of security, because it is the most expensive to break. The cost of generating a convincing proof of an invalid state transition (assuming no soundness bugs) is just way higher than slashing.