• Home
  • Chimica
  • Astronomia
  • Energia
  • Natura
  • Biologia
  • Fisica
  • Elettronica
  • Generazione di prove a conoscenza zero per le capacità di difesa

    Attestazione:DARPA

    Ci sono momenti in cui sono richiesti i più alti livelli di privacy e sicurezza per proteggere un'informazione, ma è ancora necessario dimostrare l'esistenza e l'accuratezza delle informazioni. Per il Dipartimento della Difesa (DoD), la prova potrebbe essere la verifica di una capacità rilevante. Come si può verificare questa capacità senza rivelare dettagli sensibili al riguardo? Nel mondo commerciale, questa lotta si manifesta attraverso le transazioni bancarie, divulgazione delle minacce alla sicurezza informatica, e oltre. Un approccio per affrontare questa sfida nella crittografia è con prove a conoscenza zero. Una prova a conoscenza zero è un metodo in cui una parte può dimostrare a un'altra parte di conoscere un certo fatto senza rivelare alcuna informazione sensibile necessaria per dimostrare che il fatto è vero.

    "Una prova a conoscenza zero implica un'affermazione di fatto e la prova sottostante della sua accuratezza, " ha detto il dottor Josh Baron, responsabile del programma presso l'Information Innovation Office (I2O) della DARPA. "Il detentore del fatto non vuole rivelare le informazioni sottostanti per convincere il suo pubblico che il fatto è accurato. Prendi, Per esempio, un prelievo bancario. Potresti volere un sistema che ti permetta di effettuare un prelievo senza dover condividere anche il tuo saldo bancario. Il sistema avrebbe bisogno di un modo per verificare che ci siano fondi sufficienti da cui attingere senza dover conoscere l'esatto ammontare di denaro presente sul tuo conto".

    Negli ultimi anni, c'è stato un marcato aumento dell'efficienza e dell'uso nel mondo reale delle prove a conoscenza zero. La maggior parte di questi usi sono stati all'interno del dominio della criptovaluta in cui è necessario fornire determinati dati verificabili senza rivelare informazioni personali o altre informazioni sensibili. Sebbene utile in questo contesto, le prove a conoscenza zero create sono specializzate per questo compito. Danno priorità alla comunicazione e all'efficienza della verifica, ma non si adattano necessariamente a transazioni più complesse. Per dichiarazioni di prova altamente complesse come quelle che il Dipartimento della Difesa potrebbe voler utilizzare, sono necessari approcci nuovi e più efficienti.

    Per aiutare ad aumentare l'espressività delle affermazioni di problemi per le quali vengono costruite prove a conoscenza zero, aumentando anche l'efficienza della tecnologia che le crea, DARPA ha sviluppato il programma SIEVE (Securing Information for Encrypted Verification and Evaluation). SIEVE mira a sviluppare la teoria dell'informatica e il software in grado di generare affermazioni verificabili matematicamente che possono essere condivise pubblicamente senza fornire informazioni sensibili. Sotto il programma, i ricercatori esploreranno la creazione di dichiarazioni pubbliche verificabili sul software, calcoli generali, così come le interazioni socio-tecniche.


    © Scienza https://it.scienceaq.com