DAML – jezik za pametne pogodbe

Ta članek ponuja izčrpen pogled na DAML – odprtokodni jezik za pametne pogodbe. Spoznali boste tudi prednosti DAML in primerjavo z drugimi jeziki.

Ko se tehnologija veriženja blokov razvija, obstaja potreba po izboljšanih sistemih, s katerimi uporabniki delujejo in komunicirajo. Že zdaj se dogaja veliko izboljšav, zlasti ker blockchain podjetja še naprej postaja priljubljen. Med najnovejšimi dosežki v hitro spreminjajočem se okolju blockchain je DAML.

Od začetka interneta je nespremenljivost podatkov lastnost, ki se je mnogim razvijalcem izmikala. Kot taki so slabi akterji v spletnem ekosistemu izkoristili sposobnost spreminjanja podatkov za različna kazniva dejanja.

Vendar se je blockchain izkazal za pomembnejšega, ko so razvijalci dokazali sposobnost izvajanja transakcij v okolju brez osrednjega igralca, kot se to dogaja v zapuščinskem finančnem svetu.

Poleg teh javnih knjig se je sprožil tudi velik trg za zasebne, pooblaščene knjige. Ne glede na to, ali jih nadzoruje zakonito pooblaščena centralna stranka ali konzorcij vzajemno nezaupljivih akterjev, ki imajo skupni cilj, zasebne knjige zagotavljajo enako dokazovanje prihodnosti in nespremenljivost kot javne knjige z dodano zmožnostjo ohranjanja zasebnosti podatkov.

Ne glede na to, ali je določena knjiga javna ali zasebna, je vrsta uporabe, ki se običajno imenuje pametne pogodbe, podlaga za sposobnost vrstnikov v ekosistemu blockchain, da sodelujejo z garancijami o zasebnosti..

Ta članek bo kasneje podrobno razložil, kaj so pametne pogodbe in njihov pomen v kontekstu DAML.

Vpišite se zdaj:Tečaj osnove podjetniških blokov

Kaj je DAML?

V tehničnem smislu DAML pomeni jezik za modeliranje digitalnih sredstev (polna oblika DAML) – označevalni jezik za semantični splet. Vendar pa lahko tehnični žargon zmede. Za enostavnejši pomen DAML torej pomislite na to kot na odprtokodni jezik za pametne pogodbe.

V bistvu je DAML pametni pogodbeni jezik, ki razvijalcem omogoča natančno kodiranje večstranskih pogodb za različne arhitekture blokov, DLT ali celo standardne baze podatkov..

Izvira iz podjetja Digital Asset, vdahne novo življenje tej aplikativni zvrsti (pametne pogodbe), ki vrstnikom omogoča, da poslujejo v okolju zaupanja. V bistvu je to programski jezik, ki črpa navdih iz Haskella in olajša ustvarjanje pametnih pogodb za porazdeljene poslovne tokove poslovanja.

Zlasti jezik omogoča razvijalcem, da zmanjšajo čas, porabljen za spopadanje z maticami šifriranja in verigami blokov. Namesto tega razvijalci svoj čas usmerjajo v razvoj programskih rešitev za poslovne procese.

DAML – preprosto razložen jezik za pametne pogodbe

DAML Infografika

Lastnosti DAML

Ponuja sredstva za pisanje pogodb

Tako kot drugi jeziki, ki jih programerji uporabljajo za pisanje pametnih pogodb, tudi DAML vrstnikom omogoča, da sklepajo in spoštujejo sporazume. Jezik opisuje postopek oblikovanja pogodbe, ključne stranke v sporazumu in stranke z dodeljenimi pravicami do pogodbe.

Jezik poleg opredelitve postopka oblikovanja pogodbe skrbi tudi za kodiranje idej, kot so pogodbe, pravice, stranke, pooblastila in obveznosti, saj se mora razvijalec ukvarjati le z logiko svojega poslovanja; kakršno koli težko dvigovanje v zvezi s stvarmi, kot je zgoščevanje v kriptografiji, in algoritmi soglasja so abstraktni in obdelani med izvajanjem.

Ta neposreden izraz elementov pogodbe kot lastnosti maternega jezika pomeni, da lahko arhitektura DAML samodejno in prej v razvojnem ciklu samodejno preveri sistemsko kodo za težave. Poleg tega je sistem sposoben sam sklepati o poslovni logiki.

Je odprtokodna

4. aprila 2019 je družba Digital Asset, ki stoji za DAML, objavila, da bo izvorna koda programa prosto dostopna vsem razvijalcem. Ta odprti vir projekta je pomenil, da bodo različne stranke lahko uporabljale DAML za modeliranje in izvrševanje pogodb prek tehnologije veriženja blokov brez strahu pred zaklepanjem prodajalcev.

V skladu z napovedjo bodo razvijalci in drugi zainteresirani lahko dostopali do jezika DAML, izvorne kode, kompleta za razvoj programske opreme (SDK) in časa izvajanja pod zelo dovoljeno licenco Apache 2.0.

Uporabno v zasebnem izvršilnem okolju

Pomanjkljivost javno razdeljenih knjig je, da si lahko vsako vozlišče na platformi ogleda podatke, ki so prisotni v pametnih pogodbah. Kot taki vrstniki, ki morajo obdržati zasebne podatke o svojem poslu, ne morejo opravljati transakcij prek javnega omrežja blockchain.

To je zlasti eden glavnih ovir, ki preprečuje popolno sprejetje podjetniške verige blokov. Zato so, kot smo že omenili, zasebni DLT-ji postajali vse bolj priljubljeni.

Kombinacija DAML in zasebne platforme DLT je rešitev za ta primer. Ekipa, ki stoji za tem izraznim jezikom, je DAML optimizirala, saj deluje popolnoma v zasebnem okolju. To pomeni, da informacije v pogodbah ostanejo zasebne, tako da lahko do njih dostopajo samo pooblaščene stranke.

Preberejo ljudje in stroji

DAML je revolucionaren v več kot le enem pomenu. Zasnova sistema je zasnovana tako, da lahko stroji in ljudje razumejo informacije iz pogodbe.

Posledica te sposobnosti je ogromna. Strokovnjaki, ki sodelujejo pri oblikovanju pogodbe, se bodo zlahka znašli po podrobnostih, saj je DAML zelo prijazen do človeka.

Na primer, odvetnik lahko zlahka razume pomen pogodbe tako, da prebere in oceni DAML kodiranje te pogodbe. Hkrati DAML nudi razvijalcem pravo stopnjo specifičnosti za izračun pomembnih vidikov pogodbe, kot so denarni tok, profili strank in izpostavljenost tveganju.

Kako deluje DAML? Kratka vadnica DAML

DAML deluje podobno kot vsi drugi jeziki za pisanje pametnih pogodb. Zlasti jezik deluje na dveh glavnih ravneh, kjer obstaja jezik sam in čas izvajanja.

Jezik je kot glavni del tehnologije. To je tisto, kar razvijalcem omogoča, da opravijo vse svoje delo v smislu pisanja sporazumov in olajševanja transakcij.

Ker obstajajo zelo čisti in abstraktni API-ji med jezikom in izvajalnim okoljem, ga je mogoče prilagoditi za izvajanje na različnih blokovnih verigah, DLT in drugih platformah..

To zagotavlja prilagodljivost prenosov aplikacij DAML na platforme, ki zagotavljajo podporo za DAML. To je analogno JVM, ki omogoča, da se Java programi nespremenjeno izvajajo na kateri koli platformi, ki podpira JVM.

Po namestitvi kompleta za razvoj programske opreme (SDK) morajo razvijalci zagnati le nekaj določenih datotek, da lahko naprava podpira delovanje.

Modeliranje podatkov

Ena izmed glavnih in najpomembnejših nalog, ki jo moramo opraviti pri pisanju pametne pogodbe, je modeliranje podatkov, ki se bodo uporabljali s to pogodbo. Funkcija modeliranja podatkov je običajno zapletena in lahko vodi do zelo zapletenih podatkovnih struktur, odvisno od tega, kako zapletene so pogodbe in koliko sodelujočih strank.

Za razliko od drugih pametnih pogodbenih jezikov DAML razvijalcem omogoča, da svojo podatkovno shemo določijo sproti in jo neposredno vgradijo v izvršilni jezik pogodbe. To močno poenostavi nalogo modeliranja podatkov in zmanjša možnost napak zaradi neskladja med podatkovno shemo in logiko aplikacije.

Preberi več: Vadnica za DAML: Kako začeti z DAML

Struktura predloge predloge

Razvijalec DAML določi pogodbo s preprosto in natančno določeno strukturo, imenovano »predloga«, ki vsebuje tako podatkovni model kot parametre pogodbe..

Parametri vključujejo na primer podpisnike dane pogodbe (tiste udeležence, ki morajo odobriti ukrepe v zvezi s pogodbo), in opazovalce (tiste udeležence v dogovoru, ki so ravno tam, da vidijo pogodbo in kaj naredi, vendar niso pooblaščeni ukrepati). Drug vidik strukture predloge vključuje sporazum, ki je v bistvu podrobnost sporazuma in prikaz vsebine pogodbe.

Predloge lahko določijo enega ali več predpogojev, ki zagotavljajo, da se pogodba ustvari le, če določen prag doseže ustvarjalec pogodbe. Zadnji element v orisni strukturi predloge je “izbire”. To opredeljuje obseg odločitev, ki jih lahko izvrši izvajalec pogodbe.

Struktura izbire

Glavna struktura v predlogi je izbirna struktura, ki podrobno opisuje izbire, ki jih pogodbene stranke lahko izberejo glede na naravo predloge.

Izbirna struktura določa upravljavca ali stranko, ki je odgovorna za izvedbo izbire. Drugi elementi te strukture vključujejo potrošnost, ime, vrsto vrnitve, argumente izbire in telo izbire.

Preberi več: Vadnica za usposabljanje DAML

Primerjava DAML in pametnih pogodb

Razumevanje pametnih pogodb

Kot smo že pojasnili, so pametne pogodbe bistveni del tehnologije porazdeljene knjige (DLT). V javnih verigah blokov lahko dve anonimni stranki ustvarita pametno pogodbo za lažjo določeno transakcijo, vendar podatki ostanejo shranjeni v javni knjigi. To pomeni, da si lahko vsi udeleženci v mreži ogledajo podrobnosti posla, da preverijo njegovo pristnost. Kot takšna je mogoča uveljavitev zaupanja.

V zasebnih ali pooblaščenih DLT-jih so znane vse stranke, vendar imajo dostop do podatkov te transakcije samo tiste strani, ki sodelujejo v določeni transakciji. Zaupanje se še vedno ohranja z mehanizmi, ki udeležencem omogočajo potrditev vseh transakcij, do katerih imajo dostop.

Pametne pogodbe imajo značilne značilnosti, zaradi katerih so tudi revolucionarne.

Na primer, pametne pogodbe imajo lahko samoizvajajoč se mehanizem, ki se sproži v določenih rokih (imenovanih tudi sprožilni dogodki). V javnih omrežjih lahko katera koli zainteresirana stranka analizira dejavnost pametnih pogodb tako, da je mogoče ugotoviti kakršno koli nepravilnost.

Trgovci lahko s pametnimi pogodbami dobijo utrip trga. To vključuje sposobnost predvidevanja trendov in negotovosti na trgu.

Pametne pogodbe imajo številne prednosti, ki vključujejo nespremenljivost podatkov. V bistvu se nespremenljivost nanaša na nezmožnost spreminjanja podatkov iz prvotnega stanja. To pomeni, da podatkov ni mogoče izbrisati ali spremeniti na kakršen koli možen način.

Zaradi nespremenljivosti podatkov so pametne pogodbe vedno natančne. Tretjič, pametne pogodbe v nekaterih primerih omogočajo vrstnikom neposredne transakcije brez potrebe po posredniku. Zato so takšne transakcije zelo poceni, včasih ne stanejo niti centa.

Lastnosti pametnih pogodb

Dokazilo o obveznostih in pravicah

Bistvena lastnost, ki jo morajo imeti pametne pogodbe, je ta, da ni treba opravljati transakcij, ne da bi se počutil dobro s celotnim postopkom. V bistvu je soglasje za sklenitev pogodbe popolnoma prostovoljno, vendar so posledice obvezne. Zato mora uporabnik zanesljivo in natančno upoštevati prihodnje posledice pogodbe, na katero se podpiše. Pametna pogodba mora zagotoviti, da je vedno tako, kar je zelo težko dobiti pravilno.

Preverjanje veljavnosti transakcije

Kot že prej omenjeno, je iz knjige mogoče zlahka izslediti podatke o podrobnostih pogodbe. S tem je torej izpolnjena zahteva za pogodbe, s katerimi je mogoče preveriti njihovo pristnost in veljavnost.

Preberi več:Primeri uporabe pametne pogodbe

Primerjava z DAML

Iz zgoraj navedenega je v bistvu razvidno, da DAML proizvaja podskupino pametnih pogodb, s katerimi lahko odpravi pomanjkljivosti obstoječih jezikov. Kot že omenjeno, dejstvo, da pametne pogodbe v javnih omrežjih hranijo svoje podatke na javnih knjigah, naredi pametne pogodbe neprivlačne za zaupne transakcije.

Vendar DAML, kadar se uporablja skupaj z zasebnimi omrežji, zagotavlja, da imajo dostop do informacij o pogodbi lahko samo tiste stranke, ki pooblastijo pogodbo, skupaj s tistimi, ki imajo pooblastilo za ogled podrobnosti. To je eden od razlogov, zakaj znani opazovalci menijo, da je ta jezik ubijalska funkcija za finančne institucije in druge, ki zahtevajo zaupnost transakcij.

Kljub temu se DAML kot jezik pametnih pogodb razlikuje od tradicionalnih pametnih pogodb, ko gre za delitev pisnih dogovorov. Jeziki pametnih pogodb, kot je Solidity, informacije delijo javno, zato ima celotno omrežje dostop do podrobnosti. Zato ljudje razpravljajo o DAML vs trdnosti.

Nasprotno, sporazumi, napisani v DAML, so na voljo samo na podlagi potrebe po vedenju. To pomeni, da nezaželene tretje osebe nimajo dostopa do podrobnosti. Jezik zlasti uporablja dodatno stopnjo varnosti, pri čemer podatki niso na voljo niti nezaželenim stranem.

Prednosti DAML

Odprtokodno

Platforma blockchain je morda stara le 10 let, vendar hitro raste. Danes tehnologija revolucionira panoge z izjemno hitrostjo. Razlog za tako hitro rast je dejstvo, da je veriga blokov odprtokodna in se lahko vsak razvijalec z njo ukvarja, tako da ima najboljšo rešitev za določeno težavo..

Zanimivo je, da je DAML tudi odprtokoden od 4. aprila 2019. To pomeni, da imajo razvijalci dovolj prostora, da spremenijo kodo DAML, da ustvarijo najbolj inovativne rešitve, ko gre za pametne pogodbe in blockchain ekosistem na splošno..

Preberi več:Je Blockchain prihodnost?

Omogoča zasebne transakcije

Tradicionalni jeziki pametnih pogodb ne vsebujejo izvornih funkcij z močnimi omejitvami, pri katerih je mogoče sporazume narediti zasebne. Informacije v sporazumih so v bistvu dostopne vsem udeležencem, vključno z nezaželenimi tretjimi osebami.

Kot smo že omenili, DAML vključuje dodatno stopnjo varnosti, kadar so takšne informacije dostopne samo pooblaščenim osebam.

Pospešuje sprejemanje poslovnih blokov

Ko blockchain prehaja na primere uporabe v podjetju, je eno od vprašanj, ki zadržuje tehnologijo, porazdeljena narava informacij. Kot smo že omenili, že obstajajo prizadevanja, kot je ustvarjanje zasebnih blokovnih platform, kjer morajo vsi udeleženci pridobiti dovoljenje pred vstopom.

Vendar se podjetja še vedno soočajo z grožnjo, da konkurenti vidijo njihovo strategijo. Vendar je vstop DAML potencialna rešitev za to težavo. Jezik zlasti omejuje podatke o pogodbah samo na tista vozlišča, ki so pooblaščena za dostop do njih, informacije o pogodbah pa niso na voljo drugim uporabnikom. Kot taka podjetja nimajo nobenega izgovora, ampak da se vkrcajo in izkoristijo potencial podjetniških blokov.

Preberi več: Podjetja, ki izvajajo tehnologijo veriženja blokov

Vgrajena podpora za preverjanje pravilnosti modela

Glede na nenavadno naravo verige blokov je večina operacij in modelov eksperimentalnih in novih. Zato obstaja potreba po stalnem preverjanju pravilnosti modelov. Na srečo ima DAML vgrajeno podporo, kjer je preverjanje pravilnosti modelov samodejno.

Shranjevanje abstrakcije

Izvajalno okolje DAML je zanesljivo in izvaja vitalne operacije, da jezik postane boljši od obstoječih alternativ. Na primer, čas izvajanja povzema podrobnosti glavne knjige, tako da se lahko razvijalec osredotoči na logiko pogodbe.

Primerjava DAML z drugimi alternativnimi jeziki pametnih pogodb

Ekosistem blockchain še vedno raste, kar pomeni, da ni standardnih sistemov delovanja. To tudi pomeni, da ni nobenega jezika, ki bi prevladoval pri pisanju pametnih pogodb. Kot taki obstajajo številne druge možnosti, razen DAML.

DAML vs Solidnost

Solidity je eden prvih jezikov za pisanje pametnih pogodb Ethereum, ki so postali priljubljeni. Ta priljubljenost je bila posledica blokade verige Ethereum, ki je bila prednostno omrežje za pametne pogodbe.

Kot programski jezik Solidity dominira na platformi Ethereum. Ta jezik uporablja sintakso in skript na visoki ravni, ki je podoben JavaScriptu. Zlasti je jezik ključnega pomena pri izboljšanju navideznega računalnika Ethereum. Številne druge zasebne verige blokov, kot sta Hyperledger Burrow in Monax, uporabljajo jezik za primarni razvoj.

Poleg tega so razvijalci Ethereuma s Solidity napisali različico 0.4.0 programske opreme. Lepota tega jezika je, da ne krši funkcionalnosti blockchain omrežja.

Poleg tega je jezik ključnega pomena pri ustvarjanju pametnih pogodb, ki se izvajajo na navideznem računalniku Ethereum (EVM). Jezik povečuje zmožnost aplikacij, da samo okrepijo poslovno logiko, ki je neločljivo povezana s pametnimi pogodbami. Posledično stranke v ekosistemu Ethereum pustijo verodostojen zapis svojih transakcij, da olajšajo preverljivost.

Za razliko od DAML, katerega jezik je podoben jeziku Haskell, Solidity uporablja sintakso, ki je blizu ECMAScriptu. Vendar ima Solidity dodatne funkcije, kot so različni tipi vrnitve in možnost statičnega tipkanja. Tudi pogodbe, napisane v Solidity, podpirajo več dedovanja, ki so olajšane z linearizacijo C3.

Modelni jezik Actulus

Ker je blockchain začel usmerjati podjetje, so se za reševanje nekaterih težav, ki so bile ugotovljene v začetnih jezikih, pojavili različni jeziki, specifični za finančno področje.

Poleg DAML in Solidity je za reševanje računskih vprašanj v pokojninskem in zavarovalniškem sektorju prišel tudi Actulus Modeling Language (AML). AML je zlasti večstransko podjetje, ki vključuje Edlund A / S in IT univerzo v Københavnu..

Za razliko od jezikov, kot sta Java in C / C ++, ki so na splošno uporabni v različnih nastavitvah, je AML odvisen od domene. To pomeni, da je jezik uporaben za določen namen ali lahko ustvarja aplikacije, ki se izvajajo na določeni platformi. Kot tak jezik ne more ustvarjati samostojnih programov, vmesnikov in aplikacij.

Zaupanja vredne pogodbe BOScoin

To je še ena alternativna rešitev, ki za ustvarjanje pametnih pogodb uporablja jezik spletnega ontologije (WOL). BOScoin vedno uporablja TAL Automata Language (TAL) za povečanje zaupanja in trdnosti pogodb. Jezik zlasti ustvarja pogodbe o zaupanju, ki olajšajo ustvarjanje decentraliziranih aplikacij (DApps). V bistvu pametna pogodba krepi zaupanja vredno naravo DApps.

Nauči se več: Kaj je dApp?

Podobno kot DAML tudi BOScoin ni Turing-Complete. Namesto tega so jeziki sprejemljivi, kar jih razlikuje od Turing-Complete narave pametnih pogodb Ethereum. Za razliko od pametnih pogodb Ethereum, BOScoin Trust Contracts uporabljajo celovit in bolj zadržan jezik ontologije. To je zlasti posledica potrebe ekipe, da ustvari platformo, na kateri lahko razvijalci pripravijo zanesljive pogodbe.

Kaj prinaša prihodnost za DAML?

Ker stvari stojijo, je blockchain okolje preplavljeno s pametnimi pogodbenimi jeziki. Številni jeziki otežujejo interoperabilnost blockchain aplikacij in s tem zamujajo z množičnim sprejemanjem blockchain.

Zanimivo je, da samo platforma Hyperledger uporablja več kot šest jezikov, vključno z DAML, ki ustvarja pametne pogodbe v Hyperledger Sawtooth.

Vendar zmožnost abstrakcije izvajalnega okolja DAML pomaga rešiti številne težave z napakami v pametnih pogodbah, ustvarjenih na celotni plošči. Omogoča tudi prenos aplikacij DAML na druge platforme. Poleg platforme Digital Asset je bila napovedana tudi podpora DAML za VMware Blockchain in Sawtooth, kar pomeni, da bi jo lahko sprejele tudi druge platforme.

Zato je verjetno, da bi lahko jezik DAML v prihodnjih desetletjih postal univerzalni jezik pametnih pogodb.

Če želite izvedeti več o podobnih temeljnih temah glede tehnologije veriženja blokov, si oglejte naš brezplačni tečaj za veriženje podjetij.

Mike Owergreen Administrator
Sorry! The Author has not filled his profile.
follow me
Like this post? Please share to your friends:
map