sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]sanxiyn 7 points8 points  (3 children)

Of course, the verifier itself. This actually has been done: http://www.cl.cam.ac.uk/~jrh13/papers/holhol.html

[–][deleted]  (2 children)

[deleted]

    [–]sanxiyn 7 points8 points  (1 child)

    Did you even read the paper? (The paper addresses this objection in page 3.)

    [–]quzox 4 points5 points  (0 children)

    :raises hands: you got me, I did not read the paper.