Tyrimas atskleidžia veiksmingą kryžminės grandinės parinkčių protokolą su sumažinta delsa

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

3 APŽVALGA

Apsvarstykite 1 skirsnyje aprašytą scenarijų: Alisa ir Bobas susitaria: Bobas sutinka parduoti savo 100 guldenų monetų Alisai mainais į 100 florinų monetų per vieną savaitę. Siekdama užtikrinti šį susitarimą, Alisa sumoka 2 florinų priemoką už galimybę užbaigti sandorį. 100 florinų ir 100 guldenų monetos yra vadinamos 𝐴𝑠𝑠𝑒𝑡𝐴 𝐶ℎ𝑎𝑖𝑛𝐴 ir 𝐴𝑠𝑠𝑒𝑡 𝐶ℎ𝑎𝑖𝑛𝐵 atitinkamai su viena savaite

galiojimo laikas 𝑇𝐸. Tarkime, yra 𝐿 savininko pozicijų siūlytojai, 𝐶𝑎𝑟𝑜𝑙𝑖 ir 𝑀 rašytojo pozicijos siūlytojai,𝐷𝑎𝑣𝑒𝑗 , kur 𝑖 ∈ {1, 2,. . . , 𝐿} ir 𝑗 ∈ {1, 2, . . . , 𝑀}. Jie yra pasirengę mokėti savininko perkėlimo mokestį, 𝐻𝑜𝑙𝑒𝑟𝐹𝑒𝑒𝑖 ir rašytojo perkėlimo mokestį, Bobas, atitinkamai. Savininko perdavimo mokestis yra pasirinkimo sandorio ir sutartyje užregistruoto Alisos turto kaina, o rašytojo perdavimo mokestis yra mokestis už rizikingo Bobo turto įsigijimą, užfiksuotą sutartyje su su tuo turtu susijusiais įsipareigojimais. Naudojant HTLC pagrįstą parinktį, Alisa turi iš anksto deponuoti 𝐴𝑠𝑠𝑒𝑡𝐴, o po to Bobą deponuoti 𝐴𝑠𝑠𝑒𝑡𝐵.

Perdavimas tampa patikimesnis ir efektyvesnis. Naudojant HTLC pagrįstą parinktį, Alisa ir Bobas užrakina savo turtą naudodami maišos užraktą 𝐻(𝐴), kur 𝐴 yra Alisos sugeneruota pratimų paslaptis. Apsvarstykite atvejį, kai Carol perka Alisos poziciją. Ankstesniame darbe (12) protokolas pirmiausia užrakina sutartis, preliminariai priskiriant naują maišos bloką, kuris pakeis senąjį. Atsižvelgiant į tai, kad Alisa gali įdėti skirtingus maišos užraktus ant dviejų grandinių, o Carol gali pakeisti Alisą vienoje grandinėje, bet ne kitoje, Bobui skiriama daug laiko reikalaujanti nuoseklumo fazė, siekiant užtikrinti, kad nauji maišos užraktai būtų nuoseklūs. Norėtume sutrumpinti šiam perkėlimui reikalingą laiką.

Mums pavyksta sutrumpinti perdavimo laiką atlikus pagrindinį pastebėjimą. Kadangi Alisa negali vienu metu perduoti parinkties keliems konkurso dalyviams, logiškai raginama naudoti dvigubo autentifikavimo prevencijos parašus (DAPS), kad pardavėjas negalėtų parduoti parašų keliems konkurso dalyviams, taigi pašalinamas reikalavimas užtikrinti nuoseklumą Bobo pastangomis. Jei atskleidžiami keli parašai, DAPS gali išgauti slaptą raktą, tada automatiškai taikoma bausmė, kad būtų užtikrintas sąžiningas atlyginimas. Pritaikius DAPS, mūsų protokole operacijos užbaigimas yra perpus trumpesnis nei ankstesnis metodas (12).

Savininko kryžminės grandinės parinktys be užstato. Mūsų tikslas – leisti Alisai sumokėti priemoką, kad užtikrintų šią teisę, be būtinybės iš anksto deponuoti turtą. Mums reikia mechanizmo, kuris leistų tinkamai pasinaudoti šia teise – Alisa sumoka savo florino monetas, kad gautų Bobo guldenų monetas. Alisa negali gauti Bobo monetų, nesumokėjusi Bobui florinų monetų. Naivus požiūris būtų reikalauti, kad Alisos sąlyginio deponavimo sandoris būtų patvirtintas, kai Alisa nusprendžia mankštintis. Tačiau kryžminės grandinės tiltai, naudojami transakcijai patvirtinti, susiduria su įvairiomis saugumo problemomis (19, 40), pvz., raktų nutekėjimu (24), išmaniųjų sutarčių pažeidžiamumu (28, 37) ir kilimėlio ištraukimu (18). , 38). Norime sukurti variantą be užstato, be patikimo kryžminio grandininio tilto.

Jei suteiksime Alisai tiesioginę prieigą prie naudojimosi teisės (arba maišos pirminio vaizdo, pratybų paslapties HTLC), tuomet Bobo interesai nėra apsaugoti, nes Alisa galėtų tiesiogiai atsiimti Bobo monetas. Norėdami išspręsti šią problemą, imamės ekonominių paskatų, kurios paprastai yra DeFi rinkose, kurios taip pat yra pasirinkimo varomoji jėga. Leidžiame Bobui valdyti pratybų paslaptį, o Alisa pasilieka teisę nubausti Bobą. Be užstato (mūsų pavyzdyje 100 guldenų monetų), kurio reikalaujama įprastose opciono sutartyse, prašome Bobo užrakinti kitą vertingą turtą 𝐶ℎ𝑎𝑖𝑛𝐴 kaip garantiją Alisai, kai ji norės pasinaudoti teise. Jei Alisa vėliau išsiųs savo monetas 𝐶ℎ𝑎𝑖𝑛𝐴, norėdama pasinaudoti savo teise, bet Bobas neišduos pratybų paslapties, Alisa kaip kompensaciją gaus Bobo garantiją. Tarkime, kad šios garantijos pakanka (net daugiau nei pakankama) kompensuoti tikėtiną šios galimybės pelną, šis metodas skatina Bobą bendradarbiauti, kai Alisa nori pasinaudoti savo teise. Integracija. Tada mes integruojame veiksmingą opcionų perdavimo protokolą į turėtojo be užstato kryžminės grandinės parinktis. Bobas valdo pratimo paslaptį ir perdavimo procesą, o ne Alice, tada turėtojo ir rašytojo perdavimo procesai yra atvirkščiai. Abiejų grandinių pratimų paslapties maiša turi išlikti identiška po to, kai Bobas perduoda savo poziciją Deivui. Pagrindinis iššūkis yra užtikrinti, kad sąžiningos šalys nepatirtų nuostolių. Tai apima bet kurios šalies galimo netinkamo elgesio ir bet kurių dviejų šalių susitarimo sprendimą. Siekdami kovoti su jais, įvedame atsiėmimo delsą, kad Deivis galėtų atgauti turtą, jei Bobas pasielgtų piktybiškai, ir perdavimo patvirtinimo delsą, kad Alisa galėtų užginčyti bet kokį nenuoseklų maišos užrakto pakeitimą.