În prezent, încerc să înțeleg criptarea homomorfă și lucrez la lucrarea lui Armknecht și colab. (2015): https://eprint.iacr.org/2015/1192 care oferă o imagine de ansamblu frumoasă și definiții clare.
Singurul lucru de care dau peste este definiția „adâncimii unui circuit”.
Lucrarea definește setul de Circuite C ca
Începem cu un spațiu P = {0, 1}, pe care îl numim spațiu de text simplu și
o familie F de funcții de la tupluri de texte clare la P. Putem exprima o astfel de
funcţionează ca un circuit boolean pe intrările sale. Dacă notăm acest circuit cu C, vom
utilizați notația obișnuită a funcției C(m1, m2, . . . . , mn) pentru a indica evaluarea
circuitul pe tuplu (m1, m2, . . . , mn).
Mai târziu definește a schema homomorfă nivelată (Definiția 8) ca
O schemă de evaluare a Câ
(Gen, Enc, Eval, Dec) se numește o schemă homomorfă nivelată dacă este nevoie de un
intrare auxiliară α = d la Gen care specifică adâncimea maximă a circuitelor
care poate fi evaluat. Alte cerințe sunt corectitudinea, compactitatea și
că durata rezultatului evaluării nu depinde de d.
Aceasta introduce noțiunea de Adâncimea circuitului.
Întrebările mele aici sunt
- Deci, Circuit înseamnă aici o combinație arbitrară a circuitelor logice elementare (și, sau, xor, nu)?
- Adâncimea circuitului este considerată numărul (minim?) de circuite (elementare?) combinate în succesiune?
sau a precizat altfel:
Care sunt definiția exactă a lui a Circuit, A Circuitul boolean și Adâncimile circuitului?
Multumesc deja anticipat!
