Turing Complete

Hva er Turing Complete?

Turing Complete betyr at et databehandlingssystem kan uttrykke enhver algoritme hvis det får nok tid og minne. I krypto beskriver det kjeder som kan kjøre kompleks logikk, ikke bare sende tokens fra A til B. Tenk på det som et kjøkken som kan lage hvilken som helst oppskrift så lenge du har ingredienser og tålmodighet.

Hvordan Turing Complete fungerer

På en kjede med full programmerbarhet skriver og distribuerer du smartkontrakter som kan forgrene seg, ha løkker og lagre data. Her er en rask gjennomgang:

1. Steg 1: En bruker sender en transaksjon som kaller en kontraktsfunksjon.
2. Steg 2: Kontrakten leser input og tilstand, og kjører deretter logikk som betingelser, løkker eller matematikk.
3. Steg 3: Resultatet oppdaterer balanser eller variabler og kan sende hendelser som apper kan overvåke.
4. Steg 4: Gassmåling holder løpsk kode under kontroll slik at uendelige løkker ikke stanser kjeden.
5. Steg 5: Valgfrie tillegg som orakler kan gi data slik at logikken reagerer på priser eller tidsstempler.

Det er flyten. Rent og overraskende kraftfullt.

Hvorfor Turing Complete er viktig

Det betyr noe fordi det gjør en blokkjede til et generelt beregningslag for finans, spill og mer.

• Fordel: Du kan automatisere avtaler, programmere komplekse utbetalinger og levere funksjoner uten å spørre en portvakt.
• Perspektiv: Mer uttrykksfull kode kan koste mer å kjøre og kan øke nettverksbelastning når aktiviteten øker kraftig.
• Relevans: Du vil se det i DeFi, NFTer, DAOer og alt som trenger logikk på kjeden.

Nøkkeltrekk ved Turing Complete

Tenk byggeklosser, ikke moteord:

• Åpen: Alle på et desentralisert nettverk kan distribuere kode som andre kan kalle.
• Forgrening: Betingelser lar kontrakter velge ulike veier basert på input eller tilstand.
• Løkker: Gjentatte trinn gjør delbetalinger, auksjoner eller rentetilskrivning mulig.
• Minne: Vedvarende lagring lar koden huske tidligere handlinger og balanser.
• Avslutning: Gassmåling og grenser hindrer at kode kjører evig og tetter blokker.

Varianter

Ikke alle kjeder behandler programmerbarhet likt. Her er hovedtypene:

• Begrenset: Skript er begrenset, godt for enkle overføringer og sjekker med lav angrepsflate.
• Full: Generell beregning med rike språkelementer for komplekse apper og protokoller.
• Avgrenset: Generell beregning men med strenge ressursgrenser for å holde kostnader forutsigbare.

Eksempel

En utlånsapp under paraplyen av desentraliserte applikasjoner (dApps) kan beregne renter, planlegge likvidasjoner og rute tilbakebetalinger fordi kjeden er Turing Complete.

Morsomt faktum

Begrepet refererer til Alan Turing og hans tankemaskin som kunne modellere enhver beregning. Ethereum gjorde ideen populær for blokkjeder, og la til gass for å hindre at uendelige løkker tømmer nettverket for alltid.

Oppsummering

Kort oppsummert: Turing Complete gjør en blokkjede om til en generell datamaskin du kan programmere med penger som en innebygd funksjon.