If we can prove correct state transitions, it opens up ways to build mints that can be punished when they cheat in the future.