There's more.

Hack prevention: that's what we are focused on. But the State Oracle also enables a bunch of additional use cases.

Here are a few:

On-chain bounties: Protocols can define bug bounty programs through assertions. If you can create a transaction that invalidates an assertion you can claim the bounty connected to it.

Escape Hatches: Account Abstraction enables delegation of user actions. This can be leveraged to trigger automatic position liquidation when a valid PoP or PoR is submitted.

Automated Mitigation: If a Proof of Possibility can be provided a mitigation can be triggered to pause a contract or similar. This enables timely reactions to potential exploits before they materialize.

Insurance: Proof of Realization introduces a primitive for smart contracts to consume information about protocol hacks enabling the development of automated on-chain insurance mechanisms.