A zkApp might need to pay out funds to a user, but if the user has receive != None, it could get stuck.
Allowing preconditions to specify permissions on the account would allow you to prove that the permissions
don't allow the action, enabling a way to handle the failure.
A zkApp might need to pay out funds to a user, but if the user has
receive != None, it could get stuck. Allowing preconditions to specify permissions on the account would allow you to prove that the permissions don't allow the action, enabling a way to handle the failure.