Yes, there is, but you need to define what it should be secure against. Then, a proof can be constructed, given particular assumptions. I doubt this will ever

Yes, there is, but you need to define what it should be secure against. Then, a proof can be constructed, given particular assumptions. I doubt this will ever be done for wasm.