Blockstreamin uusi älysopimuskieli
Blockstream, Bitcoinin kerrokselle 2 suunnitellun Liquid-protokollan kehittäjä, on lanseerannut Simplicityn, uuden älysopimuskielen, joka on suunniteltu erityisesti Bitcoinille. Torstaina julkaistun Cointelegraphille jaetun ilmoituksen mukaan Simplicity-älysopimukset integroidaan Liquidiin. Tämä siirto merkitsee askelta eteenpäin Bitcoinin muuttamisessa turvallisesta arvon säilytyksestä ohjelmoitavaksi perustaksi hajautetulle rahoitukselle.
SimplicityHL ja kehitysympäristö
Blockstream esitteli myös SimplicityHL:n, kielen korkeamman tason toteutuksen, joka helpottaa kehittämistä lisäämällä abstraktiota. Blockstreamin edustaja kertoi Cointelegraphille, että tämä kielen versio ”on täällä ja käytettävissä tänään”, ja verkkopohjainen integroitu kehitysympäristö on myös saatavilla.
Vertailu Ethereumin Solidityyn
Simplicity eroaa Ethereumin Solidity-kielestä pääasiassa kahden lohkoketjun erilaisten taustarakenteiden vuoksi. Ethereum ja Bitcoin lähestyvät verkkojaan eri tavoin, ja Solidity on kehitetty Ethereum Virtual Machinea varten. Ethereumissa tila on verkon yhteisesti hyväksytty kuvaus kaikista tilitaseista ja tallennetuista tiedoista tietyssä lohkossa, kun taas Bitcoin hyödyntää käyttämättömiä transaktioita (UTXO) -arkkitehtuuria.
Älysopimusten toiminta
Tämä ero ilmenee siinä, miten Simplicity-älysopimukset toimivat. Blockstreamin edustaja totesi, että
”globaaliin tilaan luottaminen on suuri muutos”.
”Jokainen tila, jota sopimuksesi tarvitsee, on kuljettava transaktion mukana.”
Blockstreamin tutkijat ovat todenneet, että Solidity-kehittäjien on muutettava tapaansa lukea globaaleista muuttujista ja sen sijaan annettava kaikki tarvittavat tiedot jokaisessa vaiheessa. Tällaisessa järjestelmässä kaksi älysopimusta eivät voi jakaa tilaa tai viitata samoihin muuttujiin; kaikki on välitettävä eksplisiittisesti transaktioiden sisällä.
Rajoitukset ja hyödyt
Vaikka tämä lähestymistapa saattaa vaikuttaa rajoittavalta, Blockstreamin edustajat selittivät, että sillä on myös myönteisiä vaikutuksia:
”Vaikka jokin menisi pieleen, vain sopimuksesi tietty osa transaktiografiasta on vaikuttanut. Se on erilainen ajattelutapa verrattuna globaaliin tilaan, mutta se johtaa lopulta turvallisempiin ja hallitumpiin sopimuksiin suunnittelun kautta.”
Kehittäjät eivät myöskään voi käyttää rekursiota tai rajoittamattomia silmukoita, joita Blockstream pitää tarpeettomina on-chain-logiikassa. Simplicity liittyy kasvavaan luetteloon sovelluskohtaisista älysopimuskielistä.
Muita älysopimuskieliä
Esimerkiksi Noir, ohjelmointikieli, joka julkaistiin vuonna 2022 nollatietotodistusten (ZK-todistusten) kirjoittamiseen ja vahvistamiseen, otettiin käyttöön vuonna 2023 tulevan yksityisyyskeskeisen Ethereum-kerroksen 2 Aztecin kehittäjien toimesta. Noirista on tullut älysopimuskieli, joka on erityisesti rakennettu yksityisyyttä suojaaville sovelluksille, jotka integroivat ZK-todistukset syvälle arkkitehtuuriinsa.
Toinen esimerkki on Leo, älysopimuskieli, joka myös luo ZK-todistussysteemejä tiiviisti liittyvällä syntaksilla ja yksityisyys mielessä. Ethereumin Vyper on EVM-yhteensopiva kieli, joka on suunniteltu vähentämään hyökkäyspintaa, ja jota nyt käyttävät jotkut johtavat Ethereumin hajautetut rahoitusprotokollat (DeFi).
