How do I verify that an update message was accepted, and that the expected state transition has occurred? @enzo you mentioned merkle proofs being an option, do we have any clarity on what that will look like?
How do I verify that the canister I’m interacting with does what I think it does? Assuming the code is open source, how do I check that the compiled Wasm matches the deployed actor? Something like a
retrieve function for all canisters should work.