Saugių ir veiksmingų kryžminių grandinių pasirinkimo perdavimo užtikrinimas

Nuorodų lentelė

1. Santrauka ir įvadas

2. Preliminariai

3. Apžvalga

4. protokolas

   4.1 Efektyvaus pasirinkčių perdavimo protokolas

   4.2 Savininko kryžminės grandinės parinktys be užstato

5. Saugumo analizė

   5.1 Opciono perdavimo ypatybės

   5.2 Pasirinkimo ypatybės

6. Įgyvendinimas

7. Susiję darbai

8. Išvados ir aptarimas bei literatūros sąrašas

A. Kodai

B. Įrodymai

5 SAUGOS ANALIZĖ

Mes analizuojame ir įrodome savybes, kurias tenkina mūsų siūlomas protokolas. Prisiminkite iš ankstesnės iliustracijos, kad Alice / Carol vadinami turėtojas, o Bobas / Dave yra rašytojas, o Carol arba Dave turi sumokėti pervedimo mokestį atitinkamam pardavėjui. Mokėjimas 𝑃 vadinamas priemoka. 𝐴𝑠𝑠𝑒𝑡𝐺 deponuotas Bobas vadinamas garantija. pervedimo mokestis ar bet koks kitas sutartyse deponuotas turtas yra vadinamas užstatu.

5.1 Opciono perdavimo ypatybės

Yra dvi pagrindinės savybės, kurios turi būti patenkintos opciono perdavimo proceso metu.

• Sauga (nėra po vandeniu): Suderinamoji šalis neturi prarasti jokio užstato / pozicijos per perdavimo procesą neįsigijusi atitinkamo užstato / pozicijos.

• Gyvumas: Perleidžiant turėtojo ar rašytojo pareigas, jei visos šalys sutinka, turėtojas arba rašytojas teisingai perduos pirkėjui, o turėtojas arba rašytojas gaus teisingą perdavimo mokestį.

1 teorema. 4.2.1 protokolas atitinka saugą (ne po vandeniu):

• Jei Alisa prisitaikys ir praras savo poziciją, ji gaus Carol užstatą, Bobo užstatą ir garantiją arba abu.

• Jei Bobas susitaiko ir praranda savo poziciją, jis gaus Dave'o užstatą.

• Jei Carol sutinka ir praranda savo užstatą, Carol gaus opciono savininko poziciją.

• Jei Dave'as laikosi reikalavimų ir praranda užstatą, Dave'as gaus pasirinkimo sandorio autoriaus poziciją.

Įrodymas. Išsamią informaciją žr. priedo B.1.1 skirsnyje.

2 teorema. 4.2.1 protokolas patenkina gyvybę: jei Alisa, Bobas ir Kerolas/Deivis atitinka reikalavimus, tai Alisa/Bobas gaus Carol/Deivio užstatą, Karolis/Deivas gaus Alisos/Bobo poziciją, o Bobas/Alisa išlaikys savo pradinę padėtį.

1 teorema garantuoja, kad sąžininga šalis nepatirs nuostolių perdavimo protokole, net jei kita šalis neracionaliai praras savo turtą, taip gindama sutarties besilaikančių asmenų interesus. Su kitomis savybėmis susijusias teoremas išvardijame su įrodymais B.1 priede. 2 teorema užtikrina, kad jei perkėlimas vyksta teisingai, visi dalyviai gaus numatytus rezultatus.

Perkėlimo proceso metu turi būti užtikrintos trys savybės: netrukdomumas, nepriklausomumas ir izoliacija. Pirma, išoriniai trukdžiai negali sutrikdyti atitinkančių šalių perdavimo. Antra, po sėkmingo perdavimo turėtojas arba rašytojas atnaujinamas kitai šaliai, užtikrinant, kad perdavimas neturės įtakos būsimoms operacijoms. Galiausiai, turėtojo ir rašytojo perdavimo procesas turi būti izoliuotas, be jokios abipusės įtakos.

• Netrukdomumas: Jei ir pirkėjas, ir pardavėjas yra susitariančios šalys, jokia kita šalis negali trukdyti perdavimo procesui.

• Nepriklausomybė: Po sėkmingo perkėlimo, tolesni perkėlimai gali vykti įprastai, o ankstesnės pozicijos savininkas negali trukdyti būsimiems perkėlimams.

• Isolation: Savininko ir rašytojo pasirinkimų perdavimo kitiems pirkėjams procesai gali vykti vienu metu ir atskirai, vienas kitam nesikišant.

3 teorema. 4.2.1 protokolas patenkina netrukdomumą: Alisa / Bobas gali perduoti poziciją kitai šaliai, net jei Bobas / Alisa yra priešingas.

5 teorema. 4.2.2 protokolas patenkina izoliaciją: Alisa ir Bobas gali vienu metu ir atskirai perkelti savo pozicijas atitinkamai Carol ir Dave. Tai reiškia, kad perduodantis turėtojas ir perduodantis rašytojas gali tęstis vienu metu.