DAML- Az intelligens szerződések nyelve

Ez a cikk átfogó képet nyújt a DAML-ről – az intelligens szerződések nyílt forráskódú nyelvéről. Megismeri a DAML előnyeit és a más nyelvekkel való összehasonlítást is. 

A blokklánc-technológia fejlődésével szükség van olyan továbbfejlesztett rendszerekre, amelyeken keresztül a felhasználók működnek és kölcsönhatásba lépnek. Már most is sok fejlesztés történik, különösen, amikor a vállalati blokklánc továbbra is népszerűvé válik. A gyorsan változó blockchain környezet legújabb fejleményei közé tartozik a DAML.

Az internet hajnala óta az adatok megváltoztathatatlansága olyan tulajdonság, amely sok fejlesztőt elkerül. Mint ilyen, az online ökoszisztéma rossz szereplői kihasználták az adatok megváltoztatásának képességét a különféle bűncselekmények elkövetése érdekében.

Azonban a blokklánc fontosabbnak bizonyult, amikor a fejlesztők bebizonyították, hogy képesek tranzakciókat végrehajtani olyan környezetben, ahol nincs központi szereplő, mint ahogy ez a régi pénzügyi világban történik.

Ezen nyilvános főkönyvek mellett a magán, engedélyezett főkönyvek nagy piaca is fellendült. Akár egy törvényesen felhatalmazott központi párt, akár egy kölcsönösen bizalmatlan szereplők konzorciumának ellenőrzése alatt áll, akiknek közös a célja, a magánkönyvek ugyanolyan jövőbiztosítást és megváltoztathatatlanságot nyújtanak, mint a közkönyvek, az adatvédelem fenntartásának további képességével..

Függetlenül attól, hogy egy adott főkönyv nyilvános vagy magán, a blokklánc-ökoszisztéma társainak azon képessége, hogy kölcsönhatásba lépjenek az adatvédelmi garanciákkal, az az alkalmazásosztály, amelyet általában intelligens szerződéseknek neveznek..

Ez a cikk később részletesen tárgyalja, hogy mi az intelligens szerződés, és milyen jelentőségű a DAML összefüggésében.

Jelentkezzen most: Enterprise Blockchains Fundamentals tanfolyam

Mi a DAML?

Műszaki szempontból a DAML a Digital Asset Modeling Language (DAML teljes űrlap) rövidítése – a szemantikus web jelölőnyelve. A technikai szaknyelv azonban megzavarhatja. Tehát az egyszerűbb DAML-értelemben gondoljon rá, mint az intelligens szerződések nyílt forráskódú nyelvére.

Lényegében a DAML egy intelligens szerződéses nyelv, amely lehetővé teszi a fejlesztők számára, hogy pontosan kódolják a több félről szóló megállapodásokat különféle blokklánc-, DLT- vagy akár szabványos adatbázis-architektúrákhoz..

A Digital Asset által létrehozott új életet lehel ennek az alkalmazási műfajnak (intelligens szerződések), amely lehetővé teszi a társaik számára, hogy megbízható környezetben végezzenek tranzakciókat. Alapvetően ez egy olyan programozási nyelv, amely a Haskell inspirációját meríti és megkönnyíti az intelligens szerződések létrehozását az elosztott üzleti munkafolyamatok számára.

Különösen a nyelv lehetővé teszi a fejlesztők számára, hogy csökkentsék a titkosítás és a blokklánc anyáinak és csavarjainak kezelésével töltött időt. Ehelyett a fejlesztők idejüket az üzleti folyamatok programozási megoldásainak fejlesztésére összpontosítják.

DAML – Az intelligens szerződések nyelve egyszerűen magyarázható 


A DAML tulajdonságai

Biztosítja a szerződések megírásának eszközét

A programozók által használt okos szerződések megírásához használt többi nyelvhez hasonlóan a DAML is lehetővé teszi a társak számára a megállapodások megkötését és betartását. Nevezetesen a nyelv leírja a szerződés létrejöttének folyamatát, a megállapodás legfontosabb feleit és a szerződésre átruházott jogokkal rendelkező feleket.

A szerződés megalkotási folyamatának meghatározása mellett a nyelv gondoskodik az olyan ötletek kódolásáról, mint a szerződések, a jogok, a felek, az engedélyezés és a kötelezettségek, mivel a fejlesztőnek csak üzleti tevékenységének logikájával kell foglalkoznia; minden olyan nehézség, ami olyan dolgokkal kapcsolatos, mint a rejtjelezés, és a konszenzus algoritmusokat elvonja és kezeli a futás.

A szerződéses elemek ilyen közvetlen kifejezése, mint anyanyelvi jellemzők, azt jelenti, hogy a DAML architektúra ügyesen és automatikusan a fejlesztési ciklus elején képes ellenőrizni a rendszer kódját a problémák ellen. Ezenkívül a rendszer képes önállóan megindokolni az üzleti logikát.

Ez nyílt forráskódú

2019. április 4-én, a Digital Asset cégnél a DAML mögött álló cég bejelentette, hogy a program forráskódja szabadon elérhető lesz minden fejlesztő számára. Ez a nyílt forráskódú projekt azt jelentette, hogy a különböző felek képesek lennének használni a DAML-t a szerződések blokklánc-technológián keresztüli modellezésére és végrehajtására, félve az eladó bezárását.

A bejelentés szerint a fejlesztők és más érdekelt felek a nagyon megengedő Apache 2.0 licenc alatt férhetnek hozzá a DAML nyelvhez, a forráskódhoz, a Software Development Kithez (SDK) és a futásidejéhez..

Magán végrehajtási környezetben használható

A nyilvánosan terjesztett főkönyvek egyik hiányossága, hogy a platform minden csomópontja megtekintheti az intelligens szerződésekben szereplő adatokat. Mint olyan társaik, akiknek titokban kell tartaniuk üzletük részleteit, lehetetlenné teszik a tranzakciókat nyilvános blokklánc-hálózaton keresztül.

Különösen ez az egyik fő buktató, amely megakadályozza a vállalati blokklánc teljes elfogadását. Ezért, ahogy korábban említettük, a magán DLT-k népszerűsége megugrott.

A DAML és egy magán DLT platform kombinációja orvosolja ezt az esetet. Különösen az expresszív nyelv mögött álló csapat optimalizálta a DAML-t, mivel tökéletesen működik egy privát végrehajtási környezetben. Ez azt jelenti, hogy a szerződésekben szereplő információk titkosak maradnak, és csak az arra felhatalmazott felek férhetnek hozzá.

Emberek és gépek olvashatók

A DAML nemcsak egy értelemben forradalmi. Különösen a rendszer úgy van megtervezve, hogy a gépek és az emberek megértsék a szerződésben szereplő információkat.

Ennek a képességnek a következménye hatalmas. A szerződés megkötésében részt vevő szakembereknek könnyű lesz eligazodni a részletek között, mert a DAML nagyon emberbarát.

Például egy ügyvéd könnyen megértheti a szerződés jelentését azáltal, hogy elolvassa és értékeli a szerződés DAML kódolását. Ugyanakkor a DAML megfelelő fokú specifikusságot biztosít a fejlesztők számára a szerződés olyan fontos szempontjainak kiszámításához, mint a cash flow, az ügyfelek profilja és a kockázati kitettség.

Hogyan működik a DAML? Gyors funkcionális DAML oktatóanyag

A DAML nagyjából úgy működik, mint az összes többi okos szerződésírás nyelv. Különösen a nyelv két nagy szinten működik, ahol van maga a nyelv és a futásideje.

A nyelv olyan, mint a technológia fő része. Ez az, ami lehetővé teszi a fejlesztők számára, hogy minden szükséges munkát elvégezzenek a megállapodások megírása és a tranzakciók megkönnyítése terén.

Mivel a nyelv és a futás között nagyon tiszta és elvont API-k vannak, a futásidejű átalakításra kerülhet különféle blokklánc, DLT és más platformok végrehajtására.

Ez biztosítja a DAML-alkalmazások rugalmasságát a platformok között, amelyek támogatják a DAML-t. Ez hasonló egy JVM-hez, amely lehetővé teszi a Java alkalmazások változatlan futtatását bármely olyan platformon, amely támogatja a JVM-et.

A szoftverfejlesztő készlet (SDK) telepítése után a fejlesztőknek csak néhány speciális fájlt kell futtatniuk, hogy az eszköz képes legyen támogatni a műveleteket.

Adatok modellezése

Az intelligens szerződés megírásakor az egyik fő és legfontosabb feladat, amelyet az adott szerződéssel együtt felhasználandó adatok modellezésével kell elvégezni. Normál esetben az adatmodellezési funkció bonyolult, és nagyon összetett adatstruktúrákhoz vezethet, attól függően, hogy a szerződések mennyire bonyolultak és hány fél érintett.

Más intelligens szerződéses nyelvektől eltérően a DAML lehetővé teszi a fejlesztők számára, hogy menet közben adják meg az adatsémájukat, közvetlenül beágyazva a szerződés végrehajtási nyelvébe. Ez nagymértékben leegyszerűsíti az adatmodellezés feladatát és csökkenti az adatok sémája és az alkalmazás logika közötti eltérések miatt bekövetkező hibák esélyét.

Olvass tovább: DAML oktatóanyag: A DAML használatának megkezdése

Sablon vázlat szerkezete

A DAML fejlesztő egy egyszerű és jól definiált, „sablonnak” nevezett struktúrán keresztül határozza meg a szerződést, amely mind a szerződés adatmodelljét, mind paramétereit tartalmazza.

A paraméterek közé tartozik például az adott szerződés aláírói (azok a résztvevők, akiknek engedélyezniük kell a szerződéssel kapcsolatos tevékenységeket), és a megfigyelők (a megállapodás azon résztvevői, akik csak azért vannak, hogy lássák a szerződést és mit csinálnak, de nincsenek felhatalmazva) hogy cselekedjenek). A sablonszerkezet egy másik aspektusa magában foglalja a megállapodást, amely alapvetően a megállapodás részlete és annak bemutatása, hogy miről szól a szerződés.

A sablonok meghatározhatnak egy vagy több előfeltételt, amelyek biztosítják a szerződés létrejöttét, ha a szerződés alkotója elér egy bizonyos küszöböt. A sablonvázlat-struktúra utolsó eleme a „választások”. Ez meghatározza azon választási lehetőségeket, amelyeket a szerződés végrehajtója gyakorolhat.

Választási struktúra

A sablon egyik fő struktúrája a választási struktúra, amely részletezi azokat a döntéseket, amelyeket a szerződő felek a sablon jellege szempontjából választhatnak.

A választási struktúra meghatározza az adatkezelőt vagy a felet, aki felelős a választás gyakorlásáért. A struktúra további elemei közé tartozik a fogyaszthatóság, a név, a visszatérési típus, a választási érvek és a választási törzs.

Olvass tovább: DAML képzési útmutató

A DAML és az intelligens szerződések összehasonlítása

Az intelligens szerződések megértése

A korábban kifejtettekhez hasonlóan az intelligens szerződések az elosztott főkönyvi technológia (DLT) létfontosságú elemei. Nyilvános blokkláncokban két névtelen fél intelligens szerződést hozhat létre egy bizonyos tranzakció megkönnyítése érdekében, de az adatokat továbbra is a nyilvános főkönyvben tárolják. Ez azt jelenti, hogy a hálózat minden résztvevője megtekintheti az ügylet részleteit, hogy megbizonyosodjon a hitelességéről. Mint ilyen, a bizalom érvényesítése lehetséges.

A privát vagy engedélyezett DLT-kben minden fél ismert, de csak az adott tranzakcióban érintett felek férnek hozzá a tranzakció adataihoz. A bizalmat továbbra is olyan mechanizmusok tartják fenn, amelyek lehetővé teszik a résztvevők számára az összes tranzakció érvényesítését, amelyhez hozzáférnek.

Az intelligens szerződések megkülönböztető jellemzőkkel rendelkeznek, amelyek forradalmassá teszik őket.

Például az intelligens szerződéseknek lehet egy önmegvalósító mechanizmusa, amely a meghatározott határidőktől indulva elindul (más néven események kiváltó események). A nyilvános hálózatokban bármely érdekelt fél elemezheti az intelligens szerződések tevékenységét úgy, hogy bármilyen rendellenességet fel lehessen találni.

A kereskedők intelligens szerződésekkel is megkaphatják a piac impulzusát. Ez magában foglalja a piaci trendek és bizonytalanságok előrejelzésének képességét.

Az intelligens szerződéseknek számos előnye van, amelyek magukban foglalják az adatok változatlanságát. Alapvetően a változtathatatlanság az adatok eredeti állapotának megváltoztatásának lehetetlenségére utal. Ez azt jelenti, hogy az adatokat semmilyen elképzelhető módon nem lehet törölni vagy módosítani.

Az adatok változatlansága miatt az intelligens szerződések mindig pontosak. Harmadszor, bizonyos esetekben az intelligens szerződések lehetővé teszik a társaik számára, hogy közvetlenül közvetítsenek ügyleteket közvetítő nélkül. Ezért az ilyen tranzakciók nagyon olcsóak, néha nem kerülnek egy fillérbe sem.

Az intelligens szerződések tulajdonságai

Kötelezettségek és jogok igazolása

Az intelligens szerződések egyik kritikus jellemzője az, hogy nem kell tranzakciókat lebonyolítania anélkül, hogy jól érezné magát az egész folyamatban. Lényegében a szerződés megkötése teljesen önkéntes, de a következmények kötelezőek. Ezért a felhasználónak megbízhatóan és ügyesen mérlegelnie kell a szerződés jövőbeli következményeit, amelyekre az ember aláírja. Az intelligens szerződésnek garantálnia kell, hogy ez mindig így legyen, amit nagyon nehéz helyrehozni.

A tranzakció érvényességének ellenőrzése

A korábban tárgyaltakhoz hasonlóan a szerződés részleteire vonatkozó információk is könnyen nyomon követhetők a főkönyvből. Ezért ez megfelel azoknak a szerződéseknek a követelményének, amelyekkel ellenőrizhető a hitelességük és érvényességük.

Olvass tovább: Intelligens szerződéses felhasználási esetek

Összehasonlítás a DAML-rel

Lényegében a fentiekből nyilvánvaló, hogy a DAML az intelligens szerződések egy részhalmazát állítja elő, amely képes kijavítani a meglévő nyelvek hiányosságait. A korábban tárgyaltakhoz hasonlóan az a tény, hogy az intelligens szerződések a nyilvános hálózatokon tárolják adataikat a nyilvántartásokon, vonzóvá teszi az intelligens szerződéseket a bizalmas tranzakciók számára.

A DAML azonban a magánhálózatokkal együtt használva biztosítja, hogy csak azok a felek férhessenek hozzá a szerződéshez, amelyek felhatalmazzák a szerződést, a részletek megtekintésére felhatalmazott engedéllyel rendelkező felek mellett. Ez az egyik oka annak, hogy a hozzáértő megfigyelők úgy gondolják, hogy ez a nyelv a gyilkos funkció a pénzügyi intézmények és mások számára, amelyek tranzakciós titoktartást igényelnek.

Mindazonáltal a DAML, mint az intelligens szerződések nyelve, különbözik a hagyományos intelligens szerződések nyelvétől az írásbeli megállapodások megosztása tekintetében. Az olyan intelligens szerződési nyelvek, mint a Solidity, nyilvánosan megosztják az információkat, így az egész hálózat hozzáfér a részletekhez. Ezért vitatkoznak az emberek a DAML vs szilárdságról.

Éppen ellenkezőleg, a DAML-ben írt megállapodások csak ismeretek alapján állnak rendelkezésre. Ez azt jelenti, hogy a nemkívánatos harmadik felek nem férhetnek hozzá a részletekhez. A nyelv különösen egy további biztonsági réteget használ fel, amely révén az adatok még a nem kívánt felek számára sem állnak rendelkezésre.

A DAML előnyei

Nyílt forráskód

Lehet, hogy a blockchain platform mindössze 10 éves, de gyorsan növekszik. Ma a technológia példátlan ütemben forradalmasítja az iparágakat. Ennek a gyors növekedésnek az oka az a tény, hogy a blockchain nyílt forráskódú, és minden fejlesztő el tudja érni, hogy a legjobb megoldást kínálja egy bizonyos problémára.

Érdekes, hogy a DAML szintén nyílt forráskódú, 2019. április 4-e óta. Ez azt jelenti, hogy a fejlesztőknek van mozgásterük a DAML-kód módosítására, hogy az intelligens szerződésekről és általában a blokklánc-ökoszisztémáról a leginnovatívabb megoldásokat hozzák létre..

Olvass tovább: A Blockchain a jövő?

Engedélyezi a privát tranzakciókat

A hagyományos intelligens szerződéses nyelvek nem tartalmaznak olyan natív szolgáltatásokat, amelyek korlátozottan korlátoznák a megállapodásokat. Lényegében a megállapodásokban szereplő információk minden résztvevő számára hozzáférhetők, beleértve a nemkívánatos harmadik feleket is.

Amint azonban korábban említettük, a DAML egy további biztonsági réteget tartalmaz, ahol az ilyen információk csak az arra felhatalmazott felek számára érhetők el.

Felgyorsítja az Enterprise Blockchain elfogadását

Mivel a blokklánc áttér a vállalati felhasználási esetekre, a technológia egyik hátráltató kérdése az információk elosztott jellege. Különösen, amint azt korábban említettük, már vannak olyan erőfeszítések, mint például a privát blockchain platformok létrehozása, ahol minden résztvevőnek engedélyt kell szereznie a belépés előtt.

A vállalkozások azonban továbbra is azzal a fenyegetéssel néznek szembe, hogy a versenytársak szemügyre veszik stratégiájukat. A DAML beírása azonban lehetséges megoldás erre a problémára. Különösen a nyelv csak a hozzáférésre jogosult csomópontokra korlátozza a megállapodás adatait, és a megállapodásokkal kapcsolatos információk más felhasználók számára nem állnak rendelkezésre. Mint ilyen, a vállalkozásoknak nincs mentségük, csak fel kell ugraniuk és kiaknázniuk a vállalati blokklánc potenciálját.

Olvass tovább: A blokklánc-technológiát megvalósító vállalkozások

Beépített támogatás a modell helyességének ellenőrzéséhez

A blockchain inchoate jellegére tekintettel a legtöbb művelet és modell kísérleti és újszerű. Ezért szükség van a modellek helyességének állandó validálására. Szerencsére a DAML beépített támogatással rendelkezik, ahol a modellek helyességének ellenőrzése automatikus.

Tárolási absztrakció

A DAML futásideje robusztus és létfontosságú műveleteket hajt végre annak érdekében, hogy a nyelv jobb legyen a meglévő alternatíváknál. Például a futás absztrakt abból a szempontból, hogy a fejlesztő a szerződés logikájára koncentrálhat.

A DAML összehasonlítása más alternatív intelligens szerződéses nyelvekkel

A blokklánc ökoszisztéma még mindig növekszik, ami azt jelenti, hogy nincsenek szabványos működési rendszerek. Ez azt is jelenti, hogy az intelligens szerződések megírásában nincs egyetlen nyelv, amely dominálna. Mint ilyen, a DAML-en kívül számos más alternatíva létezik.

DAML vs szilárdság

A szilárdság az egyik legelső nyelv az Ethereum okos szerződéseinek megírásához, amelyek népszerűségre tettek szert. Ez a népszerűség annak az eredménye volt, hogy az Ethereum blockchain platform előnyös hálózat volt az intelligens szerződésekhez.

Programozási nyelvként a Solidity uralja az Ethereum platformot. Ez a nyelv a JavaScripthez hasonló magas szintű szintaxist és szkriptet használ. Különösen a nyelv létfontosságú az Ethereum virtuális gép fejlesztésében. Számos más magánblokk, például a Hyperledger Burrow és a Monax használja a nyelvet az elsődleges fejlesztéshez.

Továbbá az Ethereum fejlesztői a Solidity-t használták a szoftver 0.4.0 verziójának megírásához. Ennek a nyelvnek az a szépsége, hogy nem szakítja meg a blockchain hálózat funkcionalitását.

Ezenkívül a nyelv létfontosságú az Ethereum virtuális gépen (EVM) futó intelligens szerződések létrehozásában. A nyelv növeli az alkalmazások azon képességét, hogy önállóan megerősítsék az intelligens szerződésekben rejlő üzleti logikát. Ennek eredményeként az Ethereum ökoszisztémában az ügyleteket lebonyolító felek hiteles nyilvántartást hagynak tranzakcióikról az ellenőrizhetőség megkönnyítése érdekében.

A DAML-től eltérően, amelynek nyelve hasonló a Haskell nyelvéhez, a Solidity olyan szintaxist használ, amely közel áll az ECMAScript-hez. A Solidity azonban olyan extra képességekkel rendelkezik, mint a variadikus visszatérési típusok és a statikus gépelés képessége. Továbbá a Solidity-ben írt szerződések többszörös öröklődést támogatnak, amelyet megkönnyít a C3 linearizáció.

Actulus modellezési nyelv

Amióta a blokklánc kezdett vállalati irányt mutatni, a kezdeti nyelvekben azonosított néhány probléma megoldására különböző pénzügyi területspecifikus nyelvek jöttek létre.

A DAML és a Solidity mellett az Actulus Modellező Nyelv (AML) jött létre, hogy segítsen megoldani a nyugdíj- és biztosítási szektor számítási kérdéseit. Különösen az AML egy több félből álló vállalkozás, amely magában foglalja az Edlund A / S-t és a koppenhágai IT-egyetemet.

Az olyan nyelvektől eltérően, mint a Java és a C / C ++, amelyek általában alkalmazhatók a különböző beállításokban, az AML tartományspecifikus. Ez azt jelenti, hogy a nyelv egy meghatározott célra hasznos, vagy egy adott platformon futó alkalmazásokat hozhat létre. Mint ilyen, a nyelv nem hozhat létre önálló programokat, interfészeket és alkalmazásokat.

BOScoin bizalmi szerződések

Ez egy másik alternatív megoldás, amely intelligens szerződések létrehozásához a Web Ontology Language (WOL) nyelvet használja. A BOScoin mindig az időzített automaták nyelvét (TAL) alkalmazza, hogy növelje a szerződések bizalmát és megbízhatóságát. A nyelv különösen megbízhatósági szerződéseket hoz létre, amelyek megkönnyítik a decentralizált alkalmazások (DApps) létrehozását. Lényegében az intelligens szerződés megerősíti a DApps megbízható jellegét.

Tudj meg többet: Mi a dApp?

A DAML-hez hasonlóan a BOScoin sem Turing-Complete. Ehelyett a nyelvek eldönthetők, ami megkülönbözteti őket az Ethereum intelligens szerződések Turing-Complete jellegétől. Az Ethereum intelligens szerződéseivel ellentétben a BOScoin Trust Contracts átfogó és tartalmasabb ontológiai nyelvet használ. Ez elsősorban annak köszönhető, hogy a csapatnak olyan platformot kell létrehoznia, ahol a fejlesztők megbízható szerződésekkel tudnak előállni.

Mit jelent a jövő a DAML számára?

A dolgok jelenlegi állása szerint a blockchain környezet el van látva az intelligens szerződéses nyelvekkel. A sok nyelv megnehezíti a blokklánc alkalmazások interoperabilitását, és ezáltal késlelteti a blokklánc tömeges elfogadását.

Érdekes, hogy a Hyperledger platform önmagában több mint hat nyelvet használ, beleértve a DAML-t, amely intelligens szerződéseket hoz létre a Hyperledger Sawtooth-ban.

A DAML futásidejének absztrakciós képessége azonban segít megoldani számos hibajelenséget az intelligens szerződésekben. Emellett a DAML alkalmazásokat más platformokra is hordozhatóvá teszi. A Digital Asset platformja mellett DAML támogatást jelentettek be a VMware Blockchain és a Sawtooth számára, ami azt jelzi, hogy más platformok is alkalmazhatják.

Ezért valószínű, hogy a DAML nyelv az elkövetkező évtizedekben az univerzális intelligens szerződések nyelvévé válhat.

Ha többet szeretne megtudni a blockchain technológiával kapcsolatos hasonló alapvető témákról, mindenképpen nézze meg az ingyenes vállalati blockchain tanfolyamunkat.

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