Puncte:2

Cum se dovedește securitatea dacă un circuit este ascuns de un IOï¼în cazul în care algoritmul de generare a cheii al unei criptări funcționale este utilizat în circuit?

drapel uz

Vreau să proiectez o schemă, în care există un circuit C0 care este ascuns de o ofuscare indistinguită (IO). În C0, o cheie principală a unei criptări funcționale (FE) este conectată. Având în vedere o intrare z la C0, ea scoate o cheie secretă folosind algoritmul de generare a cheii al FE. C0 este după cum urmează:

C0(z)
{ cablat: msk
  ieșire sk = FE.KeyGen(msk, z) 
}

Apoi, C' = IO(C0) este dat utilizatorului. Cu C', utilizatorul poate genera singur cheia secretă.

Totuși, nu știu cum să dovedesc securitatea. Prin securitatea bazată pe simulare, FE.KeyGen este înlocuit cu algoritmul corespunzător S.KeyGen al simulatorului pentru a obține un nou circuit C1:

C1(z)
{ cablat: st
  ieșire sk = S.KeyGen(st, z) 
}

unde C' = IO(C1).

Cu toate acestea, deoarece FE.KeyGen și S.KeyGen sunt ambele probabiliste, pare greu de asigurat C0(z) = C1(z) pentru tot z.

Cum să dovedesc securitatea? sau ar trebui folosită obfuscarea indistinguibilă probabilistică (pIO)?

Postează un răspuns

Majoritatea oamenilor nu înțeleg că a pune multe întrebări deblochează învățarea și îmbunătățește legătura interpersonală. În studiile lui Alison, de exemplu, deși oamenii își puteau aminti cu exactitate câte întrebări au fost puse în conversațiile lor, ei nu au intuit legătura dintre întrebări și apreciere. În patru studii, în care participanții au fost implicați în conversații ei înșiși sau au citit transcrieri ale conversațiilor altora, oamenii au avut tendința să nu realizeze că întrebarea ar influența – sau ar fi influențat – nivelul de prietenie dintre conversatori.