­č窭čç░ Porozumenie programovate─żn├Żm swapom

Porozumenie programovate─żn├Żm swapom

Spolo─Źnos┼ą Axo pova┼żujeme za v├Żznamn├ęho inov├ítora medzi blockchainov├Żmi projektmi v sektore obchodovania. V tomto ─Źl├ínku prenikneme do podstaty programovate─żn├Żch swapov, ktor├ę tvoria z├íkladn├Ż kame┼ł Axo.

Vyu┼żitie potenci├ílu Cardana

Inteligentn├ę zmluvy Cardana, ktor├ę pozost├ívaj├║ z valid├ítorov na re┼ąazci a k├│du mimo re┼ąazca, pon├║kaj├║ robustn├ę zabezpe─Źenie. Turingovo kompletn├Ż off-chain k├│d umo┼ż┼łuje vykon├íva┼ą zlo┼żit├ę a na zdroje n├íro─Źn├ę v├Żpo─Źty bez toho, aby to ovplyvnilo n├íklady na transakciu. On-chain valid├ítory pon├║kaj├║ ├║rove┼ł bezpe─Źnosti porovnate─żn├║ s in├Żmi modelmi blockchainu.

T├íto inov├ícia je prelomov├í, preto┼że umo┼ż┼łuje implement├íciu konceptov, ako s├║ programovate─żn├ę swapy a algoritmick├ş automatizovan├ş tvorcovia trhu (AAMM), ktor├ę by inak boli nerealizovate─żn├ę.

T├şm Axo efekt├şvne vyu┼żil mo┼żnosti modelu UTxO a kon┼ítrukciu platformy SC, ─Źo umo┼ż┼łuje realiz├íciu komplexnej logiky, ktor├í vykon├íva v┼íetky programovate─żn├ę swapy v segmente mimo re┼ąazca pod─ża ich ┼ípecifik├íci├ş a stavu v re┼ąazci.

Napriek motoru na porovn├ívanie objedn├ívok mimo re┼ąazca je protokol rovnako bezpe─Źn├Ż, ako keby sa plne vykon├íval v re┼ąazci, a to v─Ćaka valid├ítorom v re┼ąazci.

Na Cardano je mo┼żn├ę splni┼ą po┼żiadavky decentraliz├ície a Peer-to-Peer komunik├ície a z├írove┼ł vytvori┼ą modern├║ ┼ík├ílovate─żn├║ finan─Źn├║ aplik├íciu.

Programovate─żn├ę swapy

Predstavte si programovate─żn├Ż swap ako najkompaktnej┼íiu reprezent├íciu z├ímeru obchodn├şka, stelesnen├║ v mincovom NFT so stavom on-chain.

Programovate─żn├ę swapy pozost├ívaj├║ zo ┼ítyroch prvkov:

  • Typ pr├şkazu
  • Sp├║┼í┼ąa─Źe
  • Akcie
  • Akt├şva

Typ pr├şkazu vyjadruje preferenciu v├Żmeny, napr├şklad okam┼żit├║ v├Żmenu akt├şv (trhov├Ż pr├şkaz) alebo v├Żmenu za stanoven├║ cenu (limitn├Ż pr├şkaz).

Sp├║┼í┼ąa─Źe stanovuj├║ podmienky aktiv├ície swapu. Trhov├Ż pr├şkaz, ktor├Ż je bez sp├║┼í┼ąa─Źa, je okam┼żite akt├şvny, ─Źo vedie k okam┼żitej v├Żmene akt├şv.

Limitn├Ż pr├şkaz m├í cenov├Ż sp├║┼í┼ąa─Ź. Zost├íva neakt├şvny, k├Żm sa trhov├í cena nevyrovn├í nastavenej cene, ─Ź├şm sa aktivuje swap a spust├ş akcia.

Akcia na─Źrt├íva oper├íciu swapu pri aktiv├ícii, ─Źo vedie k vytvoreniu transakcie.

Predmetom navrhovanej akcie s├║ akt├şva.

Obr├ízok zn├ízor┼łuje programovate─żn├Ż swap typu limitn├Ż pr├şkaz. Obchodn├şk nastavil podmienku v├Żmeny HOSKY za ADA, ke─Ć sa cena HOSKY zhoduje s cenou ADA alebo ju prevy┼íuje. Zam├Ż┼í─żan├í v├Żmena zah┼Ľ┼ła 10000 HOSKY.

V protokole Axo existuje mnoho ve─żmi fragmentovan├Żch programovate─żn├Żch swapov od mnoh├Żch obchodn├şkov. Swapy s├║ navz├íjom p├írovan├ę mechanizmom p├írovania pr├şkazov a vykon├ívan├ę.

Programovate─żn├ę swapy umo┼ż┼łuj├║ elegantn├Ż sp├┤sob vykon├ívania mnoh├Żch typov pokynov. ─Äal┼í├şm pr├şkladom m├┤┼że by┼ą priemer dol├írov├Żch n├íkladov (DCA), dynamick├ę poskytovanie likvidity, strat├ęgia riadenia portf├│lia at─Ć.

Vytv├íranie programovate─żn├Żch swapov je spojen├ę s procesom razenia NFT, ku ktor├ęmu doch├ídza vo f├íze z├ív├Ązku. Programovate─żn├ę swapy sa predkladaj├║ do blockchainu prostredn├şctvom NFT mintingu, pri─Źom sa zapuzdria v┼íetky podstatn├ę ├║daje na vykonanie swapu. K─ż├║─Źovou v├Żhodou je paralelizovate─żnos┼ą NFT mintingu.

Ke─Ć je programovate─żn├Ż swap zaznamenan├Ż v ├║─Źtovnej knihe, prech├ídza do f├ízy z├ív├Ązku. Ide o f├ízu ─Źakania pred presunom programovate─żn├Żch swapov do fondu na vykon├ívanie. V ─Ćal┼íom bloku sa programovate─żn├ę swapy umiestnia do fondu na vykon├ívanie, z ktor├ęho sa m├┤┼żu vybra┼ą a pou┼żi┼ą.

Na vykonanie v├Żmeny s├║ potrebn├ę minim├ílne dva bloky. Po─Źiato─Źn├Ż blok sa vyu┼ż├şva na f├ízu z├ív├Ązku, po─Źas ktorej sa vy┼ąa┼ż├ş nov├Ż NFT, ktor├Ż predstavuje ─Źerstv├Ż z├ímer v├Żmeny. V nasleduj├║com bloku sa swap m├┤┼że uskuto─Źni┼ą a┼ż po zaznamenan├ş programovate─żn├ęho swapu v blockchaine.

S ka┼żd├Żm ─Ćal┼í├şm blokom je mo┼żn├ę predklada┼ą nov├ę programovate─żn├ę swapy, ale z├írove┼ł sa vykon├ívaj├║ aj u┼ż z├ív├Ązn├ę swapy.

Exeku─Źn├Ż fond je rozdelen├Ż na dve ─Źasti: akt├şvnu hranicu a neakt├şvnu hranicu. V akt├şvnej hranici sa nach├ídzaj├║ swapy, ktor├ę s├║ pl├ínovate─żn├ę a m├┤┼żu by┼ą vykonan├ę v aktu├ílnom bloku, ke─Ć┼że s├║ splnen├ę v┼íetky podmienky definovan├ę sp├║┼í┼ąa─Źom. Naopak, Inactive Frontier obsahuje swapy, ktor├ę nie je mo┼żn├ę vykona┼ą, preto┼że nie s├║ splnen├ę v┼íetky aktiva─Źn├ę podmienky.

Obr├ízok zn├ízor┼łuje interakciu protokolu Axo s blokom Cardano. V bloku sa predkladaj├║ nov├ę programovate─żn├ę swapy. Z poh─żadu Axo k tomu doch├ídza po─Źas f├ízy z├ív├Ązku, ─Źo znamen├í, ┼że swapy 5, 6 a 7 s├║ vykonate─żn├ę a┼ż v nasleduj├║com bloku. Swapy 1 a 2, ktor├ę sa nach├ídzaj├║ v akt├şvnej hranici, s├║ v s├║─Źasnosti zapojen├ę do v├Żmeny akt├şv. Swapy 3 a 4, ktor├ę sa nach├ídzaj├║ v neakt├şvnej hranici, ─Źakaj├║ na splnenie v┼íetk├Żch aktiva─Źn├Żch predpokladov na prechod do akt├şvnej hranice.

Pozrime sa, ─Źo sa stane s programovate─żn├Żmi v├Żmenami medzi dvoma blokmi.

Vykonanie swapu zah┼Ľ┼ła porovnanie programovate─żn├Żch swapov z Active Frontier v bloku N a generovanie transakcie pre blok N+1. Ako vstup sa pou┼ż├şva viacero programovate─żn├Żch swapov, z ktor├Żch sa m├┤┼że vytvori┼ą nielen transakcia, ale aj nov├Ż programovate─żn├Ż swapov├Ż v├Żstup obsahuj├║ci nespotrebovan├ę akt├şva.

Ako je zn├ízornen├ę na nasleduj├║com obr├ízku, zo swapov 1 a 2 vznik├í nov├Ż swap 8, ktor├Ż sl├║┼żi ako vstup pre nov├║ transakciu (ozna─Źen├Ż ─Źervenou ┼í├şpkou).

V┼íetky programovate─żn├ę swapy z f├ízy z├ív├Ązku v bloku N prech├ídzaj├║ bu─Ć na akt├şvnu, alebo neakt├şvnu hranicu (ozna─Źen├ę zelen├Żmi ┼í├şpkami). Swapy 5 a 6 sa presun├║ na akt├şvnu hranicu (s├║ pl├ínovate─żn├ę), zatia─ż ─Źo swap 7 zost├íva na neakt├şvnej hranici.

Okrem toho sa v├Żmena 3 presunula z neakt├şvnej hranice v bloku N do akt├şvnej hranice v bloku N+1 (zv├Żraznen├ę fialovou ┼í├şpkou). V├Żmenn├şk 4 zatia─ż zost├íva v neakt├şvnej oblasti (ozna─Źen├Ż modrou ┼í├şpkou).

V novom bloku N+1 boli predlo┼żen├ę nov├ę swapy 9 a 10.

Tieto postupy sa opakuj├║ v ka┼żdom bloku s v├Ą─Ź┼í├şm po─Źtom programovate─żn├Żch swapov.

Za dan├Żch trhov├Żch podmienok sa m├┤┼że sta┼ą, ┼że swapy, ktor├ę s├║ v Active Frontier, sa presun├║ do Inactive Frontier.

Ka┼żd├Ż programovate─żn├Ż swap nakoniec dosiahne koniec svojej ┼żivotnosti (EOL), ─Źo znamen├í, ┼że m├┤┼że by┼ą vyraden├Ż, preto┼że u┼ż nie je potrebn├Ż.

Existuj├║ dva scen├íre ved├║ce k zni─Źeniu programovate─żn├Żch swapov.

Jedn├Żm z nich je predlo┼żenie stornovacieho pr├şkazu vo forme ─Ćal┼íieho programovate─żn├ęho swapu, ktor├Ż zni─Ź├ş existuj├║ci programovate─żn├Ż swap. Druh├Żm je situ├ícia, ke─Ć programovate─żn├Ż swap dosiahne svoju EOL. Znamen├í to, ┼że zam├Ż┼í─żan├ę akcie boli dokon─Źen├ę alebo vypr┼íal ─Źas.

Na obr├ízku ni┼ż┼íie s├║ zn├ízornen├ę r├┤zne oper├ície v r├ímci protokolu Axo. Execution Engine, s├║─Źas┼ą mimo re┼ąazca Axo, spracov├íva storno pr├şkazy (zabra┼łuje ich pou┼żitiu vo swapoch), vykon├íva swapy a aktualizuje akt├şvne a neakt├şvne hranice (premiest┼łuje programovate─żn├ę swapy na z├íklade trhov├Żch v├Żkyvov).

Protokol Axo vynik├í svoj├şm spracovan├şm programovate─żn├Żch swapov. Jeho mechanizmus p├írovania pokynov dok├í┼że sp├írova┼ą programovate─żn├ę swapy r├┤znych typov pokynov, napr├şklad p├írova┼ą trhov├Ż pokyn s limitn├Żm pokynom.

Predpokladajme, ┼że je zadan├Ż trhov├Ż pokyn M. Tento pr├şkaz sa m├┤┼że vykona┼ą, pokia─ż je k dispoz├şcii likvidita, za najv├Żhodnej┼íiu dostupn├║ cenu. Povedzme, ┼że t├║to cenu pon├║ka limitn├Ż pokyn L a akt├şva predan├ę pokynom L sta─Źia na ├║pln├ę splnenie trhov├ęho pokynu M. Potom sa zad├í transakcia T, pri─Źom ako vstupn├ę EUTxO sa pou┼żij├║ M aj L. Transakcia T obsahuje vymenen├ę akt├şva, ktor├ę m├┤┼że agent, ktor├Ż predlo┼żil trhov├║ objedn├ívku M, min├║┼ą, a teda akt├şva sa priamo preved├║ do pe┼ła┼żenky agenta. Vytvor├ş sa nov├ę UTxO, ktor├ę obsahuje zvy┼ín├ę akt├şva nevyu┼żit├ę trhovou objedn├ívkou, ─Ź├şm sa vytvor├ş nov├Ż programovate─żn├Ż swap - nov├í limitn├í objedn├ívka.

Na obr├ízku ni┼ż┼íie je zn├ízornen├í transakcia vykon├ívaj├║ca swap. Vstup transakcie pozost├íva z trhov├ęho pr├şkazu M od agenta 1 a limitn├ęho pr├şkazu L. Transakcia prevedie akt├şva na adresu agenta 1 a predlo┼ż├ş nov├Ż limitn├Ż pr├şkaz LÔÇÖ, ktor├Ż dr┼ż├ş zvy┼ín├ę akt├şva nevyu┼żit├ę vo swape.

V┼íimnite si, ┼że po┼żiadavky trhov├ęho pr├şkazu boli splnen├ę s vyu┼żit├şm likvidity z limitn├ęho pr├şkazu, ─Źo je pr├şstup, ktor├Ż sa v kontexte likvidity ukazuje ako vysoko efekt├şvny.

Axo pracuje so zdrojmi ve─żmi efekt├şvne

Razenie NFT po─Źas z├ív├Ązkovej f├ízy je ide├ílne ┼ítrukt├║rovan├ę na paraleln├ę spracovanie. To umo┼ż┼łuje s├║be┼żn├ę razenie programovate─żn├Żch swapov v ka┼żdom blokovom cykle, ─Ź├şm sa eliminuj├║ oneskorenia a po┼żiadavky na sekven─Źn├ę spracovanie. F├íza z├ív├Ązku optimalizuje s├║be┼żnos┼ą a pripravuje p├┤du pre vysok├║ priepustnos┼ą.

Vykon├ívanie programovate─żn├Żch swapov vy┼żaduje minimum inform├íci├ş, ─Źo vedie k zn├ş┼żeniu spotreby pam├Ąte a n├íkladov.

Architekt├║ra Cardano umo┼ż┼łuje v├Żvoj├írom integrova┼ą z├íkladn├ę funkcie do ─Źasti aplik├ície v re┼ąazci, zatia─ż ─Źo komplexn├ę funkcie vr├ítane pr├şpravy transakci├ş sa rie┼íia mimo re┼ąazca. Valid├ítory v re┼ąazci overuj├║ len to, ─Źi s├║ splnen├ę podmienky pre v├Żdavky UTxO.

Funkcionalita mimo re┼ąazca zostavuje transakcie, ktor├ę sa potom validuj├║ v re┼ąazci pomocou skriptov valid├ítora. Tieto skripty m├┤┼żu potvrdi┼ą po┼żadovan├Ż prechod stavu.

Zlo┼żit├í logika protokolu Axo, ktor├í zah┼Ľ┼ła motor na porovn├ívanie pr├şkazov a motor na vykon├ívanie programovate─żn├Żch v├Żmen, sa nach├ídza v ─Źasti aplik├ície mimo re┼ąazca.

Je ve─żmi d├┤le┼żit├ę poznamena┼ą, ┼że automatizovan├Ż a algoritmick├Ż proces vykon├ívania, ktor├Ż u─żah─Źuj├║ programovate─żn├ę swapy, sa cel├Ż vykon├íva v re┼ąazci. To znamen├í, ┼że neexistuj├║ ┼żiadne prepojenia s extern├Żmi API, ┼żiadny extern├Ż softv├ęr nem├í pr├şstup k zmluv├ím a ┼żiadne podstatn├ę komponenty nie s├║ ulo┼żen├ę mimo re┼ąazca.

V programovacom modeli Cardano je komponent mimo re┼ąazca zodpovedn├Ż za v├Żber EUTxO pre transakciu. Skuto─Źn├ę vykon├ívanie transakci├ş v┼íak st├íle prebieha v re┼ąazci.

To nazna─Źuje, ┼że model poskytovan├Ż protokolom Axo je nielen samostatn├Ż, ale ─Źo je d├┤le┼żitej┼íie, je bez d├┤very a implementovan├Ż pomocou inteligentn├Żch kontraktov.

Tento dizajn teoreticky umo┼ż┼łuje dosiahnu┼ą efekt├şvnos┼ą porovnate─żn├║ s modern├Żmi centralizovan├Żmi burzami, pri─Źom si zachov├íva vlastnosti decentraliz├ície a vlastnej ├║schovy akt├şv.

Protokol Axo pracuje s vysoko fragmentovan├Żmi programovate─żn├Żmi v├Żmenami. Tie sa p├íruj├║ v ─Źasti aplik├ície mimo re┼ąazca, ─Źo si vy┼żaduje len minimum inform├íci├ş ulo┼żen├Żch v ka┼żdej programovate─żnej v├Żmene.

Ke─Ć m├┤┼że protokol Axo vyu┼żi┼ą hlavu Hydra pre programovate─żn├ę swapy na ┼ík├ílovanie transakci├ş, vplyv tohto elegantne jednoduch├ęho, fragmentovan├ęho dizajnu sa stane zrejm├Żm. V┼íetky EUTxO v akt├şvnej hranici sa m├┤┼żu prenies┼ą do hlavy Hydra na vykonanie a po vykonan├ş sa vr├íti┼ą do vrstvy 1 na vyrovnanie transakci├ş. Ke─Ć┼że ka┼żd├í programovate─żn├í v├Żmena predstavuje najmen┼í├ş mo┼żn├Ż z├ímer, zabezpe─Źuje ─Źo najefekt├şvnej┼íiu v├Żmenu inform├íci├ş medzi vrstvami.

Charakteristickou vlastnos┼ąou programovate─żn├Żch swapov je ich schopnos┼ą skladania. T├íto zlo┼żite─żnos┼ą programovate─żn├Żch swapov znamen├í, ┼że ich mo┼żno sp├íja┼ą, podrobova┼ą typovej kontrole a n├ísledne vytv├íra┼ą nov├ę, jedine─Źn├ę programovate─żn├ę swapy. Skladate─żnos┼ą je z├íkladn├Żm aspektom funkcion├ílneho programovania a skladanie programovate─żn├Żch swapov predstavuje najfunk─Źnej┼í├ş program├ítorsk├Ż pr├şstup k implement├ícii finan─Źn├Żch kontraktov.

Záver

Programovate─żn├Ż swap je samostatn├Ż, ned├┤veryhodn├Ż finan─Źn├Ż kontrakt vykon├ívan├Ż v├Żlu─Źne v re┼ąazci. Je to auton├│mna jednotka k├│du v re┼ąazci. To umo┼ż┼łuje automatizovan├ę a algoritmick├ę transakcie, pri─Źom zlo┼żit├í logika sa sprac├║va mimo re┼ąazca. Swapy je mo┼żn├ę ─żahko pren├í┼ía┼ą do in├Żch vrstiev a sp├Ą┼ą.

Tieto swapy s├║ jedine─Źn├ę, preto┼że sa m├┤┼żu navz├íjom sklada┼ą, prech├ídza┼ą typovou kontrolou a generova┼ą nov├ę jedine─Źn├ę programovate─żn├ę swapy.

Kon┼ítrukcia programovate─żn├Żch swapov frakcionuje likviditu, v─Ćaka ─Źomu je po prv├Żkr├ít mo┼żn├ę vytv├íra┼ą trh in┼ítitucion├ílnej ├║rovne v re┼ąazci. V├Żsledkom je vysok├í efekt├şvnos┼ą porovnate─żn├í s centralizovan├Żmi burzami, pri─Źom sa zachov├íva decentraliz├ícia a vlastn├í ├║schova akt├şv.

Celkovo s├║ programovate─żn├ę swapy k─ż├║─Źov├Żm prvkom v prostred├ş decentralizovan├Żch financi├ş, ktor├Ż zvy┼íuje efekt├şvnos┼ą a bezpe─Źnos┼ą kapit├ílov├ęho trhu.


P├┤vodn├Ż ─Źl├ínok: https://cexplorer.io/article/understanding-programmable-swaps