No. This would be a tautological violation of zero-knowledge, so it will never be solved. However, if all you care about is the verification proof, then yes, y

No. This would be a tautological violation of zero-knowledge, so it will never be solved. However, if all you care about is the verification proof, then yes, you can prove arbitrary recursions by providing the branch condition evaluations as part of the proof.