Comments by "xybersurfer" (@xybersurfer) on "Programming with Proofs - Computerphile" video.

  1.  @vinny142  if everyone can verify the certificate, then it doesn't matter who signed it
    1
  2.  @SimonBuchanNz  i suspect that you are thinking about cryptography. but the certificate in the context of this video, is a correctness proof of what the program does. it doesn't matter who provides the proof
    1