A legfontosabb tudnivalók
A Starknet egy 2. rétegű skálázási megoldás az Ethereum számára, amely érvényességi bizonyítékokat használ a gyors, alacsony költségű tranzakciók lehetővé tételéhez, megörökölve az Ethereum biztonságát.
A hálózat a tranzakciókat off-chain dolgozza fel, és kriptográfiai bizonyítékokat küld az Ethereumra a végső ellenőrzéshez.
A fejlesztők a Cairo nevű egyedi programozási nyelvet használják, hogy skálázható decentralizált alkalmazásokat (DAppokat) építsenek a Starkneten.
Bevezetés
A Starknet egy 2. rétegű megoldás, amely skálázható átlátható tudásérv (STARK) bizonyítékokat használ a gyorsabb, olcsóbb és skálázhatóbb tranzakciók biztosítására. Ez lehetővé teszi a fejlesztők számára, hogy anélkül építsenek nagy teljesítményű decentralizált alkalmazásokat (DAppokat) alacsonyabb költségekkel és erős kriptográfiai garanciákkal, hogy feláldoznák a biztonságot vagy a decentralizációt.
Mi az a STARK?
A STARK (a skálázható átlátható tudásérvek rövidítése) egyfajta kriptográfiai bizonyíték, amelyet annak igazolására használnak, hogy a számításokat helyesen hajtották végre anélkül, hogy magát a számítást meg kellene ismételni.
A Starknet kontextusában a STARK-ok annak bizonyítására szolgálnak, hogy az off-chain tranzakciókat megfelelően dolgozták fel, mielőtt egy kompakt bizonyítékot küldenének vissza az Ethereumra. Ez segít az Ethereumnak abban, hogy hatékonyabban és alacsonyabb költségekkel hajtsa végre a nagy tranzakciótételeket.
A STARK-ok alapvetően nem biztosítanak adatvédelmet, és eltérnek a hagyományos zéróismeretes bizonyításoktól (ZKP-ktől), mivel a számítási integritás bizonyítására összpontosítanak. Ami a STARK-okat különösen erőssé teszi, az az, hogy nem már jól ismert megoldásokra épülnek, jól skálázódnak még akkor is, ha a számítások egyre bonyolultabbá válnak, és úgy építették őket, hogy ellenálljanak a jövőbeli fenyegetéseknek, mint például a potenciális kvantumtámadásoknak.
Mi az a Starknet?
A Starknet egy 2. rétegű skálázási megoldás, amelyet arra terveztek, hogy gyorsabbá és olcsóbbá tegye a tranzakciókat az Ethereumon. Ahelyett, hogy minden tranzakciót közvetlenül az Ethereum főláncán dolgoznának fel, a Starknet ezeket off-chain kezeli.
A hálózat ezután generál egy STARK bizonyítékot, hogy matematikailag igazolja a tranzakciók helyes végrehajtását. Ez a bizonyíték – a változások összefoglalójával együtt – visszakerül az Ethereumra, ahol láncon belül ellenőrzik és véglegesítik.
Hogyan működik a Starknet?
1. Szekvenáló: tranzakciók kezelése
A szekvenáló felelős a tranzakciók fogadásáért és rendszerezéséért. A szekvenáló csoportosítja a tranzakciókat, ellenőrzi, hogy mely tranzakciók érvényesek, és elveti azokat, amelyek nem teljesülnek (például elégtelen pénzeszközök vagy hibák miatt).
Csak érvényes tranzakciók kerülnek be a blokkokba, amelyek ezután további érvényesítésre továbbítódnak. Mivel ez a folyamat off-chain zajlik, a szekvenáló magasabb átviteli teljesítményt érhet el.
2. Bizonyító: a bizonyíték generálása
A bizonyító fogja a feldolgozott blokkot, majd rögzíti a tranzakció végrehajtásának minden lépését (amelyet végrehajtási nyomnak neveznek) és a rendszer állapotában bekövetkezett változásokat (amelyeket állapotkülönbségnek hívnak). A bizonyító ezután átalakítja ezeket az adatokat, és véletlenszerű részeket választ ki a végső STARK bizonyíték generálásához, amely matematikai garanciát nyújt arra, hogy minden tranzakciót helyesen hajtottak végre.
3. Elszámolás az Ethereumon
A bizonyíték és a végső állapotváltozások az Ethereumra kerülnek, ahol két okosszerződés kezeli a hitelesítést:
A Verifier szerződés ellenőrzi a bizonyíték pontosságát. Ha az adatok konzisztensnek és érvényesnek bizonyulnak, akkor jóváhagyják őket.
A Starknet Core szerződés ezután frissíti a Starknet állapotát az Ethereumon a hitelesített bizonyíték alapján.
Miután elfogadták, ez a frissített állapot hozzáadódik az Ethereum egy blokkjához, ahol a végleges nyilvántartás részévé válik. Mivel a bizonyíték megerősíti az off-chain számítások érvényességét, nincs szükség a tranzakciók újbóli végrehajtására az Ethereumon, ami segít csökkenteni a torlódást és a költségeket.
A Starknet kulcsfontosságú jellemzői
Cairo: a Starknet programozási nyelve
A Starknet egy egyedi okosszerződésnyelvet használ, amelyet Cairónak hívnak, és kifejezetten olyan programok írására tervezték, amelyeket STARK bizonyítékokkal lehet ellenőrizni. Lehetővé teszi a fejlesztők számára, hogy skálázható alkalmazásokat építsenek a Starkneten anélkül, hogy kriptográfiai szakértőnek kellene lenniük.
A Cairo ökoszisztéma olyan fejlesztői eszközöket tartalmaz, mint például a Dojo, egy nyílt forráskódú játékmotor, amely lehetővé teszi a teljesen on-chain játékok építését, illetve a Starknet React, egy könyvtár, amely leegyszerűsíti a webes felületek építését a Starknet DAppok számára.
Natív fiókabsztrakció
A Starknet támogatja a natív fiókabsztrakciót, amely lehetővé teszi a fejlesztők számára, hogy web2-höz hasonló felhasználói élményeket kínáljanak web3 alkalmazásokban. Ez olyan funkciókat foglal magában, mint a hozzáférési kulcsok, amelyekkel a felhasználók helyreállító kifejezések nélkül jelentkezhetnek be, és a munkamenetkulcsok, amelyek lehetővé teszik a felhasználók számára, hogy egyszerre több tranzakciót is jóváhagyjanak. A paymasters funkció gasdíj-mentes tranzakciókat tesz lehetővé, amelyekben a felhasználók ERC-20 tokenekkel fizethetnek, vagy valaki más fedezheti a gas költségeket.
A Cartridge Controller a Starknet okosszerződéses tárcáinak az egyik példája, amely a játékok számára hozza el ezeket a funkciókat. Támogatja az egy kattintásos regisztrációt, a játékosok azonosítását, az eredményeket, és jól működik a játékmotorokkal és frontend eszközökkel.
Érvényesség vs. optimista rollupok
Azokkal az optimista rollupokkal ellentétben, amelyek azt feltételezik, hogy a tranzakciók érvényesek, hacsak nem kérdőjelezik meg őket, a Starknet érvényességi bizonyítékokat használ a helyesség megerősítésére. Ez gyors véglegességet biztosít (mivel nem kell kivárni a kihívási időszakot), és erős kriptográfiai garanciákat nyújt.
Az optimista rollupok azonban egyszerűbben megvalósíthatók, és előfordulhat, hogy szélesebb körű kompatibilitást kínálnak a meglévő Ethereum eszközökkel. Mindkét megközelítésnek megvannak a maga hátrányai, és a rollup kiválasztása olyan konkrét céloktól függ, mint például a késleltetés, a kompatibilitás és a bizalomfeltételezések.
Kihívások
A Starknet nem kínál natív kompatibilitást az Ethereum Virtual Machine-nel (EVM), ami megkülönbözteti az olyan 2. rétegektől, mint a zkSync Era és a Scroll, amelyek lehetővé teszik a fejlesztők számára a meglévő Solidity kód és az Ethereum eszközök egyszerű újrafelhasználását.
Ehelyett a Starknet megköveteli a fejlesztőktől, hogy a Cairót, a STARK bizonyításokon keresztüli skálázhatóságra tervezett egyedi nyelvet használják. Bár a Cairo technikai előnyöket kínál, új tanulási görbét indít el, ami lelassíthatja az integrációt, és megnehezítheti a meglévő alkalmazások migrálását.
STRK token
A STRK token a Starknet protokoll natív hasznossági tokenje. A token különböző célokra használható, beleértve az irányítást, a tranzakciós díjakat és a stake-elést.
Irányítás: a STRK-tulajdonosok részt vehetnek a protokoll irányításában, és szavazhatnak például a rendszerbővítéseket vagy a Starknet Operációs Rendszer módosításait érintő javaslatokról. Előfordulhat, hogy néhány javaslatnál előírják a STRK egy minimális mennyiségét ahhoz, hogy valaki támogatni tudja, vagy kezdeményezést nyújthasson be.
Tranzakciós díjak: a STRK felhasználható tranzakciós díjak kifizetésére a Starkneten. Amikor STRK-ot használnak, egy részét a szekvenáló átváltja ETH-ra, hogy fedezze az Ethereum gas költségeit.
Stake-elés: a STRK-ot kétféleképpen lehet stake-elni:
Validátorként: stake-elj egy minimális STRK mennyiséget, és végezz hálózati feladatokat, hogy jutalmakat szerezz.
Delegálóként: delegálj tokeneket egy validátornak, és szerezz részesedést a jutalmakból anélkül, hogy validálói csomópontot kellene működtetned.
Záró gondolatok
A Starknet az érvényességi bizonyítékok, különösen a STARK-ok használatával egy másfajta megközelítést kínál az Ethereum skálázására. A rollup célja az átviteli teljesítmény növelése és a költségek csökkentése, miközben megőrzi az Ethereum biztonsági garanciáit. Az olyan funkciók révén, mint a Cairo programozási nyelv és a natív fiókabsztrakciós funkciók, a Starknet új lehetőségeket teremt a fejlesztők számára, különösen a láncon belüli játékok és az infrastruktúra területén.
További olvasnivaló
Felelősségkizáró nyilatkozat: A jelen bejegyzés tartalmát változatlanul, annak eredeti formájában bocsátjuk rendelkezésre kizárólag általános tájékoztatási és oktatási céllal, bárminemű felelősség- vagy garanciavállalás nélkül. Az itt leírtak nem tekintendők pénzügyi, jogi vagy egyéb szakmai tanácsadásnak, sem egy konkrét termék vagy szolgáltatás megvásárlására tett javaslatnak. Javasoljuk, hogy megfelelő szaktanácsadóktól kérj tanácsot. Előfordulhat, hogy a cikkben említett termékek nem érhetők el a régiódban. Amennyiben a cikk harmadik fél közreműködőtől származik, felhívjuk a figyelmedet, hogy abban a harmadik fél közreműködő véleménye fejeződik ki, és nem feltétlenül tükrözi a Binance Academy véleményét. Kérjük, további részletekért olvasd el a teljes felelősségkizáró nyilatkozatunkat. A digitális eszközök ára ingadozhat. A befektetésed értéke csökkenhet vagy nőhet, és az is előfordulhat, hogy nem kapod vissza a befektetett összeget. A befektetési döntéseidért egyedül te felelsz, és a Binance Academy nem vállal felelősséget az esetlegesen felmerülő veszteségeidért. Az itt leírtak nem minősülnek pénzügyi, jogi vagy egyéb szakmai tanácsnak. További információért tekintsd meg Használati feltételeinket és a Kockázati figyelmeztetést.