Älysopimus
Älysopimus on tietokoneprotokolla, joka on tarkoitettu helpottamaan, tarkistamaan tai valvomaan sopimuksen neuvottelua tai suorittamista digitaalisesti. Älykkäät sopimukset mahdollistavat uskottavien liiketoimien suorittamisen ilman kolmansia osapuolia. Nämä transaktiot ovat seurattavia ja peruuttamattomia.[1]
Älykkäiden sopimusten tavoitteena on tarjota turvallisuutta, joka on perinteistä sopimusoikeutta parempi sekä vähentää muita sopimuksiin liittyviä transaktiokustannuksia. Monet kryptovaluutat ovat toteuttaneet erilaisia älysopimuksia.
Historia
Älysopimuksia ehdotti ensimmäisenä termin luoja Nick Szabo.[2] Nykyisillä lohkoketjuihin perustuvilla toteutuksilla[3] älysopimuksia käytetään enimmäkseen yleisessä laskennassa, joka tapahtuu lohkoketju- tai hajautetussa tilikirjassa. Tässä esimerkiksi Ethereumin säätiössä[4] tai IBM:ssä[5] käytettävässä tulkinnassa älykäs sopimus ei liity välttämättä sopimuksen klassiseen käsitteeseen, vaan se voi olla mikä tahansa tietokoneohjelma.
Toteutukset
Bysantin vikatoleranttiset algoritmit mahdollistivat älysopimukset digitaalisen tietoturvan hajauttamisella. Lisäksi ohjelmointikielet, joiden Turing-täydellisyyden eri asteet ovat joidenkin lohkoketjujen sisäänrakennettu ominaisuus, mahdollistavat mukautetun ja hienostuneen logiikan luomisen.[4]
Seuraavat ovat merkittäviä esimerkkejä älykkäiden sopimusten toteuttamisesta:
- Bitcoin tarjoaa Turing-epätäydellisen Script-kielen, jonka avulla voi luoda mukautettuja älysopimuksia Bitcoinin päälle, kuten multisignature-tilejä, maksukanavia, aikalukkoja, ketjujen välistä vaihtokauppaa tai oraakkeleita.[6]
- Ethereum toteuttaa Turing-kielen lähes koko kielellä, joka on merkittävä älykäs sopimuskehys.[7]
Turvallisuusongelmat
Lohkoketju-pohjainen älysopimus on kaikkien mainitun lohkoketjun käyttäjien nähtävissä. Tämä johtaa kuitenkin tilanteeseen, jossa viat, mukaan lukien tietoturva-aukot näkyvät kaikille, mutta niitä ei välttämättä korjata nopeasti.[8] Tällainen vaikea nopeasti korjattava hyökkäys toteutettiin menestyksekkäästi DAO:ssa kesäkuussa 2016 tyhjentämällä 50 miljoonaa dollaria Etheriä, kun kehittäjät taas yrittivät esittää yksimielisyyden saavaa ratkaisua.[9] DAO-ohjelmalla oli aikaviive ennen kuin hakkeri pystyi poistamaan varat; Ethereum-ohjelmiston fork tehtiin hyökkääjän varojen takaisinperimiseksi ennen määräajan päättymistä.[10]