Is there some kind of Merkle root of Mina Protocol's state that can ben used to verify that a transaction or an account update has been made successfully by using the witness of those data?
I am going to try to implement a MINA to rollup bridge.
#How to prove that a transaction or an account update has been made
real trail
yes, look at the receipt chain hash
buoyant sierra
I have read this and noticed that this approach requires users to remember all their transactions.
It doesn't seem feasible to verify X amount of Y token has been sent to the bridge smart contract's public key with this way.
Another idea that came into my mind is that modifying the Merkle root of the bridge smart contract by making deposits, and fetching the state of the bridge smart contract, lastly verifying the authenticity of the contract state using something constant sized that represents Mina Network's state.
If there is a Merkle root that represents the entire state of zkapps on Mina Protocol.
I can fetch the new root after every new block and the bridge smart contract's state, so I can verify it.
Is this approach possible and okay?
Or are there better approaches?