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

Yes. The action/question for the Oracle to answer could be: did this person perform all the actions necessary to prove they are a single person using only a single account? If yes, publish. If no, do not publish. This y/n verification keeps the approach simple for the Oracles.

Sort:  

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.

What actions do you have in mind @ned, can you give an example? I have thought a little about it but still think it could be gameable..Anyhow Oracles sounds interesting.

yes, most things can be gameable.....
I think this Post is a request to get input of ideas on how to improve the code parameters ........for one example: so that they can't(or much more difficult to) be gamed.

Loading...