Use Case

In Farcaster, users can set a recovery address. This is a way to recover a user’s account if they lose their private key. It should not be possible to remove a recovery address once set.

Explanation

Check that a recovery address is set and that it is not possible to remove it.

Code Example

Pre-state: Check if recovery address is set

Post-state: Check if recovery address is removed (it should be allowed to change it)