A place for talking about the Ethereum Virtual Machine on Farcaster.

If I received a transfer of an ERC20 token (say, USDC), what would need to be true to be able to later prove onchain that the transfer occurred?

Other than still having that token in my account, of course. I'm thinking about things like being able to prove that I received the transfer from a given account.

building /hatsprotocol | 
proudly mid-curving it since 1995

What exactly are you trying to do, can you just eth_getLogs for the Transfer log?

Security at Optimism. Formerly built Umbra and more at ScopeLift

I don't think what I'm hoping to do is possible without either a custom token or external input. I would ideally like to be able to submit some kind of proof of the previous transfer that a smart contract can verify, ie so that other contracts can use that data point as an input to their logic.

Maybe this could be done with something like Axiom?

Maybe this could be done with something like Axiom?

https://www.axiom.xyz/

You will be able to do this with native interop on OP chains, where any event can be used as an initiating messages. Then you can execute that message on other chains—or in your case on the same chain—with a guarantee that the input log exists :)

well that’s dope! Is there a rough timeline for this?

You will be able to do this with native interop on OP chains, where any event can be used as an initiating messages. Then you can execute that message on other chains—or in your case on the same chain—with a guarantee that the input log exists :)

https://specs.optimism.io/interop/overview.html