crypto SDK can end up in inconsistent states

An issue to list all the possible cases where I think we may end up in inconsistent states and we may not have (for now) a way to go back to a consistent state.