Mitä Turing-täydellisyys tarkoittaa?
Turing-täydellinen järjestelmä pystyy toteuttamaan minkä tahansa algoritmin, jos sillä on riittävästi aikaa ja muistia. Kryptossa termillä kuvataan lohkoketjuja, jotka voivat suorittaa monimutkaista logiikkaa eivätkä vain siirtää tokeneita osoitteesta A osoitteeseen B. Ajattele sitä keittiönä, jossa voi valmistaa minkä tahansa ruokalajin, kunhan käytössä on ainekset ja kärsivällisyyttä.
Turing-täydellisyys tarkoittaa, että järjestelmä on aina parempi. Ei aivan. Se tuo joustavuutta, mutta voi huolimattomasti käytettynä aiheuttaa myös virheitä, lisäkustannuksia ja uusia hyökkäysreittejä.
Näin Turing-täydellisyys toimii
Täysin ohjelmoitavassa lohkoketjussa kirjoitat ja otat käyttöön älysopimuksia, jotka voivat haarautua, suorittaa silmukoita ja tallentaa tietoa. Tässä lyhyt yhteenveto:
- Vaihe 1: Käyttäjä lähettää transaktion, joka kutsuu sopimuksen funktiota.
- Vaihe 2: Sopimus lukee syötteet ja tilan sekä suorittaa logiikkaa, kuten ehtolauseita, silmukoita tai laskutoimituksia.
- Vaihe 3: Tulos päivittää saldoja tai muuttujia, ja sopimus voi lähettää tapahtumia sovellusten seurattaviksi.
- Vaihe 4: Gas-mittaus pitää hallitsemattomasti suoritettavan koodin kurissa, jotta äärettömät silmukat eivät pysäytä lohkoketjua.
- Vaihe 5: Lisäominaisuudet, kuten oraakkelit, voivat syöttää tietoja, jolloin logiikka voi reagoida hintoihin tai aikaleimoihin.
Siinä työnkulku. Selkeä ja yllättävän tehokas.
Miksi Turing-täydellisyys on tärkeää?
Se on tärkeää, koska se muuttaa lohkoketjun yleiskäyttöiseksi laskentakerrokseksi rahoitukselle, peleille ja muulle.
- Hyöty: Voit automatisoida sopimuksia, ohjelmoida monimutkaisia maksuja ja julkaista ominaisuuksia ilman välikäsien lupaa.
- Näkökulma: Ilmaisuvoimaisemman koodin suorittaminen voi maksaa enemmän, ja se saattaa lisätä verkon ruuhkautumista aktiivisuuden kasvaessa äkillisesti.
- Merkitys: Turing-täydellisyyttä hyödynnetään DeFi:ssä, NFT:issä, DAO:issa ja kaikessa, mikä tarvitsee lohkoketjussa suoritettavaa logiikkaa.
Kun joku sanoo lohkoketjun olevan Turing-täydellinen, kysy sen suojamekanismeista: gas-rajoista, auditointikäytännöistä ja siitä, voiko koodia päivittää. Nämä yksityiskohdat kertovat, kuinka turvalliselta rakentaminen tai varojen tallettaminen tuntuu.
Turing-täydellisyyden keskeiset ominaisuudet
Ajattele rakennuspalikoita, älä muotisanoja:
- Avoimuus: Kuka tahansa hajautetussa verkossa voi ottaa käyttöön koodia, jota muut voivat kutsua.
- Haarautuminen: Ehtolauseiden avulla sopimukset voivat valita eri toimintapolkuja syötteiden tai tilan perusteella.
- Silmukat: Toistuvat vaiheet mahdollistavat osamaksut, huutokaupat ja koron kertymisen.
- Muisti: Pysyvä tallennus antaa koodille mahdollisuuden muistaa aiemmat toiminnot ja saldot.
- Päättyminen: Gas-mittaus ja -rajat estävät päättymättömän suorituksen tukkimasta lohkoja.
Muunnelmat
Kaikki lohkoketjut eivät käsittele ohjelmoitavuutta samalla tavalla. Tässä yleisimmät vaihtoehdot:
- Rajoitettu: Skriptin ominaisuuksia on rajoitettu. Se sopii yksinkertaisiin siirtoihin ja tarkistuksiin, ja hyökkäyspinta-ala pysyy pienenä.
- Täysi: Yleiskäyttöinen laskenta ja monipuoliset ohjelmointikielen ominaisuudet monimutkaisille sovelluksille ja protokollille.
- Rajattu: Yleiskäyttöinen laskenta, mutta tiukat resurssirajat pitävät kustannukset ennakoitavina.
Turing-täydellisyys kertoo ilmaisuvoimasta, ei nopeudesta tai edullisista kuluista. Yksinkertainen järjestelmä voi olla nopeampi, kun taas ilmaisuvoimaisempi järjestelmä tarjoaa enemmän ominaisuuksia mutta voi maksaa enemmän käyttää.
Esimerkki
Hajautettuihin sovelluksiin (dAppit) kuuluva lainasovellus voi laskea korkoja, ajastaa likvidointeja ja ohjata takaisinmaksuja, koska lohkoketju on Turing-täydellinen.
Hauska fakta
Termi viittaa Alan Turingiin ja hänen ajatuskokeensa koneeseen, jolla voitiin mallintaa mikä tahansa laskenta. Ethereum teki ajatuksesta tunnetun lohkoketjujen yhteydessä ja lisäsi sitten gas-maksut estämään äärettömiä silmukoita kuluttamasta verkon resursseja loputtomasti.
Yhteenveto
Lyhyesti: Turing-täydellisyys muuttaa lohkoketjun yleiskäyttöiseksi tietokoneeksi, jota voi ohjelmoida ja jossa raha on sisäänrakennettu ominaisuus.