Aquest article ofereix una visió completa de DAML, el llenguatge de codi obert per als contractes intel·ligents. També aprendreu els avantatges de DAML i la comparació amb altres idiomes.
A mesura que la tecnologia blockchain evoluciona, es necessiten sistemes millorats a través dels quals els usuaris operen i interactuen. Ja hi ha moltes millores, sobretot perquè la cadena de bloc empresarial continua popularitzant-se. Entre els darrers desenvolupaments en l’entorn de blockchain que canvia ràpidament, hi ha DAML.
Des dels inicis d’Internet, la immutabilitat de les dades és una propietat que eludeix a molts desenvolupadors. Com a tals, els mals actors de l’ecosistema en línia van aprofitar la possibilitat d’alterar dades per cometre diversos delictes.
Tanmateix, la cadena de blocs va resultar més important quan els desenvolupadors van demostrar la capacitat de realitzar transaccions en un entorn sense un jugador central com passa al món financer heretat..
A més d’aquests llibres majors públics, també s’ha enlairat un gran mercat de llibres majors privats. Tant si està controlat per un partit central autoritzat legalment com per un consorci d’actors que desconfien mútuament i que tenen un objectiu comú, els llibres majors privats ofereixen la mateixa prova de futur i la seva immutabilitat que els llibres majors amb la capacitat addicional de mantenir la privadesa de les dades..
Si un llibre major és públic o privat, la classe d’aplicació que habitualment es denomina contractes intel·ligents és la de reforçar la capacitat dels companys d’un ecosistema de blockchain d’interaccionar amb garanties de privadesa..
Aquest article analitzarà més endavant detalladament què són els contractes intel·ligents i la seva importància en el context de DAML.
Inscriu-te ara:Curs de Fonaments de l’Enterprise Blockchains
Què és DAML?
En termes tècnics, DAML significa Digital Asset Modeling Language (DAML full form), un llenguatge de marques per a la web semàntica. No obstant això, l’argot tècnic pot confondre. Per tant, per a un significat DAML més senzill, penseu-ho com el llenguatge de codi obert per als contractes intel·ligents.
Essencialment, DAML és un llenguatge de contractes intel·ligent que permet als desenvolupadors codificar amb precisió acords multipartits per a una varietat de blockchain, DLT o fins i tot arquitectures de bases de dades estàndard..
Originat per Digital Asset, dóna vida nova a aquest gènere d’aplicacions (contractes intel·ligents) que permet als companys transaccionar en un entorn de confiança. Bàsicament, es tracta d’un llenguatge de programació que s’inspira en Haskell i que facilita la creació de contractes intel·ligents per a fluxos de treball empresarials distribuïts.
Cal destacar que el llenguatge permet als desenvolupadors reduir la quantitat de temps dedicat a tractar les femelles del xifratge i la cadena de blocs. En canvi, els desenvolupadors centren el seu temps en desenvolupar solucions de programació per a processos empresarials.
DAML – Llenguatge per a contractes intel·ligents simplement explicat
Propietats de DAML
Ofereix un mitjà per redactar contractes
Igual que altres llenguatges que fan servir els programadors per escriure contractes intel·ligents, DAML permet als companys fer acords i respectar-los. Cal destacar que l’idioma descriu el procés de formació d’un contracte, les parts claus de l’acord i les parts amb drets delegats al contracte..
A més de definir el procés de formació d’un contracte, el llenguatge s’encarrega de codificar idees com ara contractes, drets, parts, autorització i obligacions, ja que el desenvolupador només ha de fer front a la lògica del seu negoci; qualsevol aixecament pesat relacionat amb aspectes com el hash a la criptografia i els algoritmes de consens són abstrets i gestionats pel temps d’execució.
Aquesta expressió directa d’elements contractuals com a característiques del llenguatge natiu implica que l’arquitectura DAML pot comprovar el codi del sistema per si hi ha problemes de forma automàtica i anterior al cicle de desenvolupament. A més, el sistema té la capacitat de raonar tot sol sobre la lògica empresarial.
És de codi obert
El 4 d’abril de 2019, Digital Asset, l’empresa que hi havia darrere de DAML, va anunciar que el codi font del programa estaria disponible gratuïtament per a tots els desenvolupadors. Aquest subministrament obert del projecte significava que diferents parts podrien utilitzar DAML per modelar i executar contractes a través de la tecnologia blockchain sense por de bloquejar els proveïdors..
Segons l’anunci, els desenvolupadors i altres parts interessades podran accedir al llenguatge DAML, al codi font, al Software Development Kit (SDK) i al temps d’execució sota la permissiva llicència Apache 2.0..
Utilitzable en un entorn d’execució privada
Una de les deficiències dels llibres majors distribuïts públicament és que tots els nodes de la plataforma poden visualitzar les dades presents als contractes intel·ligents. Com a tal, als companys que necessiten mantenir els detalls del seu acord privats els resulta impossible fer transaccions a través d’una xarxa pública de blockchain.
En particular, es tracta d’un obstacle important que impedeix l’adopció completa de blockchain empresarial. Per això, com es va esmentar anteriorment, els DLT privats han augmentat en popularitat.
La combinació de DAML i una plataforma DLT privada proporciona un remei per a aquest cas. Cal destacar que l’equip darrere d’aquest llenguatge expressiu va optimitzar DAML perquè funciona perfectament en un entorn d’execució privat. És a dir, la informació inclosa en els contractes es manté privada, de manera que només hi poden accedir les parts autoritzades.
Llegible per humans i màquines
DAML és revolucionari en més d’un sentit. Cal destacar que el disseny del sistema permet que les màquines i els humans puguin entendre la informació inclosa al contracte.
La implicació d’aquesta capacitat és enorme. Els professionals que participen en la formació d’un contracte tindran facilitat per conèixer els detalls perquè DAML és molt respectuós amb els humans.
Per exemple, un advocat pot entendre fàcilment el significat d’un contracte llegint i avaluant la codificació DAML d’aquest contracte. Al mateix temps, DAML proporciona el grau d’especificitat adequat perquè els desenvolupadors calculin aspectes importants d’un contracte com el flux de caixa, els perfils de clients i l’exposició al risc..
Com funciona DAML? Un tutorial DAML funcional i ràpid
DAML funciona gairebé com tots els altres idiomes d’escriptura de contractes intel·ligents. En particular, el llenguatge funciona en dos nivells principals on hi ha el llenguatge mateix i el temps d’execució.
El llenguatge és com la part principal de la tecnologia. Això és el que permet als desenvolupadors realitzar tota la feina que han de fer en termes d’escriure acords i facilitar les transaccions.
Com que hi ha API molt netes i abstractes entre el llenguatge i el temps d’execució, el temps d’execució es pot adaptar per executar-se en una gran varietat de blockchain, DLT i altres plataformes..
Això proporciona la flexibilitat perquè les aplicacions DAML es portin a través de plataformes que proporcionin suport per a DAML. Això és similar a una JVM que permet que les aplicacions Java funcionin sense canvis en qualsevol plataforma que admeti la JVM.
Després d’instal·lar el kit de desenvolupament de programari (SDK), els desenvolupadors només han d’executar uns quants fitxers específics perquè el dispositiu pugui estar en condicions de donar suport a les operacions.
Modelització de dades
Una de les tasques principals i més importants que cal realitzar a l’hora d’escriure un contracte intel·ligent és la modelització de dades que s’utilitzaran amb aquest contracte. Normalment, la funció de modelatge de dades és complicada i pot conduir a estructures de dades molt complexes en funció de la complicació dels contractes i del nombre de parts implicades..
A diferència d’altres idiomes de contractes intel·ligents, DAML permet als desenvolupadors especificar el seu esquema de dades sobre la marxa, incorporant-lo directament al llenguatge d’execució del contracte. Això simplifica enormement la tasca de modelatge de dades i redueix la possibilitat d’introduir errors a causa de desajustos entre l’esquema de dades i la lògica de l’aplicació..
Llegeix més: Tutorial DAML: Introducció a DAML
Estructura d’esquema de plantilla
El desenvolupador de DAML especifica un contracte mitjançant una estructura senzilla i ben definida anomenada “plantilla”, que conté tant el model de dades com els paràmetres del contracte..
Els paràmetres inclouen, per exemple, els signants d’un contracte determinat (aquells participants que han d’autoritzar les accions del contracte) i els observadors (aquells participants de l’acord que només hi són per veure el contracte i què fa, però no estan autoritzats fer accions). Un altre aspecte de l’estructura de la plantilla inclou l’acord, que és bàsicament el detall de l’acord i la representació del que tracta el contracte.
Les plantilles poden especificar una o més condicions prèvies que assegurin que el contracte només es crea si el creador del contracte assoleix un llindar determinat. L’últim element de l’estructura de l’esquema de la plantilla és “opcions”. Això defineix el ventall d’opcions que pot exercir l’executor del contracte.
Estructura d’elecció
Una estructura important dins de la plantilla és l’estructura d’elecció, que detalla les opcions que les parts contractants poden triar en funció de la naturalesa de la plantilla..
L’estructura d’elecció identifica el responsable o la part responsable de l’exercici de l’elecció. Altres elements d’aquesta estructura inclouen la consumibilitat, un nom, un tipus de retorn, arguments d’elecció i un cos d’elecció.
Llegeix més: Tutorial de formació DAML
Comparació de contractes DAML amb contractes intel·ligents
Comprensió dels contractes intel·ligents
Com s’ha explicat anteriorment, els contractes intel·ligents són un component vital de la tecnologia del llibre major distribuït (DLT). A les cadenes de blocs públiques, dues parts anònimes poden crear un contracte intel·ligent per facilitar una determinada transacció, però les dades romanen emmagatzemades al llibre major. És a dir, que tots els participants a la xarxa poden veure els detalls de l’oferta per determinar-ne l’autenticitat. Com a tal, és possible el compliment de la confiança.
En DLT privats o amb permisos, es coneixen totes les parts, però només les parts implicades en una determinada transacció tenen accés a les dades de la transacció. La confiança encara es manté mitjançant mecanismes que permeten als participants validar totes les transaccions a les quals tenen accés.
Els contractes intel·ligents tenen característiques distintives que també els fan revolucionaris.
Per exemple, els contractes intel·ligents poden tenir un mecanisme d’autoexecució que es posa en marxa a partir dels terminis establerts (també anomenats esdeveniments desencadenants). A les xarxes públiques, qualsevol part interessada pot analitzar l’activitat dels contractes intel·ligents de manera que es pugui identificar qualsevol anomalia.
A més, els comerciants poden utilitzar contractes intel·ligents per obtenir el pols del mercat. Això inclou la capacitat de predir tendències i incerteses al mercat.
Els contractes intel·ligents tenen una sèrie d’avantatges que inclouen la immutabilitat de les dades. En termes bàsics, la immutabilitat es refereix a la impossibilitat d’alterar les dades des del seu estat original. És a dir, que les dades no es poden esborrar ni alterar de cap manera concebible.
La immutabilitat de les dades fa que els contractes intel·ligents siguin sempre precisos. En tercer lloc, en alguns casos, els contractes intel·ligents permeten als companys transaccionar directament sense la necessitat d’un intermediari. Per tant, aquestes transaccions són molt barates, de vegades no costen ni un cèntim.
Propietats dels contractes intel·ligents
Prova d’obligacions i drets
Una característica fonamental que han de tenir els contractes intel·ligents és que no cal fer transaccions sense estar còmode amb tot el procés. En essència, acceptar la contractació és totalment voluntari, però les conseqüències són obligatòries. Per tant, l’usuari ha de tenir en compte de manera fiable i hàbil les implicacions futures del contracte al qual un subscriu. El contracte intel·ligent ha de garantir que sempre sigui així, cosa que pot ser molt difícil d’encertar.
Verificació de la validesa de la transacció
Com es va comentar anteriorment, la informació relativa als detalls del contracte es pot localitzar fàcilment des del llibre major. Per tant, això compleix el requisit per als contractes que permetin verificar la seva autenticitat i validesa.
Llegeix més:Casos d’ús de contractes intel·ligents
Comparació amb DAML
Bàsicament, és obvi pel que precedeix que DAML produeix un subconjunt de contractes intel·ligents en què es pot corregir les deficiències dels idiomes existents. Com s’ha comentat anteriorment, el fet que els contractes intel·ligents a les xarxes públiques emmagatzemin les seves dades en llibres majors fa que els contractes intel·ligents siguin poc atractius per a transaccions confidencials.
Tanmateix, DAML, quan s’utilitza conjuntament amb xarxes privades, garanteix que només aquelles parts que autoritzen el contracte, juntament amb aquelles amb permís delegat per veure els detalls, poden tenir accés a la informació del contracte. Aquesta és una de les raons per les quals els observadors coneixedors creuen que aquest llenguatge és la funció assassina de les institucions financeres i d’altres que requereixen confidencialitat de les transaccions..
Tot i això, DAML com a llenguatge per als contractes intel·ligents es diferencia dels contractes intel·ligents tradicionals a l’hora de compartir els acords escrits. Llenguatges de contractes intel·ligents com Solidity comparteixen la informació públicament, de manera que tota la xarxa té accés als detalls. Per això, la gent debat sobre DAML vs solidesa.
Per contra, els acords escrits en DAML només estan disponibles segons la necessitat de saber-ho. És a dir, que tercers no desitjats no tenen accés als detalls. En particular, l’idioma utilitza una capa de seguretat addicional per la qual les dades ni tan sols estan disponibles per a les parts no desitjades.
Beneficis de DAML
Codi obert
La plataforma blockchain pot tenir només 10 anys, però creix ràpidament. Avui en dia, la tecnologia està revolucionant les indústries a ritmes sense precedents. La raó d’aquest ràpid creixement és el fet que el blockchain és de codi obert i qualsevol desenvolupador pot jugar-hi amb la millor solució per a un determinat problema..
Curiosament, DAML també és de codi obert des del 4 d’abril de 2019. És a dir, els desenvolupadors tenen la capacitat de modificar el codi DAML per crear les solucions més innovadores pel que fa als contractes intel·ligents i a l’ecosistema blockchain en general..
Llegeix més:Blockchain és el futur?
Activa les transaccions privades
Els idiomes tradicionals de contractes intel·ligents no contenen funcions natives amb restriccions sòlides on els acords es poden fer privats. En essència, la informació dels acords és accessible per a tots els participants, inclosos tercers no desitjats.
Tanmateix, com es va comentar anteriorment, DAML incorpora una capa de seguretat addicional quan aquesta informació només és accessible per a les parts autoritzades.
Accelera l’adopció de Blockchain empresarial
A mesura que les transicions de blockchain a casos d’ús empresarials, un dels problemes que frenen la tecnologia és la naturalesa distribuïda de la informació. Cal destacar, com es va comentar anteriorment, que ja hi ha esforços com la creació de plataformes de blockchain privades on tots els participants han d’adquirir permís abans de l’entrada.
No obstant això, les empreses encara s’enfronten a l’amenaça que els competidors vegin la seva estratègia. No obstant això, l’entrada de DAML és una solució potencial a aquest problema. En particular, l’idioma restringeix les dades dels acords només als nodes autoritzats a accedir-hi i la informació sobre acords no està disponible per a altres usuaris. Com a tal, les empreses no tenen cap excusa que saltar a bord i explotar el potencial de blockchain empresarial.
Llegeix més: Empreses que implementen la tecnologia Blockchain
Suport integrat per validar la correcció del model
Donada la naturalesa escassa de blockchain, la majoria de les operacions i models són experimentals i novedosos. Per tant, és necessària una validació constant de la correcció dels models. Per sort, DAML inclou un suport integrat on la validació de la correcció dels models és automàtica.
Abstracció d’emmagatzematge
El temps d’execució DAML és robust i realitza operacions vitals per fer que el llenguatge sigui superior a les alternatives existents. Per exemple, el temps d’execució resumeix els detalls del llibre major perquè el desenvolupador pugui centrar-se en la lògica del contracte.
Comparació de DAML amb altres idiomes alternatius de contractes intel·ligents
L’ecosistema blockchain encara creix i això implica que no hi ha sistemes d’operacions estàndard. Això també significa que no hi ha cap idioma que domini en la redacció de contractes intel·ligents. Com a tal, hi ha moltes altres alternatives a part de DAML.
DAML vs Solidity
La solidesa és un dels primers idiomes per escriure contractes intel·ligents Ethereum que van guanyar popularitat. Aquesta popularitat va ser el resultat de que la plataforma blockchain Ethereum era una xarxa preferida per als contractes intel·ligents.
Com a llenguatge de programació, Solidity domina la plataforma Ethereum. Aquest llenguatge utilitza una sintaxi i un script d’alt nivell que són similars a JavaScript. En particular, el llenguatge és vital en la millora de la màquina virtual Ethereum. Diversos altres blockchains privats com Hyperledger Burrow i Monax utilitzen el llenguatge per al desenvolupament primari.
A més, els desenvolupadors d’Ethereum van utilitzar Solidity per escriure la versió 0.4.0 del programari. La bellesa d’aquest llenguatge és que no trenca la funcionalitat de la xarxa blockchain.
A més, el llenguatge és vital en la creació de contractes intel·ligents que s’executin a la màquina virtual Ethereum (EVM). El llenguatge millora la capacitat de les aplicacions per reforçar-se la lògica empresarial inherent als contractes intel·ligents. Com a resultat, les parts que operen a l’ecosistema Ethereum deixen un registre autoritzat de les seves transaccions per facilitar la verificació.
A diferència de DAML, el llenguatge del qual és similar al de Haskell, Solidity utilitza una sintaxi propera a ECMAScript. Tanmateix, Solidity té funcions addicionals, com ara els tipus de retorn variadic i la capacitat per escriure estàticament. A més, els contractes escrits en Solidity admeten múltiples herències que es faciliten amb la linealització C3.
Llenguatge de modelització Actulus
Des que blockchain va començar a adoptar la direcció de l’empresa, van sorgir diversos idiomes específics del domini financer per resoldre alguns problemes identificats en els idiomes inicials.
A més de DAML i Solidity, Actulus Modeling Language (AML) va aparèixer per ajudar a resoldre problemes computacionals en el sector de les pensions i les assegurances. En particular, AML és una empresa multipartidària que incorpora Edlund A / S i la Universitat de Copenhaguen.
A diferència de llenguatges com Java i C / C ++ entre d’altres que generalment s’apliquen en diversos paràmetres, l’AML és específic de domini. És a dir, que l’idioma és útil per a un propòsit específic o pot crear aplicacions que s’executin en una plataforma específica. Com a tal, el llenguatge no pot crear programes, interfícies i aplicacions autònomes.
Contractes de confiança de BOScoin
Aquesta és una altra solució alternativa que utilitza el llenguatge ontològic web (WOL) per crear contractes intel·ligents. BOScoin sempre fa servir Timed Automata Language (TAL) per millorar la confiança i la solidesa dels contractes. En particular, el llenguatge crea contractes de confiança que faciliten la creació d’aplicacions descentralitzades (DApps). Bàsicament, el contracte intel·ligent reforça la naturalesa fiable dels DApps.
Aprèn més: Què és dApp?
De manera similar a DAML, BOScoin no és Turing-Complete. En canvi, es poden decidir els idiomes que els diferencien de la naturalesa Turing-Complete dels contractes intel·ligents d’Ethereum. A diferència dels contractes intel·ligents d’Ethereum, els contractes de confiança BOScoin utilitzen un llenguatge d’ontologia complet i més contingut. En particular, això es deu a la necessitat que l’equip creï una plataforma on els desenvolupadors puguin arribar a contractes fiables.
Què és el futur de DAML?
Tal com estan les coses, l’entorn blockchain està ple de llenguatges de contractes intel·ligents. Els nombrosos idiomes dificulten la interoperabilitat de les aplicacions blockchain i, per tant, retarden l’adopció massiva de blockchain.
Curiosament, la plataforma Hyperledger només utilitza més de sis idiomes, inclòs DAML, que crea contractes intel·ligents a Hyperledger Sawtooth.
No obstant això, la capacitat d’abstracció del temps d’execució DAML ajuda a resoldre una gran quantitat de problemes d’errors en els contractes intel·ligents creats de manera general. També fa que les aplicacions DAML siguin portàtils a altres plataformes. A més de la plataforma Digital Asset, s’ha anunciat el suport DAML per a VMware Blockchain i Sawtooth, cosa que indica que altres plataformes podrien adoptar-lo.
Per tant, és probable que el llenguatge DAML es pugui convertir en el llenguatge universal de contractes intel·ligents en les properes dècades.
Si voleu obtenir més informació sobre temes fonamentals similars relacionats amb la tecnologia blockchain, no oblideu consultar el nostre curs gratuït de blockchain empresarial.