Re: Who wants to be a millionaire

It would be necessary to reduce the criteria used by the purchaser into algorithmic form. Write a program which would take the data and produce a yes/no answer. The program has to be such that even if the seller knows the program, he can't produce fake data which would fool the program. Then the seller can commit to his data and produce a zero-knowledge proof that the committed data satisfies the criteria in the program. This can be done reasonably efficiently for moderate sized programs. It will leak no information about the data other than the yes/no answer from the program.

Nomen Nescio wrote:
But BLD would still be able to cheat the seller, wouldn't they? The account number might be valid but unfunded, or any variation on that. I'm looking for a way for each party to be sure he gets what he wants, with no trusted third party and no recourse to government. -- Steve Furlong Computer Condottiere Have GNU, Will Travel 617-670-3793 "Good people do not need laws to tell them to act responsibly while bad people will find a way around the laws." -- Plato

At 06:10 PM 10/4/01 +0200, Nomen Nescio wrote:
I don't think this is possible --the inputs (e.g., scan newsfeeds for "bin Laden" and "funeral"; or require a weekly warm-biometric check from the dude) could always be spoofed. The program has to be such that even if the seller knows
the program, he can't produce fake data which would fool the program.
I don't see how this is possible; some set of inputs must trigger a payoff.
participants (3)
-
David Honig
-
Nomen Nescio
-
Steve Furlong