Goldwasser defines zero knowledge proofs

Shafi Goldwasser, winner of the Association for Computing Machinery's A.M. Turing Award, discusses her work with co-awardee Silvio Micali to introduce the concept of a zero knowledge proof. She also explains its equivalence to the concept of "Arthur-Merlin" games introduced by Babi and Moran. This clip is taken from an interview conducted with Goldwaser by Alon Rosen for the ACM on August 12, 2016 in Rehovat, Israel. Video of the full interview is available as part of Goldwasser’s ACM profile at amturing.acm.o....

[@TechyBen]

"Generalisation of proof systems." This is insightful! I wonder how Constructor Theory or Gödel's incompleteness theorem applies to the limitations of such proofs.

[@BoLin-r7u]

The simulator!

[@aymantimjicht173]

But we can use zero knowldge to have a decision of the correctness of a proof, a correct proof is a proof that we can use her same parameters to have an other decision for similar problems. we assume that the axiom system are correct.

[@aymantimjicht173]

Is tricky, we can't proof axioms. So All proofs are zero knowldge.

[@danielmarkkula3004]

You are making no sense!

[@aymantimjicht173]

You don't understand. Or just for the community image.

[@aymantimjicht173]

You can search. What Axioms means and If we can proof them. If you want to learn.

[@danielmarkkula3004]

@@aymantimjicht173 This has nothing to do with axioms. Search for ”zero knowledge proof”. Alsow what community image?

[@danielmarkkula3004]

@@aymantimjicht173 Read from wikipedia what zero knowledge proof means. It has nothing to do with axioms.