hrm. i'm pretty sure one can build a proof an (AS2?) object existed at a certain url as long as you trust a third party (e.g. the tlsnotary amazon server thingy, which can be proven to contain certain software).. i don't think it's possible to make this work with an untrusted oracle. i wonder if something equivalent can be done with tls1.3??