What if:
1. Writes private circuit in Noir
2. Verifies Noir proof in zkVM
👀

• Catholic
• Product Manager of /noir
• Casts about ZK and privacy

What if your proof is argument of knowledge + proof of correct verification. And verifier verifies this proof more succinctly

22 yr old learning to think in terms of proof systems🦀 and learning to model the world

Hmm, you can't do the above without composition, so it's all recursive down the way

Isn't recursive proof like composition of multiple proof or above could be also counted as one?