DAML on avoimen lähdekoodin ekosysteemi, jolla voidaan rakentaa täyden pinon älykkäitä sopimuksiin perustuvia hajautettuja sovelluksia. Sen ydinsopimuskieli on tarkoitukseen rakennettu toiminnallinen kieli, joka on erikoistunut yhdistettävien hajautettujen liiketoiminnan työnkulkujen kuvaamiseen. DAML: n ainutlaatuinen myyntivaltti on yksinkertainen – keskity kokonaan sovelluslogiikkaan huolehtimatta taustalla olevan infrastruktuurin pienimuotoisuudesta, olipa kyse hajautetusta pääkirjasta, lohkoketjusta tai tietokannasta. Ennen kuin ryhdymme DAML: ään, saamme nopeasti käsityksen sen taustalla olevasta tekniikasta ja älykkäistä sopimuksista.

Kirjat, lohkoketjut ja älykkäät sopimukset

Ledger on aikaleimattu sarja muuttumattomia tietueita. Blockchain on tunnetuin tyyppi hajautettu pääkirja, sellainen, jota hallitsee tietokoneiden yhteenliittymä ja joka ei ole minkään yksittäisen yksikön omistuksessa. Lohkoketjussa pääkirjan merkinnät pakataan lohkojen sarjaan, ja jokainen merkintälohko on suojattu ja sidottu edelliseen salausperiaatteiden avulla. Kolme ominaisuutta tekee blockchainista todella erikoisen:

  • Hajautettu: Lohkoketjua isännöi vertaisverkko. Jokainen tämän verkon solmu lataa ja ylläpitää kopiota lohkoketjusta järjestelmässään. Tämä varmistaa, että kaikki lohkoketjun sisään tallennetut tiedot ovat kaikkien jakamia ja yksi ainoa järjestelmän sisäinen keskusyksikkö ei kerää niitä.
  • Läpinäkyvyys: Koska jokainen verkon solmu tallentaa version lohkoketjusta, he kaikki näkevät niihin tallennetut tiedot. Sellaisenaan kaikki lohkoketjun sisällä olevat tiedot ovat läpinäkyviä.
  • Muuttamattomuus: Toinen mielenkiintoinen asia muistaa on, että kun jokin on syötetty lohkoon, sitä ei voida muuttaa. Tätä lohkoketjun ominaisuutta kutsutaan “muuttumattomuudeksi”.

Kuten ehkä jo tiedät, blockchain-tekniikka tuli esiin Bitcoinin myötä. Tämä oli niin vallankumouksellinen keksintö, että ihmiset alkoivat miettiä, onko olemassa joukkoa vierekkäisiä, laajempia tekniikoita luotettavan arvonsiirron lisäksi. Ethereum hyökkäsi lopulta salamarkkinoille ja esitteli maailmalle “älykkäät sopimukset”, jotka olivat riittävän joustavia kirjoittamaan kokonaisia ​​hajautettuja sovelluksia tai dchappeja, joita tuki lohkoketju. 

Älykkäät sopimukset – Tuo lohkoketju joukkoon

Ajattele mikä on sopimus ja miten se toimii perinteisessä mielessä. Sopimus on oikeudellisesti sitova kahden osapuolen välinen asiakirja. Älykäs sopimus toimii samalla tavalla, lukuun ottamatta kahta pelinmuutosta – sopimuksessa määritellyt säännöt ovat koneellisesti luettavissa ja suoritettavissa ja ne pannaan täytäntöön hajautetun tietokonejärjestelmän avulla ilman, että kummallakin sopimuspuolella on riittävästi hallintaa sen ohittamiseksi yksin.

Oikean määritelmän antaminen – Älykäs sopimus on digitaalinen sopimus, jonka tarkoituksena on helpottaa, tarkistaa tai panna täytäntöön neuvottelut tai sopimuksen toteuttaminen. Sen avulla useat osapuolet voivat tehdä niin vuorovaikutuksessa suoraan toistensa kanssa käymättä läpi kolmannen osapuolen.

Termi “älykäs sopimus” keksi salaustekijä Nick Szabo jo 90-luvulla artikkelissaanÄlykkäät sopimukset: Digitaalisten markkinoiden rakennuspalikat.”Ymmärrämme heidän toimintaperiaatteensa ottamalla esimerkin Szabon automaatista.

Näin olet tavallisesti vuorovaikutuksessa myyntiautomaatin kanssa:

  • Valitset haluamasi kohteen.
  • Laitat käteistä koneen sisään.
  • Kone antaa sinulle kohteen.

Melko suoraviivainen, eikö? On kuitenkin otettava huomioon kaksi asiaa koko tämän vuorovaikutuksen aikana:

  • Kutakin vaihetta ei voida suorittaa ennen kuin edellinen vaihe on suoritettu. Esimerkiksi. et voi laittaa rahaa, ennen kuin valitset haluamasi. Kone ei voi myöskään antaa sinulle esineitä, ennen kuin laitat rahat.
  • Koko tämän vuorovaikutuksen aikana sinä ja kone olette suoraan vuorovaikutuksessa toistensa kanssa. Teidän kahden välillä ei ole kolmatta osapuolta, kuten kauppias.

Nämä ovat älykkäiden sopimusten pääperiaatteet:

  • Älykkään sopimuksen osapuolet voivat olla suoraan vuorovaikutuksessa keskenään.
  • Älykkään sopimuksen jokainen vaihe voidaan toteuttaa vasta edellisen vaiheen suorittamisen jälkeen.

Sisällyttämällä tämän yksinkertaisen innovaation Ethereum pystyi luomaan protokollan, jossa käyttäjät voivat olla suoraan vuorovaikutuksessa dApps (jaetut sovellukset) käymättä läpi kolmannen osapuolen. Ethereum käyttää älykkyyssopimusten koodaamiseen kieltä nimeltä “Vakavuus”. Ethereum, kuten useimmat muut suositut älykkäät sopimusalustat, kuten EOS ja TRON, on kuitenkin julkinen estoketju. Julkisella lohkoketjulla on avoin verkko, ja kuka tahansa voi liittyä siihen varauksetta. 

Jos yritykset käyttävät estoketjuja, julkiset estoketjut eivät aina sovi niiden käyttötapauksiin, varsinkin jos ne haluavat tai vaativat, että vuorovaikutuksensa ovat täysin yksityisiä. Yritykset tarvitsevat erityistyyppisiä estoketjuja, joita kutsutaan “luvatuiksi lohkoketjuiksi”. Lisätietoja heistä alla. 

Mitä yrityslohkoketjuilta vaaditaan?

Toisin kuin julkiset lohkoketjut, luvallinen / yksityinen lohkoketju ei ole avoin kaikille. Osallistuaksesi verkkoon, sinun on hankittava siihen lupa verkolta. On joitain ominaisuuksia, jotka näiden yrityslohkoketjujen on täytettävä:

  • Korkea suorituskyky: Ensinnäkin yritykset tarvitsevat lohkoketjun, joka pystyy käsittelemään suuren määrän tapahtumia. Suurin osa julkisista estoketjuista ei voi edes suorittaa 100 tapahtumaa sekunnissa jatkuvasti.
  • Korkea sietokyky: Yritysten estoketjujen on voitava palata seisokkeista ja mahdollisista vikatilanteista. Korkean käytettävyyden varmistamiseksi heidän on kyettävä välttämään ongelmat, jotka voivat johtaa suuriin seisokkeihin. Saadakseen tämän sietokyvyn järjestelmän tulisi olettaa, että epäonnistumisia tapahtuu varmasti, ja sen on oltava valmis pitämään järjestelmän toiminnassa näissä tilanteissa.
  • Tietosuojaominaisuudet: Julkinen estoketju ei määritelmän mukaan ole yksityinen. Laitosten on käsiteltävä paljon luottamuksellisia tietoja ja määräyksiä sekä pidettävä tietyt tiedot luokiteltuina kilpailuedun ja teollis- ja tekijänoikeuksien vuoksi (minkä vuoksi ne tarvitsevat ensinnäkin suljettua / luvatonta ympäristöä).

Yritysystävällisen ympäristön lisäksi ne edellyttävät myös erikoistuneita älykkäitä sopimuksia. Ethereumin julkinen älykäs sopimus perustuu vakavuuteen, mutta on olemassa erityispiirteitä, jotka yrityksen älykkään sopimuskielen tulisi olla. Keskustelemme näistä ominaisuuksista seuraavaksi.

Yrityksen älykkäiden sopimuskielien ominaisuudet

Tavallisten älykkäiden sopimuskielien suurin ongelma on, että ne on joko suunniteltu tai innoittamana kielille, jotka on rakennettu perinteisempien järjestelmien toteuttamiseen. Ne ovat yleensä matalatasoisia ja tiiviisti kytkettyjä infrastruktuureihin, joita he käyttävät. Tämä tekee niistä vaikeita ja hitaita ohjelmoida. Kehittäjät ovat jatkuvasti luoneet sopimuksia hyödynnettävissä olevista virheistä, jotka ovat aiheuttaneet merkittävää vahinkoa salausekosysteemille. Vuonna 2016 Ethereum-yhteisö koki omin silmin, mitä nämä alle optimaalisesti koodatut älykkäät sopimukset voisivat tehdä. DAO: n piti olla kaikkien aikojen tärkein älykäs sopimus Ethereumissa. Yksinkertaisen virheen ansiosta hakkeri kuitenkin pystyi hyödyntämään sopimusta ja poistamaan Etherin yli 150 miljoonan dollarin arvosta. Tämä hakkerointi oli niin tuhoisa, että Ethereum-protokolla lopulta jaettiin Ethereumiin ja Ethereum Classiciin.

Kaikki tämä periaatteessa kertoo meille, että koodattaessa sellaisella kielellä kuin Solidity, kooderin on otettava huomioon seuraavat seikat:

  • Ole varovainen hyökkäyksiltä, ​​kuten uudelleenkäynnistymiseltä, yli- ja alivirroilta, lyhyiden osoitteiden hyökkäyksiltä jne.
  • Jokainen osittainen sopimus, jonka sopimus tulee läpi, on otettava huomioon. 
  • Sama operaatio voi tarkoittaa eri asioita eri kielillä. Esimerkiksi. Vaikka vakavuus lainaa paljon JavaScriptiä, samat toiminnot voivat toimia eri tavoin kullakin kielellä.

Lyhyesti sanottuna, et voi valita satunnaisesti kieltä ja kirjoittaa sopimuksiasi. Sinun on ymmärrettävä kaikki valitsemasi mahdolliset seuraukset. Digital Asset käytti vuosia tutkimalla älykästä sopimusten toteuttamista tarkentaakseen tärkeimmät ominaisuudet, joita yrityksen älykkäät sopimuskielet edellyttävät:

  • Sopimuksen tekemisen on oltava vapaaehtoista. Kun kaikki osapuolet tekevät sopimuksen vapaaehtoisesti, heidän tulee tehdä kaikki tarvittavat toimet parhaan kykynsä mukaan.
  • Ainoastaan ​​osapuolten, joihin sopimus vaikuttaa, pitäisi pystyä näkemään niihin vaikuttavat seuraukset (ja vain ne).
  • Osapuolten tulisi pystyä ennustamaan kohtuullisesti, kuinka sopimus jatkuu tulevaisuudessa. Heidän pitäisi pystyä ennustamaan kaikki tilat, jotka sopimus mahdollisesti voi toteuttaa. 
  • Älykkäiden sopimusten kehittäjien tulisi pystyä käyttämään kieltä, joka antaa heille mahdollisuuden keskittyä kokonaan liiketoimintalogiikkaansa matalan tason yksityiskohtien, kuten hajautus-, salaus- ja konsensusprotokollien, sijasta..

Mikä on DAML?

DAML on älykäs sopimuskieli, joka on rakennettu erityisesti hajautettuja kirjanpitoja varten ja mahdollistaa reaaliaikaisen liiketoimintalogiikan turvallisen, yksiselitteisen ja korkean tason määrittelyn. Tässä on joitain tärkeitä DAML-asioita, jotka sinun on pidettävä mielessä:

  • DAML on helppo kirjoittaa ja lukea, joten määriteltävän yrityksen ymmärtävä henkilö voi varmistaa, että koodi on tarkoituksensa mukainen.
  • DAML on nopea rakentaa ja ottaa käyttöön, voit siirtyä nollasta loppupäähän erittäin nopeasti.
  • Se on sopimusten kieli, jossa sopimukset ja osapuolet ovat kielten alkuperäisiä rakenteita.
  • Kehittäjät pystyvät kuvaamaan tarkasti, miten sopimukset tehdään ja mitkä osapuolet ovat suoraan tai epäsuorasti mukana.
  • Kehittäjien ei tarvitse huolehtia matalan tason rakenteista, ja he voivat keskittyä kokonaan liiketoimintalogiikan luomiseen.
  • DAML tarjoaa korkeatasoista yksityisyyttä ja abstraktiota. DAML-järjestelmä seuraa automaattisesti osapuolia, jotka saavat nähdä kunkin sopimuksen yksityiskohdat. Nämä tiedot välitetään myös taustalla olevalle kirjanpidolle sen varmistamiseksi, että vain ne tiedot, jotka tietyllä osapuolella on lupa nähdä, lähetetään sille todella.
  • Kun DAML-ohjelma on suoritettu, se luo hyvin jäsennellyn ja ihmisille ymmärrettävän kirjausketjun, joka auttaa selittämään kahta asiaa: miksi kukin toiminto suoritettiin ja kummankin osapuolen rooli siinä älykkäässä sopimuksessa.
  • DAML: ssä päivitykset on määritelty koodilla, ja ne voidaan suorittaa häiriöttömästi ilman seisokkeja. Voit helposti lisätä uusia rooleja ja työnkulkuja olemassa oleviin ratkaisuihin ilman mitään komplikaatioita.

DAML – Toimiva kieli

Toisin kuin välttämättömät kielet, DAML on toiminnallinen kieli. Seuraavissa kappaleissa katsomme, mitä tämä tarkoittaa.

Pakolliset ohjelmointikielet

Perinteiset ohjelmointikielet, kuten C ++, Java ja Solidity, ovat välttämättömiä ohjelmointikieliä. Pakollisessa ohjelmointikielessä kehittäjän on kirjoitettava kaikki ohjeet, jotka tietokoneen on tehtävä tavoitteen saavuttamiseksi. Otetaan esimerkki C ++: ssa, mitä tarkoitamme tällä. 

Oletetaan, että haluamme tulostaa numerot 1: stä 100: een 

int i = 0;

Seuraava:

i ++;

printf (“% i”, i);

jos minä < 100) siirry seuraavaksi;

int a = 5;

int b = 3;

int c;

c = a + b;

Kuten näette, lisäysprosessi ottaa vastaan ​​useita käskyjä, ja jokainen käsky muuttaa jatkuvasti ohjelman tilaa, koska ne kaikki suoritetaan erikseen.

Lisäysprosessiin kului neljä ohjetta, jotka ovat:

  • Ilmoitetaan kokonaisluku “a” ja annetaan sille arvo 5.
  • Ilmoitetaan kokonaisluku “b” ja annetaan sille arvo 3.
  • Ilmoitetaan kokonaisluku ”c”.
  • Lisäämällä arvot ja b ja tallentamalla ne c: hen.

Toiminnalliset ohjelmointikielet

Tässä ohjelmointityylissä toiminnot, ei ohjeet, ovat keskipisteessä. Tuloksen laskemisen tai algoritmin suorittamisen ohjeiden kirjoittamisen sijaan haluttu käyttäytyminen kuvataan tavallisessa matemaattisessa funktiossa kartoittamalla funktion tulot lähtöihin,  

Toiminnallinen ohjelmointi soveltuu erityisesti älykkäisiin sopimuksiin, koska toimintojen koostumustapa on samanlainen kuin sopimusten vuorovaikutus. Sopimus, jossa sanotaan “Jos Alice antaa Bobille 100 dollaria, Bob antaa Aliceelle lipun”, on kuin toiminto, joka kartoittaa 100 dollaria lippuun. Jos on toinen sopimus, jossa sanotaan “Jos Alice esittelee lipun Bobille, Bob päästää Alicen oven läpi”, tämä on toinen toiminto, joka kuvaa lipun pääsyn saamista. Aivan kuten toiminnot, nämä sopimukset luovat luonnollisesti: “Jos Alice antaa Bobille 100 dollaria, Bob päästää Alicen sisään ovesta”.

Tämä tilasta riippumaton puhdas panos-lähtö-käyttäytyminen tekee toiminnallisesta lähestymistavasta helpompaa päättää matemaattisesti: Kehittäjä voi keskittyä yksittäisten toimintojen oikeellisuuteen ja antaa tyyppijärjestelmän mahdollisuuden käyttää toimintoja, jotka luottavat vain lähtöihinsä tuloihinsa. nämä koostuvat turvallisesti ja ennustettavasti yhdessä. Siksi toiminnallisten ohjelmien katsotaan olevan turvallisempi lähestymistapa älykkäiden sopimusten luomiseen. DAML on toimiva kieli, jonka avulla kehittäjät voivat sisällyttää liiketoiminnan perustelut voimakkaasti kirjoitettuihin matemaattisiin toimintoihin. “Vahvasti kirjoitettu” tarkoittaa tässä yhteydessä, että DAML: n työkalut ja ajonaika voivat tarkistaa automaattisesti kunkin toiminnon toiminnan. Tämä auttaa kehittäjiä päättelemään tarkalleen, miten ohjelman kukin osa vaikuttaa kirjanpidon tilaan.

DAML-koodi

Voit kokeilla DAML: ää 1) asentamalla Visual Studio -koodi ja DAML SDK tai käytä 2) webIDE (enemmän oppimistarkoituksiin)

malli Token

  kanssa

    omistaja: Party

  missä

    allekirjoittajan omistaja

Yllä oleva on yksinkertainen DAML-malli. Malli määrittelee sopimustyypin, joka voidaan luoda ja kenellä on oikeus tehdä niin. Sopimukset ovat malleja. Yllä olevassa esimerkissä mallin nimi on “Token”. Sopimusten sisältämiä tietoja kutsutaan “argumenteiksi”. Katsotaan siis tässä sopimuksessa ilmoitettuja perusteluja.

  • Lohko “with” määrittelee mallissa olevien argumenttien tietotyypin luetteloiden kenttien nimet ja niiden tyypit. Yllä olevassa mallissa on yksi “Party” -tyyppinen kenttä nimeltä “omistaja”.
  • Lohko “missä” ilmoittaa kentän laajuuden. Mallissamme “missä” -lohko ilmoittaa kentän “omistaja” sopimuksen allekirjoittajaksi. Kun kenttä on allekirjoittaja, se saa oikeuden luoda tai arkistoida sopimus. 

DAML: n tyypillisessä sopimuskoodissa on neljä komponenttia:

  • Tietomalli: DAML: n avulla voit mallintaa helposti monimutkaiset tietomallit sovelluksellesi (minkä tyyppisiä tietoja tarvitaan sopimukseen)
  • Hienorakeinen Permissions: Määritä sopimuksen oikeudet (kuka voi luoda ja arkistoida sopimuksen, kuka näkee tietyt toteutusvaiheet jne.)
  • Liikelogiikka: Kuvaile sopimuksen sisäisiä toimia (mitä sopimus todella tekee ja mitkä ovat vaiheet sen toteuttamisessa)
  • Skenaariopohjainen testaus: Testaa määrittämäsi liiketoimintalogiikka ja erilaiset työnkulut.

Nyt kun tiedämme neljä komponenttia ja mallin luomisen, tarkastellaan täysimittaista DAML-koodia. 

malli Cash

  kanssa

    liikkeeseenlaskija: osapuoli

    omistaja: Party

    määrä: Desimaali

  missä

    allekirjoittaja liikkeeseenlaskija

    ohjaimen omistaja voi

      Siirto: ContractId Cash

        kanssa

          uusiOmistaja: Juhlat

        luo tämä omistajalla newOwner

malli TicketAgreement

  kanssa

    järjestäjä: Juhlat

    omistaja: Party

  missä

    allekirjoittajan järjestäjä, omistaja

malli TicketOffer

  kanssa

    järjestäjä: Juhlat

    ostaja: Party

    hinta: Desimaali

  missä

    allekirjoittajan järjestäjä

    tarkkailija ostaja

    ohjain ostaja voi

      Hyväksy: ContractId TicketAgreement

        kanssa

          cashId: SopimusId Cash

        tehdä

          Käteinen raha <- noutaa käteistunnus

          vakuuttaa (käteissumma == hinta)

          käyttää cashId-siirtoa

            newOwner = järjestäjä

          luo TicketAgreement kanssa

            järjestäjä; omistaja = ostaja

validateTicketPurchase = skenaario

  liikkeeseenlaskija <- getParty “Liikkeeseenlaskija”

  järjestäjä <- getParty “Järjestäjä”

  ostaja <- getParty “ostaja”

  Käteinen raha <- toimittaa liikkeeseenlaskija tehdä

    luoda käteistä

      liikkeeseenlaskija; omistaja = ostaja; määrä = 20,0

  tarjous <- lähettää järjestäjä tehdä

    luo TicketOffer

      järjestäjä; ostaja; hinta = 20,0

  toimittaa ostaja

    liikuntatarjous Hyväksy kanssa

      cashId = käteinen

Selvä, joten meillä on joukko malleja, jotka työskentelevät yhdessä luomaan sopimuksen, jossa käyttäjä ostaa lipun järjestäjältä. Joten värikoodin ohi meillä on neljä erityistä lohkoa yllä olevassa koodissa:

Tietomalli – punainen 

Kuten aiemmin mainittiin, malleissa on tietokentät, jotka ovat välttämättömiä sen ilmoitukselle ja suoritukselle. Katsotaan TicketOffer-mallia:

malli TicketOffer

  kanssa

    järjestäjä: Juhlat

    ostaja: Party

    hinta: Desimaali

Tämä malli ilmoittaa kolme kenttää:

  • “Järjestäjä” ja “ostaja” tyyppiä “osapuoli. Kuten nimestä voi päätellä, nämä kaksi ovat tämän sopimuksen osapuolia.
  • Sitten meillä on “hinta”, joka on tyypin desimaali.

Hienorakeiset käyttöoikeudet – vihreä

  missä

    allekirjoittajan järjestäjä

    tarkkailija ostaja

    ohjain ostaja voi

      Hyväksy: ContractId TicketAgreement

Kun olet ilmoittanut kentät kentässä, tämä osio ilmoittaa osapuolien argumenteille annetut oikeudet. Joten tässä mallissa järjestäjä on ainoa allekirjoittaja ja hänellä on valta aloittaa tai arkistoida sopimus.

Ostaja on sekä tarkkailija että valvoja. Tarkkailija on joku, joka näkee kaikki valtiot, joiden mukaan sopimus on meneillään. Lisäksi, kuten mallissa on ilmoitettu, ostaja voi hyväksyä lippusopimuksen, joka johtaa sen arkistointiin ja sen sijaan uuden “TicketAgreement” -sopimuksen luomiseen..

Liikelogiikka – vaaleanpunainen

    tehdä

          Käteinen raha <- noutaa käteistunnus

          vakuuttaa (käteissumma == hinta)

          käyttää cashId-siirtoa

            newOwner = järjestäjä

          luo TicketAgreement kanssa

            järjestäjä; omistaja = ostaja

Joten ilmoitimme pellot ja osoitimme niille niiden näkyvyyden sopimuksen puitteissa. Nyt on aika ilmoittaa tämän mallin liiketoimintalogiikka ja työnkulku. Sopimuksessa tarkistetaan ensin, onko ostajalta otettu käteinen yhtä suuri kuin lipun hinta. Jos on, lipun omistusoikeus siirtyy ostajalle, kun taas rahat järjestäjälle.

Skenaariopohjainen testaus – sininen

validateTicketPurchase = skenaario

  liikkeeseenlaskija <- getParty “Liikkeeseenlaskija”

  järjestäjä <- getParty “Järjestäjä”

  ostaja <- getParty “ostaja”

  Käteinen raha <- toimittaa liikkeeseenlaskija tehdä

    luoda käteistä

      liikkeeseenlaskija; omistaja = ostaja; määrä = 20,0

  tarjous <- lähettää järjestäjä tehdä

    luo TicketOffer

      järjestäjä; ostaja; hinta = 20,0

  toimittaa ostaja

    liikuntatarjous Hyväksy kanssa

      cashId = käteinen

Lopuksi voit testata tämän osan liiketoimintalogiikkaa ja työnkulkuja tarkistaaksesi reaaliajassa, toimiiko koodisi vai ei. Tämä reaaliaikainen on erityisen hyödyllinen kehittäjille. Voit olla yhteydessä pääkirjaan useiden osapuolten avulla ja tarkistaa tapahtumiesi vaikutukset välittömästi. Yllä olevan esimerkin skenaarioiden tulokset näyttävät tältä

DAML - avoimen lähdekoodin ekosysteemi älykkäisiin sopimuksiin perustuvien hajautettujen sovellusten rakentamiseen

Jos olet kiinnostunut oppimaan DAML: n, tutustu heidän dokumentointi.

Todellisen maailman käyttötapa – ASX: n shakin korvaaminen

DAML on jo löytänyt tosielämän käyttötapauksen. Australian arvopaperipörssi (ASX) on yksi maailman johtavista finanssimarkkinoiden pörsseistä. Se on yksi arvoltaan arvokkaimmista arvopaperipörsseistä kymmenen parhaan joukossa ja Aasian suurimmat korkojohdannaismarkkinat. Koska ne ovat ensimmäiset suuret rahoitusmarkkinat, jotka avautuvat joka päivä, ne kuuluvat jatkuvasti viiden parhaan pörssin joukkoon maailmassa.

Nykyään CHESS on ydinjärjestelmä, joka suorittaa selvitys-, toimitus-, varallisuusrekisteröinti- ja eräät muut kaupanjälkeiset palvelut, jotka ovat kriittisiä Australian markkinoiden moitteettoman toiminnan kannalta. CHESS on edelleen vakaa ja tuottaa tehokkaasti näitä palveluja, kuten osoittaa CHESSin kuukausittainen keskimääräinen palvelun saatavuus viimeisten viiden vuoden aikana (99,99%). Mikään ei viittaa siihen, että CHESS ei jatkaisi palvelujen tarjoamista tällä palvelutasolla, ASX on päättänyt korvata CHESSin hajautetulla kirjanpitotekniikalla (DLT), joka tarjoaa laajemman edunvalikoiman laajemmalle markkinaosuudelle. ASX selittää sen verkkosivusto monista syistä, miksi se valitsi DAML: n:

  • Liikkeeseenlaskijat ja loppusijoittajat saavat suuremman avoimuuden markkinatoiminnastaan ​​ajoissa, turvallisesti ja yksinkertaistetusti pääsyn haltijoiden rekisteriin (liikkeeseenlaskijoille), rahoitusvaroihin (loppusijoittajat) ja niihin liittyviin tietoihin.
  • Uudet toiminnallisuuden tasot ja joustava tekniikka auttavat ASX: tä vastaamaan muuttuviin markkinoihin tehokkaammin.
  • Helppo integrointi alkupään ja loppupään liiketoimintajärjestelmiin, virtaviivaistaa toimintoja ja työnkulkuja.
  • Poista kalliiden sovitteluprosessien tarve ja hyödynnä sen sijaan yhtä totuuden lähdettä.
  • Varmista ratkaisun saatavuus kokonaan.
  • Varmista 100 prosentin saatavuus niille, joilla on lupa käyttää sitä ilman syrjintää.
  • Tarjoa jäljitettävä ja turvallinen järjestelmä.

Johtopäätös

Shaul Kfir, Digital Assetin perustaja ja teknologiajohtaja, huomautti, että lohkoketjun ja hajautetun kirjanpitotekniikan syntymisellä on nykyään paljon rinnakkaisuuksia verkon syntyyn 1990-luvulla. Internet oli niin radikaalisti uusi alusta, että se ei kyennyt hyödyntämään kaikkia potentiaaliaan perinteisten järjestelmien avulla. Vasta kun uudet arkkitehtoniset ohjelmointityylit, kuten REST, kehitettiin vastaamaan verkon ominaisuuksia, se todella otti käyttöön. Juuri tämän DAML voi tehdä yrityksen blockchain-alustoille.

Tällä hetkellä blockchain-tilassa on useita älykkäitä sopimuskieliä. Tämä johtaa erilaisiin älykkäisiin sopimuksiin, jotka estävät yhteentoimivuutta ja laajennettavasti myös skaalautuvuutta. DAML: llä on tarvittavat ominaisuudet, jotta laitokset voisivat ottaa sen käyttöön pääkielenä samalla, kun ne rakentavat valitsemansa alustan. Digital Asset on ilmoittanut, että DAML integroidaan useisiin hajautettuihin kirjanpitoihin ja perinteisiin tietokanta-alustoihin, kuten VMWare Blockchain, Hyperledger Sawtooth and Fabric, Corda ja Amazonin QLDB- ja Aurora-tietokannat. 

Aloita älykkäiden sopimusten kirjoittaminen DAML: n ja lataa DAML SDK täältä

Mike Owergreen Administrator
Sorry! The Author has not filled his profile.
follow me