{"id":37224,"date":"2026-05-27T04:51:52","date_gmt":"2026-05-27T02:51:52","guid":{"rendered":"https:\/\/xmau.com\/wp\/notiziole\/?p=37224"},"modified":"2026-05-29T16:11:33","modified_gmt":"2026-05-29T14:11:33","slug":"dimostrazioni-a-conoscenza-zero-e-crittografia","status":"publish","type":"post","link":"https:\/\/xmau.com\/notiziole\/2026\/05\/27\/dimostrazioni-a-conoscenza-zero-e-crittografia\/","title":{"rendered":"Dimostrazioni a conoscenza zero e crittografia"},"content":{"rendered":"

Qualche mese fa vi avevo raccontato (qui<\/a>, qui<\/a>, e qui<\/a>) delle dimostrazioni a conoscenza zero. Per chi non si ricorda e non ha voglia di tornare a leggere quei post, rispiego in poche parole di che cosa si tratta: \u00e8 possibile “dimostrare” di conoscere la risposta a un problema complesso senza presentare la soluzione, ma rispondendo semplicemente a una serie di domande. Il punto fondamentale \u00e8 che la risposta a ogni singola domanda non d\u00e0 all’interlocutore nessuna informazione oltre al fatto che abbiamo risposto correttamente alla domanda. C’\u00e8 sempre la possibilit\u00e0 che noi in realt\u00e0 la risposta non la sappiamo e siamo stati fortunati: ma visto che l’interlocutore pu\u00f2 farci quante domande vuole quella probabilit\u00e0 \u00e8 piccola a piacere. Un esempio pratico. Sappiamo che ogni mappa planare pu\u00f2 essere colorata con quattro colori in modo che due regioni confinanti non abbiano mai lo stesso colore. Ci sono per\u00f2 mappe per cui bastano tre colori: ma data una mappa dimostrare che questo \u00e8 possibile \u00e8 un problema spesso intrattabile. Immaginate per\u00f2 che io abbia trovato in qualche modo che una data mappa richiede solo tre colori, e ti voglia vendere la struttura. Voi non volete pagare senza aver visto la colorazione; io non voglio mostrarvi la colorazione prima di essere pagato altrimenti me la copiate e basta. Come si fa? Semplice (quando si sa il trucco)! Io scelgo a caso i tre colori con cui colorare la mappa e poi la copro. Tu mi indichi due regioni confinanti, io scopro solo quelle due regioni e mostro che hanno colore diverso. Certo: se avessi colorato la mappa a caso, avrei comunque mostrato due colori diversi in due casi su tre. Ma io posso fare una nuova colorazione, sempre casuale, e farti scegliere altre due regioni confinanti, diverse o le stesse non importa: di nuovo io ti mostro che hanno colori diversi. A questo punto la probabilit\u00e0 che io abbia avuto fortuna per due volte di fila scende a 1\/9, e andando avanti caler\u00e0 ancora di pi\u00f9; inoltre, proprio perch\u00e9 i colori in ciascuna richiesta sono casuali, non ho la possibilit\u00e0 di fare dei confronti. <\/p>\n

Il problema di questo tipo di dimostrazioni \u00e8 che sono interattive: tu domandi e io rispondo. Nel 1994 i crittografi Oded Goldreich e Yair Oren dimostrarono che \u00e8 impossibile costruire una dimostrazione completatamente non interattiva che sia a conoscenza zero, come indicato sopra e definito formalmente da Shafi Goldwasser, Silvio Micali e Charles Rackoff. Fine della storia? A quanto pare no<\/a>. Rahul Ilango ha messo sotto attento scrutinio la dimostrazione di Goldreich e Oren, e ha notato che dipende dal fatto che per avere una dimostrazione a conoscenza zero tu “sai” cosa io ti dir\u00f2 (che cio\u00e8 le due regioni sono colorate diversamente). Il termine tecnico per questo fatto \u00e8 “esiste un simulatore”. Qui entra in scena G\u00f6del, o meglio Ilango. Cosa succede se ti dico che esiste un simulatore, ma tu non sei in grado di trovarlo? Tecnicamente la dimostrazione di Goldreich e Oren regge: il simulatore esiste. Ma praticamente tu non puoi “sapere” qual \u00e8 il simulatore, quindi la dimostrazione pu\u00f2 essere non interattiva. In pratica (si fa per dire…) non diciamo pi\u00f9 “questa mappa pu\u00f2 essere colorata con tre colori”, ma “questa mappa pu\u00f2 essere colorata con tre colori, se non esiste un metodo efficiente di dimostrare che la matematica non \u00e8 contraddittoria”. Visto che non possiamo essere certi al 100% che la matematica non \u00e8 contraddittoria, non possiamo essere certi al 100% che la dimostrazione non abbia un simulatore, e quindi abbiamo il diritto di non applicare il teorema di Goldreich e Oren. Se vi si \u00e8 annodato il cervello, tranquilli: siete in buona compagnia. <\/p>\n

Quello che mi lascia pi\u00f9 stupito \u00e8 lo sfruttare una limitazione a priori della conoscenza matematica per avanzare la conoscenza matematica stessa: un doppio salto mortale carpiato.<\/p>\n","protected":false},"excerpt":{"rendered":"

In teoria non possono esistere dimostrazioni a conoscenza zero non interattive: in pratica, grazie a G\u00f6del, possiamo trovarle.<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"default","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","ast-disable-related-posts":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"activitypub_content_warning":"","activitypub_content_visibility":"","activitypub_max_image_attachments":3,"activitypub_interaction_policy_quote":"anyone","activitypub_status":"federated","footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"jetpack_post_was_ever_published":false},"categories":[1033,214],"tags":[],"class_list":["post-37224","post","type-post","status-publish","format-standard","hentry","category-matelight-2026","category-matematica_light"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/phh2yV-9Go","jetpack-related-posts":[{"id":9854,"url":"https:\/\/xmau.com\/notiziole\/2014\/04\/21\/gioco-per-pasquetta-venti-domande\/","url_meta":{"origin":37224,"position":0},"title":"Gioco per Pasquetta: Venti domande","author":".mau.","date":"2014-04-21","format":false,"excerpt":"Se avete (penso parecchio) tempo da perdere, potete cimentarvi con questo quiz a risposta multipla che Don Woods ha preparato nel 2000. Le istruzioni sono le seguenti: Rispondete a tutte le venti domande (ciascuna con una lettera tra A ed E) Se una domanda fa riferimento a una risposta, si\u2026","rel":"","context":"In "giochi"","block_context":{"text":"giochi","link":"https:\/\/xmau.com\/notiziole\/category\/giochi\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":27409,"url":"https:\/\/xmau.com\/notiziole\/2023\/10\/11\/il-teorema-di-pitagora-prima-di-euclide\/","url_meta":{"origin":37224,"position":1},"title":"Il teorema di Pitagora prima di Euclide","author":".mau.","date":"2023-10-11","format":false,"excerpt":"Non penserete mica che la dimostrazione di Euclide sia quella trovata per prima, vero?","rel":"","context":"In "matematica_light"","block_context":{"text":"matematica_light","link":"https:\/\/xmau.com\/notiziole\/category\/matematica_light\/"},"img":{"alt_text":"","src":"https:\/\/i0.wp.com\/xmau.com\/notiziole\/wp-content\/uploads\/sites\/6\/2023\/10\/pitagora.png?resize=350%2C200&ssl=1","width":350,"height":200,"srcset":"https:\/\/i0.wp.com\/xmau.com\/notiziole\/wp-content\/uploads\/sites\/6\/2023\/10\/pitagora.png?resize=350%2C200&ssl=1 1x, https:\/\/i0.wp.com\/xmau.com\/notiziole\/wp-content\/uploads\/sites\/6\/2023\/10\/pitagora.png?resize=525%2C300&ssl=1 1.5x"},"classes":[]},{"id":11620,"url":"https:\/\/xmau.com\/notiziole\/2015\/07\/19\/quizzino-della-domenica-risposta-senza-domanda\/","url_meta":{"origin":37224,"position":2},"title":"Quizzino della domenica: risposta senza domanda","author":".mau.","date":"2015-07-19","format":false,"excerpt":"La settimana scorsa sono andato a fare il test di ammissione all'esclusivo club CAFETERIA, che accoglie al suo interno tutti i cervelloni. Una delle domande era a risposta multipla. Per\u00f2 la fotocopia del testo era venuta male, e si potevano solo leggere le risposte: A. Tutte le seguenti. B. Nessuna\u2026","rel":"","context":"In "giochi"","block_context":{"text":"giochi","link":"https:\/\/xmau.com\/notiziole\/category\/giochi\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":35799,"url":"https:\/\/xmau.com\/notiziole\/2026\/02\/04\/logaritmo-discreto-e-dimostrazioni-a-conoscenza-zero\/","url_meta":{"origin":37224,"position":3},"title":"Logaritmo discreto e dimostrazioni a conoscenza zero","author":".mau.","date":"2026-02-04","format":false,"excerpt":"Un protocollo per dimostrare che conosco qual \u00e8 il logaritmo discreto di un numero.","rel":"","context":"In "mate-light 2026"","block_context":{"text":"mate-light 2026","link":"https:\/\/xmau.com\/notiziole\/category\/matematica_light\/matelight-2026\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":22108,"url":"https:\/\/xmau.com\/notiziole\/2021\/05\/23\/quizzino-della-domenica-test-finale\/","url_meta":{"origin":37224,"position":4},"title":"Quizzino della domenica: Test finale","author":".mau.","date":"2021-05-23","format":false,"excerpt":"In uno dei troppi corsi online che sono costretto a seguire in ufficio, il test di apprendimento finale consiste in tre domande, di quelle \"Vero o falso?\". Il test \u00e8 passato se si \u00e8 risposto a tutte le domande e le risposte sono tutte corrette; alla fine del test viene\u2026","rel":"","context":"In "giochi"","block_context":{"text":"giochi","link":"https:\/\/xmau.com\/notiziole\/category\/giochi\/"},"img":{"alt_text":"","src":"https:\/\/i0.wp.com\/xmau.com\/notiziole\/wp-content\/uploads\/sites\/6\/2021\/04\/q520a.png?resize=350%2C200&ssl=1","width":350,"height":200},"classes":[]},{"id":25397,"url":"https:\/\/xmau.com\/notiziole\/2022\/12\/07\/risposte-piu-che-inutili\/","url_meta":{"origin":37224,"position":5},"title":"Risposte pi\u00f9 che inutili","author":".mau.","date":"2022-12-07","format":false,"excerpt":"Io mi chiedo quale siano i circuiti neurali che portano a dare come risposta alla domanda \"l'aggancio di questa borraccia \u00e8 compatibile con Sodastream?\" il testo \"Non so dirtelo perch\u00e9 non ce l'ho\". Mi chiedo anche se ad Amazon converrebbe implementare un sistema (automatico o a punteggio utente) per scremare\u2026","rel":"","context":"In "curiosita'"","block_context":{"text":"curiosita'","link":"https:\/\/xmau.com\/notiziole\/category\/curiosita\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]}],"jetpack_likes_enabled":true,"jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/posts\/37224","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/comments?post=37224"}],"version-history":[{"count":2,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/posts\/37224\/revisions"}],"predecessor-version":[{"id":37261,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/posts\/37224\/revisions\/37261"}],"wp:attachment":[{"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/media?parent=37224"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/categories?post=37224"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/tags?post=37224"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}