Az okos szerződések és azok platformjai

Az okos szerződések korában élünk, és a Bitcoin megmutatta nekünk, hogy egy fizetési rendszer létezhet decentralizált peer-to-peer légkörben. Mivel az Ethereum megjelent, az okos szerződések kapui valóban kinyíltak. Az Ethereum beindította a második generációs blokklánc korszakát, és az emberek végre meglátták a Dappok és az okos szerződések valódi potenciálját.

Az okos szerződések automatikus szerződések. Önállóan végrehajtják a kódban írt speciális utasításokat, amelyek bizonyos feltételek teljesítésekor végrehajtódnak. Szóval milyen tulajdonságokat várunk el okos szerződésünkben? A blokkláncon futó dolgoknak megváltoztathatatlannak kell lenniük, és képesnek kell lenniük arra, hogy több csomóponton keresztül futhassanak anélkül, hogy veszélyeztetnék annak integritását. Ennek eredményeként az okos szerződéses funkcionalitásnak három félének kell lennie: meghatározónak, megszüntethetőnek és izoláltnak.

Meghatározhatóság

A program determinisztikus, ha ugyanazt a kimenetet adja egy adott bemenethez minden egyes alkalommal. Például. Ha 3 + 1 = 4, akkor a 3 + 1 MINDIG 4 lesz (ugyanazt az alapot feltételezve). Tehát, amikor egy program ugyanazt a kimenetet adja ugyanazon bemeneti készletnek különböző számítógépeken, a programot determinisztikusnak nevezik. Számos olyan pillanat van, amikor egy program nem determinisztikusan cselekedhet. Például, a nem determinisztikus rendszerfunkciók hívásakor, amikor egy programozó nem determinisztikus funkciót hív meg a programjában, vagy a nem determinisztikus adatforrások esetében, például ha egy program adatot szerez a lefutási idő alatt, és az adatforrás nem determinisztikus, akkor a program nem determinisztikus lesz. Tegyük fel, hogy van egy program, amely megadja a top 10 Google-keresését egy másik lekérdezés részeként. A lista folyamatosan változhat. Dinamikus hívások: amikor egy program a második programot hívja, dinamikus hívásnak hívják. Mivel a hívási célt csak a végrehajtás során határozza meg, ez nem determinisztikus jellegű.

Befejezhetőség

A matematikai logikában van egy hiba, amelyet „leállítási problémának” nevezünk. Alapvetően azt jelenti, hogy nem lehet tudni, hogy egy adott program végre tudja-e hajtani a funkcióját egy adott időn belül. 1936-ban Alan Turing a Cantor Diagonal Problem felhasználásával arra a következtetésre jutott, hogy nincs mód arra, hogy megtudjuk, hogy egy program végrehajtható-e egy adott időn belül. Ez nyilvánvalóan az okos szerződések problémája, mivel a szerződéseknek meghatározásuk szerint meghatározott időn belül képesnek kell lenniük a végrehajtásra. Van néhány intézkedés annak biztosítása érdekében, hogy legyen mód arra, hogy a szerződést „véglegesítsék”, és ne lépjenek be olyan végtelen ciklusba, amely elnyeli a hozzákapcsolt összegeket.

Egy ilyen intézkedés a Turing hiányosság: A Turing hiányos blokklánc korlátozott funkcionalitással rendelkezik, és nem lesz képes ugrásokra és ciklusokra, így a végtelen ciklusok is elkerülhetőek. Lépés- és díjszámláló: a program egyszerűen nyomon tudja követni a megtett „lépéseket”, azaz a végrehajtott utasítások számát, majd egy adott lépésszám végrehajtása után megszakíthatja azt. Egy másik módszer a díjszámláló. Itt a szerződéseket előre fizetett díjjal hajtják végre. Minden utasítás végrehajtása külön díjat igényel. Ha a kiadott díj meghaladja az előre fizetett díjat, akkor a szerződés felbontásra kerül. Időzítő: itt egy előre meghatározott időzítőt tartanak. Ha a szerződés teljesítése meghaladja a határidőt, akkor azt kívülről megszakítják.

Izoláltság

A blokkláncban bárki feltölthet egy okos szerződést. Ennek ellenére a szerződések tudatosan és tudattalanul tartalmazhatnak vírusokat és hibákat. Ha a szerződést nem különítik el, ez akadályozhatja az egész rendszert. Ezért elengedhetetlen, hogy a szerződéseket elszigetelten tartsák, hogy megmentsék az egész ökoszisztémát a negatív hatásoktól. Most, hogy megismerted ezeket a funkciókat, fontos tudni, hogy miként hajtják végre azokat. Az okos szerződéseket általában a két rendszer valamelyikével hajtják végre:

Virtuális gépek: Az Ethereum és a Neo használják ezt a rendszert.

Docker: A Fabric használja ezt.

A virtuális gépek jobb determinisztikus, befejezhető és izolált környezetet biztosítanak az okos szerződésekhez. Mostmár tudjuk, mik az okos szerződések, és azt a tényt is, hogy a virtuális gépek jobb platformok az okos szerződésekhez. Nézzük meg, hogy ezek pontosan mit igényelnek a Dappok hatékony futtatásához.

Mit igényelnek a Dappok?

Vagyis pontosan megfogalmazva, mire van szüksége a DAPP-nak ahhoz, hogy sikeres legyen és elérje a mainstream közönséget? Melyek az abszolút minimum követelmények? A Dapp-nak méretezhetőnek kell lennie ahhoz, hogy több millió felhasználó használhassa. Ez különösen igaz azokra a DAPPokra, amelyek mainstream elfogadást keresnek. A platformnak lehetővé kell tennie a fejlesztőknek, hogy Dapp-okat készítsenek, amelyek szabadon használhatóak a felhasználók számára. Az is fontos lenne, hogy egy felhasználónak ne kelljen fizetnie a platformon, hogy megkapja a Dapp előnyeit.

A platformnak lehetővé kell tennie a fejlesztők számára a Dapp frissítésének szabadságát is, amikor csak akarják. Továbbá, ha valamilyen hiba hatással van a Dapp-ra, akkor a fejlesztőknek képesnek kell lenniük a DAPP javítására anélkül, hogy a platformot befolyásolnák. A DAPP-nak a lehető leggyengébben és a lehető legalacsonyabb késéssel kell futnia. A platformnak lehetővé kell tennie a Dapp-ok párhuzamos feldolgozását a munkaterhelés elosztása és az időmegtakarítás érdekében. A blokkláncon azonban nem minden funkciót kell így elvégezni. Gondolj magára a tranzakció végrehajtására. Több tranzakció nem hajtható végre párhuzamosan, egyenként kell őket megtenni, hogy elkerülhető legyen a double spending hiba.

Milyen platformok állnak rendelkezésünkre a DAPP létrehozásához?

A BitShares és a Graphene jó teljesítménnyel rendelkezik, de határozottan nem alkalmasak okos szerződésekre. Az Ethereum egyértelműen a legmegfelelőbb választás a piacon. Csodálatos okos szerződéses képességei vannak, viszont az alacsony tranzakciós sebesség fontos kérdés. Ráadásul a GAS ára problematikus is lehet. „Az Ethereum egy decentralizált platform, amely okos szerződéseket futtat: olyan alkalmazásokat, amelyek pontosan úgy működnek, ahogy le vannak programozva, bármilyen leállás, cenzúra, csalás vagy harmadik fél beavatkozása nélkül. Ezek az alkalmazások egy egyedileg épített blokkláncon futnak, egy rendkívül nagy teljesítményű megosztott globális infrastruktúrán, amely képes az értéket mozgatni és az ingatlan tulajdonjogát képviselni. ”

Egyszerűbben fogalmazva: az Ethereum a jövő végső szoftverplatformját tervezi. Ha a jövő decentralizált, és a Dapp megszokottá válik, akkor az Ethereum-nak kell lennie annak első helyén és középpontjában. Az Ethereum virtuális gépe vagyis az EVM az a platform, amelyen az összes okos szerződés működik Ethereumban. Ez egy egyszerű, de erőteljes Turing Complete 256 bites virtuális gép. A Turing Complete azt jelenti, hogy az erőforrások és a memória figyelembe vételével az EVM-ben végrehajtott bármely program bármilyen problémát megoldhat.

EOS

Az EOS célja, hogy decentralizált operációs rendszerré váljon, amely támogatja az ipari szintű decentralizált alkalmazásokat. Nagyon lenyűgözőnek hangzik, de a következő két állítás valóban megragadta a közönség képzeletét: a tranzakciós díjak teljes eltávolítását tervezik, valamint azt állítják, hogy képesek másodpercenként több millió tranzakciót végrehajtani. Emiatt a két állítás miatt kezdenek érdeklődni a Dapp fejlesztői az EOS iránt. Az EOS olyan tulajdonosi modellen működik, amely szerint a felhasználók jogosultak a részesedésükkel arányos erőforrások felhasználására, ahelyett, hogy minden tranzakcióért fizetniük kellene. Tehát lényegében, ha rendelkezel N mennyiségű EOS tokennel, akkor jogosult vagy N*k tranzakciókra. Ez lényegében kiküszöböli a tranzakciós díjakat.

Stellar

A Stellar-t Jed McCaleb és Joyce Kim-t még 2014-ben alapították, amikor kivált a Ripple-protokollból. A Stellar, a webhelyük szerint “egy olyan platform, amely összeköti a bankokat, a fizetési rendszereket és az embereket. Integrálja a pénzt a gyors, megbízható és szinte ingyenes mozgatáshoz ”. A Stellar segítségével gyorsan, megbízhatóan és töredéknyi összegért tudunk pénzt küldeni nemzetközileg is. Az Ethereum-mal ellentétben a Stellar Smart Contracts (SSC) nem nevezhető Turing Complete-nek.

Cardano

Az egyik legérdekesebb projekt a Cardano. Az Ethereumhoz hasonlóan a Cardano egy okos szerződéses platform, azonban a rétegelt architektúrán keresztül a Cardano skálázhatóságot és biztonságot kínál. A Cardano megközelítése egyedülálló az iparban, mivel a tudományos filozófiára és szakértők által értékelt tudományos kutatásokra épül. A Cardano célja, hogy növelje a skálázhatóságot a konszenzus mechanizmusa révén. Az okos szerződések kódolásához Cardano-ban Plutus-t kell használni, amely Haskell-en alapul, a Cardano kódolásához használt nyelven. Míg a C++ és a legtöbb hagyományos nyelv kötelező programozási nyelv, addig a Plutus és a Haskell funkcionális programozási nyelv.

NEO

A Neo, korábban Antshares vagy gyakran „Kína Ethereumja” néven ismert. Weboldaluk szerint a Neo egy „nonprofit közösségbeli blokklánc-projekt, amely blokklánc technológiát és digitális személyazonosságot használ az eszközök digitalizálására, a digitális eszközök gazdagításának okos szerződésekkel történő automatizálásra.

Érdekelnek a kriptopénzek? Ne maradj le a legérdekesebb infókról, csatlakozz hozzánk a lenti elérhetőségeken!

Kezdőknek	Közösség	Egyéb
Bitcoin Útmutató	Likeolj minket Facebookon!	Legfrissebb Hírek
Ethereum Útmutató	Csatlakozz Discord-on!	Videók
Kripto Szótár	Kövess minket Youtuben is!	Altcoinok