Re: computer-go: Authenticating the identity of a remote go-playing computer program

[John Tromp <John.Tromp@xxxxxx>]

On Mon, Dec 04, 2000 at 11:10:22PM +0000, Steve Pagliarulo wrote:
> We might be able to do this if we have the winners later "prove" it was 
> their program that made the moves.

That's easy: My program is

for (;;)
  play(random legal move);

and the random_number_generator includes such info as cachemisses,
disk seek latencies, ... (to make it REALLY random:)

More subtle is:

for (;;) {
  await opponent move;
  i = current_time_in_microseconds modulo number_of_legal_moves;
  play(i'th legal move);
}

So, just what kind of proof do you desire?

regards,

%!PS                       %  -John Tromp (http://www.cwi.nl/~tromp/)
42 42 scale 7 9 translate .07 setlinewidth .5 setgray/c{arc clip fill
setgray}def 1 0 0 42 1 0 c 0 1 1{0 3 3 90 270 arc 0 0 6 0 -3 3 90 270
arcn 270 90 c -2 2 4{-6 moveto 0 12 rlineto}for -5 2 5{-3 exch moveto
9 0 rlineto}for stroke 0 0 3 1 1 0 c 180 rotate initclip}for showpage