From: Ben Goertzel (firstname.lastname@example.org)
Date: Tue Oct 19 2004 - 21:51:40 MDT
> Doesn't it just have to prove that:
> "If the proof verifier accepts P, then either P or the old proof-verifier
> would have accepted P"
I phrased that badly; I meant:
"If the proof verifier accepts P, then either P is true or the old
would have accepted P"
This archive was generated by hypermail 2.1.5 : Wed Jun 19 2013 - 04:01:08 MDT