Дайындаған: СИБ-37 студенті, Сарбозов Ерасыл . Битті байланыстыру протоколы - (bit commitment protocol) - екі қатысушымен (жіберуші (sender) және алушымен (receiver) криптографиялық протокол, ол арқылы жіберуші алушыға ақпарат битін (бит міндеттемесін) екі шарт орындалатындай етіп береді: 1) битті алушыға бергеннен кейін (байланыстыру кезеңі (commit phase)) жіберуші енді оның мәнін өзгерте алмайды; 2) алушы биттің мәнін өз бетінше анықтай алмайды және оны жіберуші ашу кезеңі (reveal phase) деп аталатынды орындағаннан кейін ғана таниды.
Битті байланыстыру протоколы (схемасы) келесі шарттарды қанағаттандыратын (S, R) (жіберуші және Алушы) деп аталатын ықтималды көпмүшелік интерактивті машиналар жұбы деп аталады:
- Кіру талаптары: - жалпы кіріс-унарлы көріністегі n бүтін сан, яғни , тұрақтылық параметрі ретінде қызмет етеді. Жіберушінің құпия кірісі v деп белгіленген бит болып табылады.
Құпиялылық (secrecy) немесе жасыру (жасыру): алушы (протоколдан кездейсоқ ауытқу болса да) 1 байланыстырудан 0 байланысын ажырата алмайды. Яғни, кез-келген ықтималды көпмүшелік машина үшін r- мен әрекеттесетін, R* шығуларын сипаттайтын ансамбльдер R* екі жағдайда - Құпиялылық (secrecy) немесе жасыру (жасыру): алушы (протоколдан кездейсоқ ауытқу болса да) 1 байланыстырудан 0 байланысын ажырата алмайды. Яғни, кез-келген ықтималды көпмүшелік машина үшін r- мен әрекеттесетін, R* шығуларын сипаттайтын ансамбльдер R* екі жағдайда
- { и { есептеу мүмкін емес.
Бірегейлік (unambiguity) немесе байланыстыру (binding): алдын-ала талаптар: - Бірегейлік (unambiguity) немесе байланыстыру (binding): алдын-ала талаптар:
- 1) (r,m) деп белгіленген жіберушімен өзара әрекеттесуді жүзеге асырушының өкілі алушы қолданған кездейсоқ r битінен және жіберушіден алынған {m} хабарламалар тізбегінен тұрады.
- болсын. Біз алушының (мұндай өзара әрекеттесу) (r{m}) ұсынуы мүмкін σ - егер s жолы болса, {m} r жергілікті битті қолданған кезде R алған хабарларды сипаттайды және s жергілікті битті қолданатын және (σ, ) кірісі бар s машинасымен өзара әрекеттеседі.
- 3)біз мынаны айтамыз (r, {m})кескінінің көрінісі, егер ол мүмкін 0-байланыстыру және мүмкін 1байланыстыру болса, бірмағынасыз.
(S,R) битпен байланыстыру протоколы, егер кездейсоқ шамалар тобының кез-келген интерактивті полиномиялық ықтималдық алгоритмі үшін R' болса, есептеу құпиялылығының шартын қанағаттандырады
Қорытынды: - Бірегейліктің талабы алушының кездейсоқ биттерінен басқа, кез-келген адам үшін жіберушіден осы кездейсоқ биттермен бірге алушының бірсыпыра бейнесін құрайтын хабарламалар тізбегі болмайды деп мәлімдейді. Яғни, кішігірім үлестен басқа барлық адамдар үшін }, {m}, (r,overline{m}) бірдей емес.
Достарыңызбен бөлісу: |
