Great idea! A use-case leveraging one of the unique value-propositions of the verifiable computational model offered by Zero-Knowledge Proofs and recursive zkSNARKs