Тёмный

Goldwasser defines zero knowledge proofs 

Turing Awardee Clips
Подписаться 3,5 тыс.
Просмотров 7 тыс.
50% 1

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.org/award_winner....

Опубликовано:

 

1 ноя 2020

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 9   
@TechyBen
@TechyBen 2 года назад
"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.
@aymantimjicht173
@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.
@user-gn6vr6fq5k
@user-gn6vr6fq5k 10 месяцев назад
The simulator!
@aymantimjicht173
@aymantimjicht173 Месяц назад
Is tricky, we can't proof axioms. So All proofs are zero knowldge.
@danielmarkkula3004
@danielmarkkula3004 28 дней назад
You are making no sense!
@aymantimjicht173
@aymantimjicht173 28 дней назад
You don't understand. Or just for the community image.
@aymantimjicht173
@aymantimjicht173 28 дней назад
You can search. What Axioms means and If we can proof them. If you want to learn.
@danielmarkkula3004
@danielmarkkula3004 20 дней назад
@@aymantimjicht173 This has nothing to do with axioms. Search for ”zero knowledge proof”. Alsow what community image?
@danielmarkkula3004
@danielmarkkula3004 10 дней назад
@@aymantimjicht173 Read from wikipedia what zero knowledge proof means. It has nothing to do with axioms.
Далее
Zero Knowledge Proof - ZKP
10:18
Просмотров 187 тыс.
ТОП 10 Худших игроков Евро-2024
30:22
Lamport on the origins of  Paxos
8:03
Просмотров 4,1 тыс.
Zero Knowledge Proofs
10:16
Просмотров 331 тыс.
Fireside Chat with Shafi Goldwasser  4K
32:35
The Magic of Zero-Knowledge Proofs #SoME3
26:49
Просмотров 60 тыс.
Why Don Knuth Doesn't Use Email - Computerphile
2:33
Просмотров 210 тыс.
Zero knowledge made simple | Justin Thaler
1:24:53
Просмотров 9 тыс.
Zero Knowledge Proof (with Avi Wigderson)  - Numberphile
33:38