Älykäs sopimus on tietokonealgoritmi , joka on suunniteltu luomaan, hallitsemaan ja tarjoamaan tietoa jonkin omistuksesta. Useimmiten puhumme lohkoketjuteknologian käytöstä . Suppeammassa merkityksessä älysopimus on joukko toimintoja ja tietoja (nykyinen tila), joka sijaitsee tietyssä osoitteessa lohkoketjussa [1] .
Ensimmäinen maa, joka vahvisti älykkäiden sopimusten laillisen voiman valtion tasolla, oli Valko -Venäjä [2] .
Käsitteen ja termin "Älykkäät sopimukset" ehdotti 1990-luvun alussa Nick Szabo . Tavoitteena oli toteuttaa kaupallinen toiminta tietokoneverkon kautta ilman välittäjien osallistumista. Yksinkertaisina esimerkkinä Szabo kirjoitti, että " automaatti on siirtosopimus: jokainen, jolla on kolikoita, voi osallistua vaihtoon myyjän kanssa", ja tämä tapahtuu automaattisesti ilman myyjän suoraa osallistumista, jonka tehtävänä on perustaa kone, kuormaus ja rahan nouto, mutta myyjän ei tarvitse olla suoraan yhteydessä ostajaan. Älykäs sopimus suorittaa kuvatut toiminnot myös itsenäisesti (esimerkiksi tarjoaa digitaalisen tavaran, lähettää rahaa, julkisesti tai yksityisesti julkaisee tietoa), jos siihen koodatut ehdot täyttyvät, aivan kuten se toteutetaan myyntiautomaatissa. Jo vuoteen 1997 mennessä kehitettiin useita algoritmeja ja protokollia, jotka sopivat idean perustoteutukseen [3] . Pullonkaulana jäivät kuitenkin maksujärjestelmät, joita ei saatu ilman välittäviä ylläpitäjiä.
Nick Szabon ideoiden käytännön toteuttaminen tuli mahdolliseksi vuonna 2008 ilmestyneen lohkoketjuteknologian [4] ansiosta, joka tarjosi sopimuksille täydellisen autonomian ja mahdollisti kolmannen osapuolen järjestelmänvalvojan hylkäämisen, joka toimi valvojana ja välimiehenä. Jo ensimmäisessä Bitcoin - protokollassa skriptiohjelmointikielen avulla tuli mahdolliseksi toteuttaa älykkäiden sopimusten perustoiminnot. Mutta niiden ominaisuudet olivat rajalliset - turvallisuussyistä niillä ei ollut Turingin täydellisyyttä , eikä niitä käytetty laajasti. Kuitenkin korkeamman tason protokollien (mukaan lukien yleiset älykkäät sopimukset) kehittäminen bitcoin-protokollan [5] päälle alkoi ilmestyä , samoin kuin kuinka monta sovellusprotokollaa on olemassa TCP/IP :n päällä.
Älykkäät sopimukset yleistyivät ensin Ethereumin myötä . Idea projektista syntyi vuonna 2013. Tällä hetkellä Bitcoin Magazinen perustaja Vitalik Buterin tuli siihen tulokseen, että lohkoketjuteknologiaa voitaisiin käyttää paljon laajemmin, ei vain kryptovaluutoissa . Hän esitti idean yleismaailmallisesta hajautetun lohkoketju-alustasta, jossa kuka tahansa voi toteuttaa ohjelmallisesti erilaisia tiedon tallennus- ja käsittelyjärjestelmiä. Pääehto on, että toimet on kuvattava matemaattisina säännöinä [6] .
Ethereum-älysopimukset on kehitetty jollakin kielistä, jotka on suunniteltu käännettäväksi Ethereum-virtuaalikoneen tavukoodiksi - Solidity ( samanlainen kuin C tai JavaScript ), Vyper ja Serpent (samanlainen kuin Python ), LLL (matala versio Lisp ), Mutan (perustuu Go ) [7] [8] .
Osapuolet allekirjoittavat älykkään sopimuksen käyttäen menetelmiä, jotka ovat samankaltaisia kuin rahalähetyksen allekirjoittaminen live kryptovaluuttaverkoissa. Kun osapuolet ovat allekirjoittaneet, sopimus tallennetaan lohkoketjuun ja se tulee voimaan. Sopimusvelvoitteiden automaattisen toteuttamisen varmistamiseksi tarvitaan olemassaoloympäristö (Ethereum blockchain nodes), jonka avulla voit täysin automatisoida sopimuslausekkeiden täytäntöönpanon. Tämä tarkoittaa, että älykkäät sopimukset voivat olla olemassa vain ympäristössä, jossa on esteetön pääsy älykkäiden sopimusobjektien suoritettavaan koodiin.
Kaikissa sopimusehdoissa tulee olla ohjelmakuvaus ja selkeä toteutuslogiikka. Tässä suhteessa ensimmäisten älykkäiden sopimusten tehtävänä on virallistaa yksinkertaisimmat suhteet, jotka koostuvat pienestä määrästä ehtoja. Esteetttömän pääsyn sopimusobjekteihin älykäs sopimus seuraa pisteiden saavuttamista tai rikkomista määriteltyjen ehtojen mukaisesti ja tekee itsenäisiä päätöksiä ohjelmoitujen ehtojen perusteella. Näin ollen älykkään sopimuksen pääperiaate on sopimussuhteiden toteuttamisen täydellinen automatisointi ja luotettavuus [9] .
Älykkäät sopimukset voivat olla vuorovaikutuksessa ulkoisten järjestelmien kanssa blockchain-oraakkeleiden kautta, jotka voivat vastata älykkäiden sopimusten ehtoja ja ulkoista tietoa. Oraakkeli lähettää tiedot älysopimukseen ulkoisista resursseista lohkoketjulle ymmärrettävässä muodossa [10] .
Älykkäiden sopimusten olemassaolo edellyttää tiettyjä ehtoja:
Ensimmäinen suuri ja lupaava lohkoketjun kehitysalue on taloudellinen. Tämä sisältää kryptovaluutat, älykkäät sopimukset ja osavaltiorekisterit. Esimerkiksi nyt talon myynti kestää useita viikkoja, mutta se voi kestää vain 3 minuuttia.
— Vitalik Buterin , Moskova , 30. elokuuta 2017 [16]Älykkäiden sopimusten kannattajat väittävät[ kuka? ] , että monet niistä voidaan tehdä osittain tai kokonaan itsetoimiviksi ja omavaraisiksi. Salaukseen perustuvat älykkäät sopimukset voivat tarjota paremman turvallisuuden kuin perinteiset lakiin perustuvat sopimukset ja vähentää muita sopimusten tekemiseen liittyviä transaktiokuluja ja mahdollisia oikeudenkäyntikuluja. Mahdolliset sovellukset: terveydenhuolto , lainaus , vaalijärjestelmä , media , esineiden internet , vuokraus , toimitus , selvitys jne.
Brittiläisen The Economist -lehden mukaan älykkäistä sopimuksista voi tulla lohkoketjuteknologian tärkein sovellus [13] .
Älykkäiden sopimustyökalujen käyttö vauhdittaa uusien liiketoimintamallien syntymistä, mikä vaikuttaa kilpailun lisääntymiseen ja uusien palvelujen kehittämiseen rahoitusmarkkinoilla [14] .
Älykkäät sopimukset voivat saada oikeudellista merkitystä, jos ne noudattavat valtion lakeja. Tätä varten on välttämätöntä, että älysopimukset sisältävät valtion lainsäädännön asettamat ehdot ja rajoitukset [17] .
Valko -Venäjästä tuli ensimmäinen maa maailmassa, joka sääti älykkäitä sopimuksia 21. joulukuuta 2017 digitaalitalouden kehittämistä koskevan asetuksen [2] [18] mukaisesti . Älykkään sopimuksen juridisen käsitteen kehittäjä oli valkovenäläinen lakimies Denis Aleinikov [19] [20] . Maa aikoo antaa pankeille mahdollisuuden tehdä älykkäitä sopimuksia [21] [22] .
Tarkkailijat ovat huolissaan siitä, että automatisoitujen sopimusten ylläpitotekniikoiden leviäminen voi johtaa olemassa olevien sosiaalisten instituutioiden heikkenemiseen, joita ihmiskunta on rakentanut useiden sukupolvien aikana. Lisäksi tällaiset tekniikat voivat johtaa useiden hallinnollisten työpaikkojen katoamiseen, aivan kuten robotisaatio on johtanut teollisuuden työpaikkojen katoamiseen [13] . Tämä koskee erityisesti notaareja, pankkien työntekijöitä sekä toimihenkilöitä, jotka osallistuvat kiinteistökauppojen rekisteröintiin [23] .
Älykkäällä sopimuksella ei ole toiminnallista joustavuutta. Perinteisiä mekanismeja käytettäessä sopimuksen tekemiseen on aina mahdollista sopia tai muuttaa sen ehtoja, mutta älykkäitä sopimuksia käytettäessä tällaisten muutosten toteuttaminen sen toteuttamisen aikana on ongelmallista. Älysopimuksen virallisesti kiinteän aseman puuttuminen maailman lainsäädäntökäytännössä voi vaikeuttaa riitojen ratkaisemista, jotka syntyvät, kun sen toteuttamisen ehtoja rikotaan [14] .
Älysopimuksen tekoprosessi on monimutkainen, ja mitä enemmän ehtoja ja näkökohtia sopimuksessa on seurattava (tavaran kunto kuljetuksen aikana, tullitoimet jne.), sitä vaikeampaa on kuvata ja ottaa huomioon niitä tällaisen sopimuksen tekemisajankohta [14] .
Kehittäjien huolimattomuus voi johtaa älykkäiden sopimusten [14] haitalliseen käyttöön , kuten kertoo tarina yli kolmen miljoonan Ethereum-kolikon vuotamisesta DAO- projektista [24] .
| Kryptovaluutat | |
|---|---|
| PoW perustuu SHA-2 :een | |
| PoW perustuu Scryptiin | |
| PoW perustuu CryptoNoteen | |
| Muut PoW-algoritmit | |
| PoS- algoritmit | |
| Muut tekniikat | |
| liittyvät aiheet |
|