Kaip Blockchain sutartys užtikrina sąžiningumą, lankstumą ir kompensaciją opcionų turėtojams

Nuorodų lentelė

1. Santrauka ir įvadas

2. Preliminariai

3. Apžvalga

4. protokolas

   4.1 Efektyvaus pasirinkimo 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

B.2 Galimybė

6 teorema. 4.2 protokolas atitinka pasirinkimo teisingumą: Jei Alisa ir Bobas atitinka, tai jei Alisa nepasinaudos teise, Alisa nepraranda 𝐴𝑠𝑠𝑒𝑡𝐴, o Bobas nepraranda 𝐴𝑠𝑠 ir𝑠𝑠 𝐴𝑠𝑠𝑒𝑡𝐵; arba jei Alisa pasinaudos teise, tada Alisa gaus 𝐴𝑠𝑠𝑒𝑡𝐵, o Bobas gaus 𝐴𝑠𝑠𝑒𝑡𝐴 ir 𝐴𝑠𝑠𝑒𝑡𝐺 .

Įrodymas. Pagal 4.2 protokolą akivaizdu, kad jei Alisa deponuoja savo užstatą 𝐶𝑜𝑛𝑡𝑟𝑎𝑐𝑡𝐴 sutartyje ir ragina 𝑒𝑥𝑒𝑟𝑐 išankstinis vaizdas 𝐵 𝐶𝑜𝑛𝑡𝑟𝑎𝑐𝑡𝐴, kad susigrąžintumėte garantiją 𝐴𝑠𝑠𝑒𝑡𝐺 ir Alisos užstatą 𝐑𝑠𝐑𝑠𝑠𝑠 Vėliau Alisa gali naudoti 𝐵, kad gautų 𝐴𝑠𝑠𝑒𝑡𝐵. Jei Alisa nedeponuoja užstato, Bobas neatskleis 𝐵. Pasibaigus parinkties galiojimo laikui 𝑇𝐸 +2Δ, Bobas gali skambinti𝑐𝑙𝑎𝑖𝑚() ir 𝑟𝑒 𝑓 𝑢𝑛𝑑 () atitinkamose grandinėse, kad atgautų 𝐑𝑠𝑠 𝐴𝑠𝑠𝑒𝑡𝐵.

7 teorema. Protokolas 4.2 tenkina galimybe naudotis: Perkėlimas iš Bobo į Dave, opcionas išlieka aktyvus, todėl Alisa gali pasinaudoti galimybe be jokių delsimų.

Įrodymas. Pagal 4.2.1 protokolą, pervesdama Bobą Deivui, Alisa gali bet kada įnešti indėlį ir pasinaudoti savo pasirinkimu. Jei perdavimas vyksta sąrankos etape, Bobas turės atskleisti 𝐵, kad įvykdytų savo įsipareigojimą ir atšauktų perkėlimą. Svarbu pažymėti, kad Dave'as gali naudoti 𝐵, kad susigrąžintų 𝑇 𝑟𝑎𝑛𝑠𝑊 . Jei perkėlimas vyksta bandymo fazėje ir Bobas elgiasi piktybiškai naudodamas 𝐵, kad paimtų 𝐴𝑠𝑠𝑒𝑡𝐺 , Alisa gali naudoti 𝐵, kad gautų 𝐴𝑠𝑠𝑒𝑡𝐵. Dave'ui reikės naudoti 𝐵 ant 𝐶𝑜𝑛𝑡𝑟𝑎𝑐𝑡𝐵, kad atšauktų pavedimą. Priešingu atveju, kai Dave'as naudoja 𝜎𝑚 rašytojui ir maišos užraktui pakeisti, jis atskleis naują išankstinio vaizdo paslaptį 𝐷, kurią Alisa gali panaudoti, kad gautų 𝐴𝑠𝑠𝑒𝑡𝐵.

8 teorema. Protokolas 4.2 patenkina gedimo kompensaciją: prieš pasibaigiant galiojimo laikui Alisa gali sėkmingai pasinaudoti opcionu arba, jei pratimas nepavyksta, jai kompensuojama Bobo deponuota garantija.

Įrodymas. Pagal 6 teoremą, jei Alisa sėkmingai pasinaudos savo pasirinkimu, ji gaus Bobo užstatą. Kitu atveju po to, kai Alisa įmoka ir paskambins 𝑒𝑥𝑒𝑟𝑐𝑖𝑠𝑒 (), 𝐶𝑜𝑛𝑡𝑟𝑎𝑐𝑡𝐴 gali iškviesti 𝑖𝑠𝐷𝑒𝑝𝑜𝑠𝑖𝑡𝑒𝑑 (), kad nustatytų, ar pratimas įvyko. Jei Bobas neįvykdys savo įsipareigojimo per Δ laikotarpį, Alisa gali paskambinti 𝑐𝑙𝑎𝑖𝑚() ir gauti 𝐴𝑠𝑠𝑒𝑡𝐺 kaip kompensaciją, o Bobas neteks garantijos.