La verificabilità (verifiability) di una computazione, provata da un soggetto a un altro, dimostra che questa sia avvenuta come programmato (rispettando l’accordo, dunque fedelmente o faithfully) senza compromettere la segretezza del dato. Mi spiego meglio. La coputation veriafiability è un’importante nozione nell’applicazione di tecniche di tutela della privacy, e cioè delle Privacy Enhancing Technology. Devi […]

Perché è necessaria l’AI Verification? Bene. Dobbiamo metterci comodi e rilassarci. Stiamo per iniziare un affascinante, seppur complesso, viaggio. Si parte. AI Verification Creare software complessi è difficile. Così abbiamo iniziato a usare sistemi di machine learning, deep neural network, per risolvere questo problema. Questi sistemi sono però opachi, delle black box: non sappiamo cosa […]