You are viewing a single comment's thread from:
RE: The SMT Oracles whitepaper.. [call for academics, modelers and deep thinkers]
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.