Storia di ZK: Cosa ho sentito da Shafi Goldwasser, co-inventore di ZK (e vincitrice del premio Turing). Non è iniziato come "prove". Il documento su ZK è stato rifiutato 4-5 volte da conferenze con revisione paritaria. I matematici si sono opposti fermamente a chiamare queste cose "prove". I dettagli: Non stava cercando di definire un nuovo modello per le prove. Affatto. Lei e i suoi coautori volevano risolvere il problema di giocare a poker usando il telefono. (È successo a molti di noi) A quel punto, era già noto come *mescolare* un mazzo di carte tra due persone che parlano al telefono (senza assunzioni di fiducia e senza terze parti fidate). Il problema era che due giocatori senza assunzioni di fiducia devono seguire le *regole* del gioco, senza che le informazioni vengano rivelate. Questo era ciò che si proponeva di risolvere. E alla fine hanno sviluppato un protocollo per i due giocatori per "provare" a vicenda di aver pescato correttamente la prossima carta casuale. Non si sono resi subito conto che si trattava di una forma di prova. Questo fu suggerito loro da Michael Sipser quando glielo descrissero. Ma è una nozione molto strana di "prova". Deve basarsi sulla casualità. Ha una piccola probabilità di errore. Se hai mai visto una "propria" prova matematica (diciamo, per l'infinità dei numeri primi) allora naturalmente ti ribellerai contro un tipo di "prova" così disordinato e soggetto a errori. Ecco perché, per molto tempo, quando Shafi, Silvio e molti altri presentarono queste magiche prove ZK al mondo, la gente si oppose. È un famoso pezzo di lore nella scienza informatica teorica, uno che condividi con i tuoi coetanei dopo che la tua straordinaria sottomissione a STOC o FOCS (conferenze di livello S) è stata rifiutata di nuovo. Dirai "sapevi che il documento su ZK è stato rifiutato 5 volte, e 2 dei coautori hanno finito per ricevere il premio Turing?" Concluderò dicendo che il documento su STARK è stato rifiutato 4 volte, FRI rifiutato due volte. Giusto per dire ;-)