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

Pseudonym parties may have a role to play here. @johan-nygren has ideas on how to solve the proof of unique individual problem.

Oracles seem to be part of it and pseudonym parties the other half.