You are viewing a single comment's thread from:

RE: The SMT Oracles whitepaper.. [call for academics, modelers and deep thinkers]

in #smt-oracles7 years ago

They're a little bit like a notary public, in US Jurisprudence. Sort of. An oracle could even do the same job, if that's what the requirement is for the particular application. "This individual proved their identity and signed this document, stating the document was true."

Sort:  

a high tech ninja notary public. I like it!!!
That is how I will explain them from now on.
XD