Mina snapp verification question about mina-state-proof HOT 2 CLOSED

Hey, @frisitano!

What you're talking about is theoretically possible, but it makes no sense. Why?

Well, a circuit generated out of Mina-specific definition (they call it snapp) would in best case result into the simple Pickles proof, which proves some data change. But! Since it is not attached to Mina's state, the proof itself would make no sense, because it would be only about proving data change, but without the initial data state. So such a proof verification would be unrelated to Mina at all.

There is a way to put all the necessary data directly to Ethereum, but in this case the whole thing would simply result into something like StarkNet turning out to be unrelated to Mina again.

from mina-state-proof.

Hey @nemothenoone,

thanks for getting back to me and thank you for clarifying! All the best with the development :)

from mina-state-proof.