How zero-knowledge technology can enhance digital public infrastructure
https://www.weforum.org/agenda/2023/09/zero-knowledge-technology-digital-pub... ... What is digital public infrastructure? ... The growing consensus is that it is a shared set of digital systems, based on open source technology standards that enable governance and innovative players across both the public and private spheres. Importantly, it helps deliver innovations at scale. Thao Hong, a programme officer for the Bill & Melinda Gates Foundation, adds that “strong digital public infrastructure” typically includes digital infrastructure in three crucial areas: identity, payments and data exchange. ... Ah, ovviamente il tutto viene fatto nell'interesse dei bambini... https://www.weforum.org/agenda/2023/09/how-digital-public-infrastructure-can... Ciao, Enrico -- -- EN https://www.hoepli.it/libro/la-rivoluzione-informatica/9788896069516.html ====================================================== Prof. Enrico Nardelli Presidente di "Informatics Europe" Direttore del Laboratorio Nazionale "Informatica e Scuola" del CINI Dipartimento di Matematica - Università di Roma "Tor Vergata" Via della Ricerca Scientifica snc - 00133 Roma home page: https://www.mat.uniroma2.it/~nardelli blog: https://link-and-think.blogspot.it/ tel: +39 06 7259.4204 fax: +39 06 7259.4699 mobile: +39 335 590.2331 e-mail: nardelli@mat.uniroma2.it online meeting: https://blue.meet.garr.it/b/enr-y7f-t0q-ont ====================================================== --
ZKP sono molto importanti nell'evoluzione della gestione delle identita' digitali. c'e' una azienda fondata da crittografi italiani che e' leader nell'autenticazione biometrica senza trattamento di dati personali grazie a zkp. ciao, s. On 05/11/23 20:16, Enrico Nardelli wrote:
https://www.weforum.org/agenda/2023/09/zero-knowledge-technology-digital-pub...
...
What is digital public infrastructure? ... The growing consensus is that it is a shared set of digital systems, based on open source technology standards that enable governance and innovative players across both the public and private spheres. Importantly, it helps deliver innovations at scale. Thao Hong, a programme officer for the Bill & Melinda Gates Foundation, adds that “strong digital public infrastructure” typically includes digital infrastructure in three crucial areas: identity, payments and data exchange.
...
Ah, ovviamente il tutto viene fatto nell'interesse dei bambini...
https://www.weforum.org/agenda/2023/09/how-digital-public-infrastructure-can...
Ciao, Enrico
--
-- EN
https://www.hoepli.it/libro/la-rivoluzione-informatica/9788896069516.html ====================================================== Prof. Enrico Nardelli Presidente di "Informatics Europe" Direttore del Laboratorio Nazionale "Informatica e Scuola" del CINI Dipartimento di Matematica - Università di Roma "Tor Vergata" Via della Ricerca Scientifica snc - 00133 Roma home page: https://www.mat.uniroma2.it/~nardelli blog: https://link-and-think.blogspot.it/ tel: +39 06 7259.4204 fax: +39 06 7259.4699 mobile: +39 335 590.2331 e-mail: nardelli@mat.uniroma2.it online meeting: https://blue.meet.garr.it/b/enr-y7f-t0q-ont ======================================================
--
_______________________________________________ nexa mailing list nexa@server-nexa.polito.it https://server-nexa.polito.it/cgi-bin/mailman/listinfo/nexa
Confesso di essere sempre un po' in imbarazzo a parlare di Zero Knowledge Proofs "in generale", e ancor di piu' quando se ne pontificano le ricadute negli ambiti piu' disparati senza entrare nel merito. Ovviamente c'e' sede e sede per parlare della cosa a vari livelli, ma quello che voglio dire e' che o ci si va a guardare dentro nello specifico o certe affermazioni che buttano nel discorso senza circostanziare le parole "Zero-Knowledge" (che per altro mi potrebbero anche trovare d'accordo in linea di principio) imho hanno lo stesso valore di una campagna di marketing. Anche perche' la terminologia e' parecchio abusata. Non mi e' chiaro se e' appropriato nel contesto di questo thread, cmq se puo' essere utile per dirla brutalmente le ZKP sono protocolli di interazione tra parti, in cui una parte dimostra all'altra qualcosa evitando di rilevare qualsiasi altra informazione che non sia la verita' dello statement dimostrato. Si possono vedere come una generalizzazione di una dimostrazione matematica "classica" (quelle che dimostrano i teoremi tanto per fare un esempio) in cui: 1) non c'e' una parte che dimostra attivamente (il libro) e una parte che recepisce passivamente (il lettore) ma un'interazione delle parti che sono entrambe soggetti "attivi" (pur conservando i due ruoli distinti di chi dimostra e di chi recepisce) 2) sono dimostrazioni probabilistiche, nel senso che conservano una probabilita' non nulla -seppur tipicamente riducibile a piacere- di convincere il recettore di qualcosa di falso. Un testo fondamentale per le basi di questi argomenti e' Foundations of Cryptography - Volume 1 di Oded Goldreich [1]. Da allora le ZKP si sono evolute molto, e anzi quello a cui tipicamente si pensa oggi quando si parla di ZK e' qualcosa di molto piu' evoluto. Una risorsa estremamente attuale (anche se il settore e' in continuo fermento spinto dagli usi nelle blockchain) e' lo Zero-Knowledge-Proof MOOC [2]. Non ha invece nessun merito (se non il fatto di essere molto compatta) l'infografica che ho fatto un po' di tempo fa, che introduce un po' di questioni e include diverse fonti bibliografiche di indubbia utilita' per studiare l'argomento [3]. Invece mi interesserebbe sapere qual e' l'azienda biometrica di cui si parlava, e se fa qualcosa tipo Worldcoin in termini di meccanismo anti-sybil (Worldcoin e' piuttosto discussa, ma da quel punto di vista ha ricevuto da Matthew Green parole molto piu' positive di quello che ci si sarebbe potuto aspettare [4]) [1] https://www.wisdom.weizmann.ac.il/~oded/foc.html [2] https://zk-learning.org [3] https://github.com/baro77/ZKbasicsCS [4] https://blog.cryptographyengineering.com/2023/08/21/some-rough-impressions-o... Il 05/11/23 21:24, Stefano Quintarelli ha scritto:
ZKP sono molto importanti nell'evoluzione della gestione delle identita' digitali.
c'e' una azienda fondata da crittografi italiani che e' leader nell'autenticazione biometrica senza trattamento di dati personali grazie a zkp.
ciao, s.
On 05/11/23 20:16, Enrico Nardelli wrote:
https://www.weforum.org/agenda/2023/09/zero-knowledge-technology-digital-pub...
...
What is digital public infrastructure? ... The growing consensus is that it is a shared set of digital systems, based on open source technology standards that enable governance and innovative players across both the public and private spheres. Importantly, it helps deliver innovations at scale. Thao Hong, a programme officer for the Bill & Melinda Gates Foundation, adds that “strong digital public infrastructure” typically includes digital infrastructure in three crucial areas: identity, payments and data exchange.
...
Ah, ovviamente il tutto viene fatto nell'interesse dei bambini...
https://www.weforum.org/agenda/2023/09/how-digital-public-infrastructure-can...
Ciao, Enrico
--
-- EN
https://www.hoepli.it/libro/la-rivoluzione-informatica/9788896069516.html ====================================================== Prof. Enrico Nardelli Presidente di "Informatics Europe" Direttore del Laboratorio Nazionale "Informatica e Scuola" del CINI Dipartimento di Matematica - Università di Roma "Tor Vergata" Via della Ricerca Scientifica snc - 00133 Roma home page: https://www.mat.uniroma2.it/~nardelli blog: https://link-and-think.blogspot.it/ tel: +39 06 7259.4204 fax: +39 06 7259.4699 mobile: +39 335 590.2331 e-mail: nardelli@mat.uniroma2.it online meeting: https://blue.meet.garr.it/b/enr-y7f-t0q-ont ======================================================
--
_______________________________________________ nexa mailing list nexa@server-nexa.polito.it https://server-nexa.polito.it/cgi-bin/mailman/listinfo/nexa
nexa mailing list nexa@server-nexa.polito.it https://server-nexa.polito.it/cgi-bin/mailman/listinfo/nexa
Qui a Boston abbiamo Silvio Micali (https://www.researchgate.net/scientific-contributions/Silvio-Micali-6905130), che sul zero proof ci ha investito molto e pure fatto un azienda rispettabile, Algorand. La sua idea e' di usare un meccanismo Pure Proof of Stake, che significa una firma con proprietà non interattive a conoscenza zero. Il comitato di proposta del blocco è composto da detentori di gettoni Algo selezionati casualmente, la cui probabilità di selezione è ponderata dai loro saldi del portafoglio. Questo https://algorand.com/technology/faq/ definisce nel merito. Algorand ovviamente ha aperto anche in Italia, Roma e Milano credo. Ciao Rob -----Original Message----- From: nexa <nexa-bounces@server-nexa.polito.it> On Behalf Of Andrea Barontini via nexa Sent: Sunday, November 5, 2023 3:12 PM To: nexa@server-nexa.polito.it Subject: Re: [nexa] How zero-knowledge technology can enhance digital public infrastructure Caution! This message was sent from outside your organization. Confesso di essere sempre un po' in imbarazzo a parlare di Zero Knowledge Proofs "in generale", e ancor di piu' quando se ne pontificano le ricadute negli ambiti piu' disparati senza entrare nel merito. Ovviamente c'e' sede e sede per parlare della cosa a vari livelli, ma quello che voglio dire e' che o ci si va a guardare dentro nello specifico o certe affermazioni che buttano nel discorso senza circostanziare le parole "Zero-Knowledge" (che per altro mi potrebbero anche trovare d'accordo in linea di principio) imho hanno lo stesso valore di una campagna di marketing. Anche perche' la terminologia e' parecchio abusata. Non mi e' chiaro se e' appropriato nel contesto di questo thread, cmq se puo' essere utile per dirla brutalmente le ZKP sono protocolli di interazione tra parti, in cui una parte dimostra all'altra qualcosa evitando di rilevare qualsiasi altra informazione che non sia la verita' dello statement dimostrato. Si possono vedere come una generalizzazione di una dimostrazione matematica "classica" (quelle che dimostrano i teoremi tanto per fare un esempio) in cui: 1) non c'e' una parte che dimostra attivamente (il libro) e una parte che recepisce passivamente (il lettore) ma un'interazione delle parti che sono entrambe soggetti "attivi" (pur conservando i due ruoli distinti di chi dimostra e di chi recepisce) 2) sono dimostrazioni probabilistiche, nel senso che conservano una probabilita' non nulla -seppur tipicamente riducibile a piacere- di convincere il recettore di qualcosa di falso. Un testo fondamentale per le basi di questi argomenti e' Foundations of Cryptography - Volume 1 di Oded Goldreich [1]. Da allora le ZKP si sono evolute molto, e anzi quello a cui tipicamente si pensa oggi quando si parla di ZK e' qualcosa di molto piu' evoluto. Una risorsa estremamente attuale (anche se il settore e' in continuo fermento spinto dagli usi nelle blockchain) e' lo Zero-Knowledge-Proof MOOC [2]. Non ha invece nessun merito (se non il fatto di essere molto compatta) l'infografica che ho fatto un po' di tempo fa, che introduce un po' di questioni e include diverse fonti bibliografiche di indubbia utilita' per studiare l'argomento [3]. Invece mi interesserebbe sapere qual e' l'azienda biometrica di cui si parlava, e se fa qualcosa tipo Worldcoin in termini di meccanismo anti-sybil (Worldcoin e' piuttosto discussa, ma da quel punto di vista ha ricevuto da Matthew Green parole molto piu' positive di quello che ci si sarebbe potuto aspettare [4]) [1] https://eu-west-1.protection.sophos.com?d=weizmann.ac.il&u=aHR0cHM6Ly93d3cud... [2] https://eu-west-1.protection.sophos.com?d=zk-learning.org&u=aHR0cHM6Ly96ay1s... [3] https://eu-west-1.protection.sophos.com?d=github.com&u=aHR0cHM6Ly9naXRodWIuY... [4] https://eu-west-1.protection.sophos.com?d=cryptographyengineering.com&u=aHR0... Il 05/11/23 21:24, Stefano Quintarelli ha scritto:
ZKP sono molto importanti nell'evoluzione della gestione delle identita' digitali.
c'e' una azienda fondata da crittografi italiani che e' leader nell'autenticazione biometrica senza trattamento di dati personali grazie a zkp.
ciao, s.
On 05/11/23 20:16, Enrico Nardelli wrote:
https://eu-west-1.protection.sophos.com?d=weforum.org&u=aHR0cHM6Ly93d3cud2Vm...
...
What is digital public infrastructure? ... The growing consensus is that it is a shared set of digital systems, based on open source technology standards that enable governance and innovative players across both the public and private spheres. Importantly, it helps deliver innovations at scale. Thao Hong, a programme officer for the Bill & Melinda Gates Foundation, adds that “strong digital public infrastructure” typically includes digital infrastructure in three crucial areas: identity, payments and data exchange.
...
Ah, ovviamente il tutto viene fatto nell'interesse dei bambini...
https://eu-west-1.protection.sophos.com?d=weforum.org&u=aHR0cHM6Ly93d3cud2Vm...
Ciao, Enrico
--
-- EN
https://eu-west-1.protection.sophos.com?d=hoepli.it&u=aHR0cHM6Ly93d3cuaG9lcG... ====================================================== Prof. Enrico Nardelli Presidente di "Informatics Europe" Direttore del Laboratorio Nazionale "Informatica e Scuola" del CINI Dipartimento di Matematica - Università di Roma "Tor Vergata" Via della Ricerca Scientifica snc - 00133 Roma home page: https://eu-west-1.protection.sophos.com?d=uniroma2.it&u=aHR0cHM6Ly93d3cubWF0... blog: https://eu-west-1.protection.sophos.com?d=link-and-think.blogspot.it&u=aHR0c... tel: +39 06 7259.4204 fax: +39 06 7259.4699 mobile: +39 335 590.2331 e-mail: nardelli@mat.uniroma2.it online meeting: https://eu-west-1.protection.sophos.com?d=garr.it&u=aHR0cHM6Ly9ibHVlLm1lZXQu... ======================================================
--
_______________________________________________ nexa mailing list nexa@server-nexa.polito.it https://eu-west-1.protection.sophos.com?d=polito.it&u=aHR0cHM6Ly9zZXJ2ZXItbm...
nexa mailing list nexa@server-nexa.polito.it https://eu-west-1.protection.sophos.com?d=polito.it&u=aHR0cHM6Ly9zZXJ2ZXItbm...
_______________________________________________ nexa mailing list nexa@server-nexa.polito.it https://eu-west-1.protection.sophos.com?d=polito.it&u=aHR0cHM6Ly9zZXJ2ZXItbm...
Si conosco Algorand, pero' non ho capito quale parte del consenso usa ZK... forse la leader election? Perche' il meccanismo di raggiungimento del quorum (che pero' ammetto di avere solo intravvisto) mi ricorda molto il processo a due stadi di Tendermint, quindi non particolarmente legato alle zero knowledge proofs. Il 05/11/23 22:34, Roberto Dolci ha scritto:
Qui a Boston abbiamo Silvio Micali (https://www.researchgate.net/scientific-contributions/Silvio-Micali-6905130), che sul zero proof ci ha investito molto e pure fatto un azienda rispettabile, Algorand.
La sua idea e' di usare un meccanismo Pure Proof of Stake, che significa una firma con proprietà non interattive a conoscenza zero. Il comitato di proposta del blocco è composto da detentori di gettoni Algo selezionati casualmente, la cui probabilità di selezione è ponderata dai loro saldi del portafoglio.
Questo https://algorand.com/technology/faq/ definisce nel merito. Algorand ovviamente ha aperto anche in Italia, Roma e Milano credo.
Ciao Rob
-----Original Message----- From: nexa <nexa-bounces@server-nexa.polito.it> On Behalf Of Andrea Barontini via nexa Sent: Sunday, November 5, 2023 3:12 PM To: nexa@server-nexa.polito.it Subject: Re: [nexa] How zero-knowledge technology can enhance digital public infrastructure
Caution! This message was sent from outside your organization.
Confesso di essere sempre un po' in imbarazzo a parlare di Zero Knowledge Proofs "in generale", e ancor di piu' quando se ne pontificano le ricadute negli ambiti piu' disparati senza entrare nel merito. Ovviamente c'e' sede e sede per parlare della cosa a vari livelli, ma quello che voglio dire e' che o ci si va a guardare dentro nello specifico o certe affermazioni che buttano nel discorso senza circostanziare le parole "Zero-Knowledge" (che per altro mi potrebbero anche trovare d'accordo in linea di principio) imho hanno lo stesso valore di una campagna di marketing. Anche perche' la terminologia e' parecchio abusata.
Non mi e' chiaro se e' appropriato nel contesto di questo thread, cmq se puo' essere utile per dirla brutalmente le ZKP sono protocolli di interazione tra parti, in cui una parte dimostra all'altra qualcosa evitando di rilevare qualsiasi altra informazione che non sia la verita' dello statement dimostrato. Si possono vedere come una generalizzazione di una dimostrazione matematica "classica" (quelle che dimostrano i teoremi tanto per fare un esempio) in cui: 1) non c'e' una parte che dimostra attivamente (il libro) e una parte che recepisce passivamente (il lettore) ma un'interazione delle parti che sono entrambe soggetti "attivi" (pur conservando i due ruoli distinti di chi dimostra e di chi recepisce) 2) sono dimostrazioni probabilistiche, nel senso che conservano una probabilita' non nulla -seppur tipicamente riducibile a piacere- di convincere il recettore di qualcosa di falso.
Un testo fondamentale per le basi di questi argomenti e' Foundations of Cryptography - Volume 1 di Oded Goldreich [1]. Da allora le ZKP si sono evolute molto, e anzi quello a cui tipicamente si pensa oggi quando si parla di ZK e' qualcosa di molto piu' evoluto. Una risorsa estremamente attuale (anche se il settore e' in continuo fermento spinto dagli usi nelle blockchain) e' lo Zero-Knowledge-Proof MOOC [2]. Non ha invece nessun merito (se non il fatto di essere molto compatta) l'infografica che ho fatto un po' di tempo fa, che introduce un po' di questioni e include diverse fonti bibliografiche di indubbia utilita' per studiare l'argomento [3].
Invece mi interesserebbe sapere qual e' l'azienda biometrica di cui si parlava, e se fa qualcosa tipo Worldcoin in termini di meccanismo anti-sybil (Worldcoin e' piuttosto discussa, ma da quel punto di vista ha ricevuto da Matthew Green parole molto piu' positive di quello che ci si sarebbe potuto aspettare [4])
[1] https://eu-west-1.protection.sophos.com?d=weizmann.ac.il&u=aHR0cHM6Ly93d3cud... [2] https://eu-west-1.protection.sophos.com?d=zk-learning.org&u=aHR0cHM6Ly96ay1s... [3] https://eu-west-1.protection.sophos.com?d=github.com&u=aHR0cHM6Ly9naXRodWIuY... [4] https://eu-west-1.protection.sophos.com?d=cryptographyengineering.com&u=aHR0...
Il 05/11/23 21:24, Stefano Quintarelli ha scritto:
ZKP sono molto importanti nell'evoluzione della gestione delle identita' digitali.
c'e' una azienda fondata da crittografi italiani che e' leader nell'autenticazione biometrica senza trattamento di dati personali grazie a zkp.
ciao, s.
On 05/11/23 20:16, Enrico Nardelli wrote:
https://eu-west-1.protection.sophos.com?d=weforum.org&u=aHR0cHM6Ly93d3cud2Vm...
...
What is digital public infrastructure? ... The growing consensus is that it is a shared set of digital systems, based on open source technology standards that enable governance and innovative players across both the public and private spheres. Importantly, it helps deliver innovations at scale. Thao Hong, a programme officer for the Bill & Melinda Gates Foundation, adds that “strong digital public infrastructure” typically includes digital infrastructure in three crucial areas: identity, payments and data exchange.
...
Ah, ovviamente il tutto viene fatto nell'interesse dei bambini...
https://eu-west-1.protection.sophos.com?d=weforum.org&u=aHR0cHM6Ly93d3cud2Vm...
Ciao, Enrico
--
-- EN
https://eu-west-1.protection.sophos.com?d=hoepli.it&u=aHR0cHM6Ly93d3cuaG9lcG... ====================================================== Prof. Enrico Nardelli Presidente di "Informatics Europe" Direttore del Laboratorio Nazionale "Informatica e Scuola" del CINI Dipartimento di Matematica - Università di Roma "Tor Vergata" Via della Ricerca Scientifica snc - 00133 Roma home page: https://eu-west-1.protection.sophos.com?d=uniroma2.it&u=aHR0cHM6Ly93d3cubWF0... blog: https://eu-west-1.protection.sophos.com?d=link-and-think.blogspot.it&u=aHR0c... tel: +39 06 7259.4204 fax: +39 06 7259.4699 mobile: +39 335 590.2331 e-mail: nardelli@mat.uniroma2.it online meeting: https://eu-west-1.protection.sophos.com?d=garr.it&u=aHR0cHM6Ly9ibHVlLm1lZXQu... ======================================================
--
_______________________________________________ nexa mailing list nexa@server-nexa.polito.it https://eu-west-1.protection.sophos.com?d=polito.it&u=aHR0cHM6Ly9zZXJ2ZXItbm...
nexa mailing list nexa@server-nexa.polito.it https://eu-west-1.protection.sophos.com?d=polito.it&u=aHR0cHM6Ly9zZXJ2ZXItbm...
_______________________________________________ nexa mailing list nexa@server-nexa.polito.it https://eu-west-1.protection.sophos.com?d=polito.it&u=aHR0cHM6Ly9zZXJ2ZXItbm...
participants (4)
-
Andrea Barontini -
Enrico Nardelli -
Roberto Dolci -
Stefano Quintarelli