Autor: Biteye hlavní přispěvatel Anci
Ve srovnání s jinými hlučnými příběhy ve světě web3 představovala trať ZK dlouhou a nudnou, ale smysluplnou infrastrukturní výstavbu po dlouhou dobu. Je to jako obtížná duchovní praxe Lidé uvnitř se ji snaží najít, zatímco lidé venku se dívají na květiny v mlze. Dobrou zprávou však je, že rychlost vývoje ZK v posledních dvou letech daleko předčila očekávání ZK Rollup duo ZkSync a Starknet dosáhlo obrovského zlepšení výkonu a nákladů. Po upgradu Ethereum EIP-4844 ZK Rollup postupně sílil v konkurenci OP Rollup. Ještě více vzrušující je, že bývalý konkurent StarkWare spolupracoval s Polygon Labs na upgradu protokolu STARK, který vždy představoval špičkovou sílu ZK, a oficiálně spustil Circle STARK, což znamená další skok vpřed ve zkušebních schopnostech ZK. Pokud jste četli loňský článek (Léto L2 se blíží? Jeden článek pro zvládnutí technických principů a ekologie StarkNet), chcete hlouběji porozumět úžasnému procesu dokazování ZK za Starknetem, ale brzdí vás různé skličující matematické vzorce a složitosti technické školy, pak můžete také sledovat tento článek, abyste pochopili některé klíčové problémy týkající se ZK. Pokusíme se vyhnout nepříjemné matematické části a místo toho probereme technické výhody Starknet, zejména hlavní průlomy, které byly nedávno zveřejněny. 01 Začněme ZK ZK je označení a zkratka Zero Knowledge Proof Systems. Jako současná věda se ZK dokazuje jako tajemná legenda – dokazuje určitou skutečnost bez prozrazení jakýchkoliv dalších informací. Jak takového ideálního cíle dosáhnout? Zde musíme udělat analogii se situací, kterou znají všichni studenti, kteří to udělali. Obvykle je nejjednodušším způsobem, jak student prokázat svou akademickou dokonalost, vytvořit přepis. Na základě zajištění toho, aby byl zkušební systém účinný a spravedlivý, může přepis s váženým stupněm A často potvrdit akademickou úroveň studenta, aniž by vykazoval jakýkoli konkrétní akademický obsah. Proces důkazu ZK je také velmi podobný. Jednoduše řečeno, jeho základní členové mají dvě části: Prover a Verifier. Certifikátor je jako školní systém zkoušek. Má pevně stanovený proces generování přepisů pro studenty jako důkazu o studijních schopnostech studentů a jejich předávání rodičům/společnostem jako ověřovatelům. Zde vidíme, že nejobtížnější částí celého procesu dokazování je proces, kdy dokazovatel generuje důkaz. V konkrétním důkazu ZK jej lze rozdělit na dvě části - aritmetický a polynomický závazek. 1.1 Aritmetika Aritmetika má převést složité důkazové problémy na algebraické problémy Konkrétně jde o převod svědka (Witness), kterého chceme dokázat, na sadu polynomických omezení (Polynomial Constrains). Je to podobné tomu, jak převádíme akademické schopnosti studentů prostřednictvím zkoušek na sadu skóre. Svědek: Svědek je to, co obvykle nazýváme nezpracovaná data výpočtů mimo řetězec, včetně údajů o transakcích, údajů o stavu účtu, průběžných výsledků výpočtů atd. Jsou to soukromá data, která používáme k prokázání platnosti transakcí, ale nechceme je provádět. to veřejné. Polynomiální omezení: Polynomiální omezení. Co je třeba udělat v procesu důkazu ZK, je převést složité problémy na matematické problémy Nejkritičtější částí matematické metody důkazu je najít polynom a nakonec dokázat, že jste jej skutečně našli. Polynomiální omezení se týkají podmínek, které musí polynom splňovat. 1.2 Závazek polynomu Závazek polynomu je dokázat v konkrétním matematickém důkazu, že jste našli polynom (Polynom), který splňuje všechna omezení generovaná aritmetikou v předchozím kroku. Pokud se polynom prokáže jako platný, pak je matematický důkaz úspěšný, což znamená, že problém, který chceme dokázat, je pravdivý. Tento proces je podobný tomu, jak nakonec získáme vážený průměr skóre nebo přepis, který může zajistit, že studentovy známky jsou všechny A, čímž se prokáže akademická excelence studenta. Ale můžete pochybovat o tom, že v reálném životě přepis často nemůže přesně vyjádřit akademické schopnosti člověka, protože v našem systému lidských zkoušek je stále příliš mnoho mezer a nekontrolovatelných. Ve světě ZK se s pomocí matematiky s jasnými správnými a špatnými a otevřenými a transparentními postupy toto přání naplňuje (stejně jako chytré kontrakty a blockchain zajišťují férovost a transparentnost). 02 SNARK vs STARK SNARK a STARK jsou v současnosti dva nejběžněji používané protokoly ZK proof a jsou také základními protokoly používanými ZkSync a Starknet. Protože podobná jména a tratě se často porovnávají. Před porovnáním však můžeme také uvést dvě čísla, abychom lépe porozuměli systémům ZK proof postaveným těmito dvěma protokoly z pohledu historie vývoje. 2.1 Groth a SNARK Jens Groth je profesorem na katedře informatiky na UCL (nyní čestným profesorem, v současnosti působí jako hlavní vědec Nexusu ve směru zkVM). Tento člověk je od roku 2009 každý rok produktivní a publikuje mnoho článků o nulových znalostech, které často slýcháme v oblasti ZK, jsou složeny z jeho jména a roku vydání. (Poznámka: Obvykle, protože názvy prací jsou dlouhé a obtížně se vyslovují, akademická obec bude používat název + rok a zkratka odkazuje na některé důležité práce. Běžnější jsou BBHR18, které položily základ STARK, a PGHR13, který použil Zcash. Obojí napsalo několik lidí. Iniciály autora jsou spojeny s letopočtem. nejznámější z nich: [Groth10] Krátké párování – Na základě neinteraktivních argumentů nulových znalostí je navrženo kompletní schéma neinteraktivního důkazu, které je považováno za teoretického průkopníka SNARK. 【Groth16】O velikosti neinteraktivních argumentů založených na párování, založených na Groth10, zjednodušuje velikost důkazu a zlepšuje efektivitu ověřování a dnes je stále široce používán. Právě na základě Gorthova výzkumu byl vyvinut a vylepšen SNARK. SNARK, což je zkratka pro Succinct Non-interactive Argument of Knowledge, je stručný systém prokazující nulové znalosti a jeho extrémně silná použitelnost umožnila rychlé použití ZK v oblasti kryptoměn. 2.2 Eli Ben-Sasson a STARK Stojí za zmínku, že spoluzakladatelem Zerocash, prvního protokolu, který aplikoval SNARK na kryptoměnu, nebyl nikdo jiný než Eli Ben-Sasson – pozdější spoluzakladatel StarkWare a zakladatel STARK. Jeden z vynálezců. Nejen to, Eli Ben-Sasson v prvních letech aktivně podporoval implementaci protokolu SNARK a v letech 2013 a 2014 postupně publikoval články, které navrhovaly a optimalizovaly strukturu SNARK, zlepšily praktičnost a efektivitu a pomohly SNARKu skutečně získat širokou pozornost. a aplikace. Možná jsou však příliš obeznámeni s obtížemi, kterým čelí SNARK. V roce 2018 Eli Ben-Sasson a další publikovali [BBHR18] Škálovatelná, transparentní a post-kvantově bezpečná výpočetní integrita a také byl oficiálně navržen navrhla komplexnější řešení pro řešení ZK Rollup. STARK – Scalable Transparent Argument of Knowledge, má výhody v rozsáhlých důkazech a celý proces důkazů je transparentní, bez spoléhání se na důvěryhodnou třetí stranu a má zabezpečení na úrovni antikvantových útoků. (Pozn.: Je třeba konstatovat, že ačkoli jsou hrdinské epické příběhy vždy oblíbené, žádný úspěch nelze dosáhnout tím, že by jedna osoba otočila příliv. Naopak, SNARK i STARK jsou výsledkem společného úsilí bezpočtu vědců. Účelem mluvení o jedné postavě je pouze oživit tuto klíčovou historii vývoje ZK z jednoho hlediska I když je někdo skvělý jako Groth, jeho práce musí vycházet z výzkumu KZG a dalších (Aniket Kate, Gregory Zaverucha. , Ian Goldberg). Lze to realizovat pouze z hlediska výsledků a všichni autoři, kteří navrhli STARK, mají jedinečné dovednosti, můžeme v budoucnu pokračovat hlouběji) 2.3 SNARK vs STARK Jaký byl tedy důvod, proč Eli Ben-. Sasso se rozhodl začít nový podnik? Jakým potížím čelí SNARK? 2.3.1 Transparentnost Než odpovíme na výše uvedenou otázku, můžeme si odpovědět na další otázku: Co je v oblasti šifrování nejdražší? Odpověď Satoshi Nakamota je - důvěřovat. SNARK právě vkročí do tohoto minového pole. SNARK používá metodu KZG při vytváření polynomiálních závazků a závazek KZG vyžaduje, aby důvěryhodné nastavení vygenerovalo řetězec společných referenčních řetězců (Common Reference String, CRS) a poté vygenerovalo heslo v procesu ověření a ověření. Vrátíme-li se zpět k našemu příkladu vysvědčení, důvod, proč mohou rodiče nebo společnosti posuzovat akademickou excelenci studenta, když vidí průměrnou známku A, je ten, že všichni souhlasíme s tím, že pořadí akademických schopností od vysoké po nízkou je A, B, C, D. Pouze podle tohoto standardu má třída A smysl. Ale co když je systém hodnocení školy hacknut a hodnocení akademických schopností bude C, A, B a D?Studenti, kteří původně dostali C, budou považováni za nejlepší studenty a bude jim dána přednost. To mělo za následek justiční omyl. Z toho vidíme, že bezpečnost tohoto standardu, který uznává každý, je zásadní. Ve světě šifrování, který se řídí zákony temného lesa, se toto důvěryhodné nastavení stalo obrovským skrytým nebezpečím. S vědomím toho, proč SNARK trvá na použití metody KZG? Je to proto, že konečná velikost nátisku získaná pomocí KZG je příliš malá. Pamatujete si, co znamená „S“ ve SNARK? Výstižný! Pokušení malé velikosti je příliš velké, zvláště před upgradem Ethereum Cancun Zjednodušená velikost důkazu přinesla SNARK lepší praktičnost a efektivitu a byla po dlouhou dobu akceptována více projekty. Takže všude je kompromis. Když už mluvíme o STARK, aby rozlouskl tvrdý oříšek Non-Trusted, STARK přijal metodu FRI (Fast Reed-Solomon Interactive Oracle Proofs) k provádění polynomiálních závazků. Konkrétně metoda FRI provádí kódování Reed Solomon na polynomech, ukládá je ve formě stromů Merkle a dokončuje několik kol interakcí mezi ověřovateli a dokazovateli prostřednictvím Oracle, čímž dosahuje ověřitelnosti a transparentnosti (transparentní, STARK "T" in). (Poznámka: Je třeba poznamenat, že Oracle zde není centralizovaným nebo semicentralizovaným věštcem, který běžně vidíme ve světě web3, ale decentralizovaným lokálně simulovaným ověřovatelem a dokazováním podle pravidel protokolu. Virtuální entita, která je interaktivní důkazní mechanismus.) Pokud bychom to chtěli porovnat s příkladem přepisu, můžeme si polynomiální proces závazku systému STARK představit jako bodovací systém postavený na řetězci, garantovaný technologií blockchain Spravedlivost a transparentnost v celém rozsahu systém. Kromě toho v důkazu STARK mohou ověřovatel a prověřovatel také simulovat interaktivní proces pomocí veřejného náhodného majáku (Random Beacon) a nakonec jej zabalit do úplného důkazu, aby dosáhl neinteraktivního důkazu a získal lepší použitelnost a asynchroničnost. 2.3.2 Škálovatelnost Pokrok společnosti STARK se také odráží v její všestrannosti a flexibilitě při řešení rozsáhlých složitých výpočetních problémů a její průměrná velikost nátisku se bude s narůstajícím měřítkem nátisku zmenšovat, čímž se vytvoří síťový efekt, což znamená „S“. . Na rozdíl od SNARK, který používá metody výpočtu obvodů reprezentované R1CS pro aritmetiku, která vyžaduje přepracování obvodů pro různé problémy, STARK používá metodu AIR (Algebraic Intermediate Representation), což je obecná metoda strojového výpočtu, která spojuje různé obvody pomocí stavových přechodových rovnic lze téměř jakýkoli výpočetní problém abstrahovat do sady polynomiálních omezení. Zároveň, protože metoda FRI používaná STARKem využívá rekurzivní strukturu k postupnému snižování stupně polynomu při generování polynomických důkazů, je růst velikosti důkazu mnohem pomalejší než růst velikosti problému (logaritmická úroveň). Proto má značné výhody při zpracování rozsáhlých operací. Vrátíme-li se k příkladu známek a zkoušek, pokud je náš aritmetický proces porovnán s testem, pak jsou SNARK a STARK jako tradiční písemky a počítačové testy. V krátkodobém horizontu nebo pro malou školu jsou tradiční testy levné a rychlé, zatímco testy na počítači vyžadují přípravu v oblasti softwaru a hardwaru, což se zdá drahé a problematické. Ale pro velké globální zkušební instituce může jeden počítač provádět zkoušky různých typů a úrovní. Bohatost a náhodnost banky otázek již nevyžaduje, aby učitelé připravovali otázky pro každou zkoušku, což ušetří spoustu pracovních sil. V dlouhodobém horizontu, jak se bude hromadit počet testujících, se také výrazně rozředí investiční náklady na software a hardware. 2.3.3 Odolnost vůči kvantovým útokům Kromě úspěchů „S“ a „T“ používá STARK také kvantově odolné hašovací funkce (jako Rescue hash, který je obecně považován za post-kvantově bezpečný, zatímco tradiční SHA -256 hašovací funkce Předpokládá se, že může být křehká v kvantových výpočtech, bezpečnostních algebraických problémech (některé složité algebraické problémy, které musí dokazovatel dokázat, jsou v současnosti považovány za obtížně řešitelné na kvantových počítačích) atd., aby se dosáhlo odolnosti vůči kvantům útoky. 03 Circle STARK je víc než jen to, že není těžké zjistit, že SNARK je v krátkodobém horizontu nepostradatelným, rychlým a proveditelným řešením. Ale jak čas plyne, jak se objem transakcí zvyšuje, výpočetní složitost exploduje a lidé si stále více uvědomují, že důvěra je ve skutečnosti nejdražším luxusem v oblasti šifrování, bude nadřazenost STARK čím dál tím výraznější. I to se v branži postupně odhaluje. Pomocí verze Boojum spuštěné ZkSync, hlavní aplikací SNARKů, jsme začali zkoumat postupnou transformaci ze SNARK na STARK. Společnost Polygon, která je známá svou integritou, se také brzy obrátila na STARK Letošní vylepšený zkušební systém Plonky3 je založen na nejnovějším Circle STARK, který společně vyvinuly Polygon Labs a StarkWare. Circle STARK je protokol ZK proof nové generace založený na aktualizaci STARK Díky chytrému zavedení Circle Curve bylo v systému nátisku úspěšně použito malé pole prvočísel M31, což výrazně zlepšilo efektivitu nátisku. V systému důkazu ZK hraje klíčovou roli pole prvočísla. Důkazu je dosaženo právě působením na poli prvočísel. Volba primárního pole představuje rovnováhu mezi efektivitou a bezpečností. Čím menší je pole prvočísel, tím menší je počet požadovaných operací a tím vyšší je efektivita. Na druhou stranu velká pole prvočísel obvykle představují vyšší úroveň zabezpečení, a proto STARK i SNARK v minulosti používaly velká pole prvočísel. Inovace Circle STARK se odráží v použití malého pole prvočísel, jako je M31, prostřednictvím speciální kombinace kruhových křivek, což nejen zlepšuje efektivitu důkazu, ale také úspěšně zajišťuje postkvantovou bezpečnost. Společnost StarkWare v současné době spustila a otevřela zdroj nové generace zkušebního zařízení založeného na Circle STARK, Stwo. Očekává se, že zkušební účinnost Stwo bude 100krát vyšší než u první generace zkušebního zařízení Stone. Stwo bude plně kompatibilní s Advanced Cario, současným Starknet Pover (SHARP Prover) založeným na Stone Prover, který bude v budoucnu také používat Stwo. V té době budou vývojáři a uživatelé ekosystému Starknet přímo těžit z vylepšení výkonu, které Stwo přináší, aniž by museli provádět jakékoli operace. Kromě zlepšení rychlosti nátisku spoluzakladatel Polygonu Brendan Farmer také zmínil, že aplikace Circle STARK nakonec výrazně sníží náklady a rozšíří se na více aplikačních nátisků. Eli Ben-Sasson je ještě optimističtější, že spuštění Circle STARK může být považováno za důležitý milník. V blízké budoucnosti bude k dispozici nejúčinnější zkušební systém a budou pokračovat další průlomy a vylepšení. 04 Starknet pokračuje v úsilí o zlepšení výkonu Prostřednictvím výše uvedené analýzy můžeme jasně vidět, že systém STARK a jeho nejnovější vylepšená verze Circle STARK jsou zasloužené špičkové síly a hvězdy zítřka v ZK Rollup má světlou budoucnost. Ale možná je to proto, že všechny dobré věci jsou těžké, Starknet je kontroverzní již dlouhou dobu. Důvodem jsou zkušenosti a náklady. Naštěstí díky neustálému úsilí StarkWare se tyto problémy stávají historií jeden po druhém. Níže se podíváme na několik nedávných důležitých upgradů Starknet, stejně jako další akce plánované podle cestovní mapy. 4.1 V0.12 Starknet Alpha v0.12.0 s kódovým označením Quantum Leap bude na mainnet spuštěn v červenci 2023. Cílem této optimalizace je zlepšit výkon sítě a optimalizovat uživatelskou zkušenost. Propustnost a latence jsou obecně považovány za měřítka výkonu sítě. Optimalizací třídiče na Rust a upgradem jazyka Cario se výrazně zkrátila doba provádění bloku Starknet a propustnost vzrostla z 30 000 CSPS (Káhirské kroky za sekundu, Cario kroky za sekundu) ve verzi v0.11.0 na 220 000 CSPS. Výkon se výrazně zlepšil. Problém interaktivního zážitku, který byl široce kritizován, byl také vyřešen. Stav čekání, který kdysi trval v průměru 20 minut, aby se čekalo na potvrzení hlavní sítě, se stane minulostí. Poté, co klient potvrdí ve vrstvě 2, je transakce považována za úspěšnou, takže doba transakce se zkrátí na přibližně 10 sekund a zážitek se výrazně zlepší. Tento upgrade, považovaný za milník, pomohl společnosti Starknet TVL úspěšně překročit 100 milionů dolarů, s nárůstem za jediný týden o více než 43 %. 4.2 V0.13 Verze v0.13.0 uvedená v lednu 2024 rozšířila velikost bloku, výrazně snížila náklady na výpočetní techniku o 50 % a snížila náklady na dostupnost dat o 25 %. Verze 0.13.1 nasadila podporu pro Ethereum EIP-4844 s předstihem, takže Starknet umožnil funkci blob během několika hodin po upgradu v Cancunu a stal se první L2, která výrazně snížila uživatelské poplatky. Ve zbytku tohoto roku bude podle plánu cestovní mapy verze 0.13.2 podporovat paralelizaci transakcí, která dokáže zpracovat více transakcí současně, zlepšit propustnost sítě a snížit latenci. Verze 0.13.3 integruje Cairo Native do třídiče Starknet, aby se dále zlepšil výkon třídiče. V té době se rychlost sítě dále zrychlí. 4.3 V0.14 a následné plány upgradu Podle cestovní mapy se očekává, že velmi očekávaný Volition bude spuštěn v upgradu V.0.14.0. V současné době spotřebovává Data Avaliabity (DA) na Ethereu drtivou většinu poplatků za plyn v síti Starknet, takže snížení DA úložiště na Ethereu je klíčem ke snížení poplatků. Volition umožňuje vývojářům vybrat si uložení části dat na Starknet L2 a nakonec odeslat státní kořen (root) této části dat do Etherea L1. Tímto způsobem jsou náklady na DA úložiště L1 značně sníženy, čímž je dále dosaženo účelu snížení nákladů. Verze V.0.14.0 také plánuje použít aplikaci Applicative Recursion k dávkovému zpracování stopy L1 více bloků najednou (stopa vrstvy 1, což jsou data, která je třeba uložit a zpracovat na Ethereum, aby bylo možné podporovat provoz Starknet. a výpočetní technika úkoly), čímž se snižují náklady. „https://community.starknet.io/t/upcoming-feature-starknet-applicative-recursion/113868“ V současné době má každý blok Starknet vlastní důkaz a každý blok je třeba utratit za Ethereum , takže síť často musí nashromáždit dostatečný objem transakcí, aby mohla sdílet náklady na blok, než zabalí blok. To vede k nejistotě v době výroby bloku a neefektivitě ve využití nákladů bloku. Pomocí rekurze aplikace může validátor zabalit několik bloků dohromady, aby to dokázal, což zkracuje dobu blokování a sdílí náklady. Kromě toho Starknet také technicky prozkoumá další DA kompresní řešení pro snížení nákladů. 05 Ekologická výstavba 5.1 Současná situace S neustálým zlepšováním výkonu a neustálým snižováním nákladů se ekologická struktura na Starknet stává stále dokonalejší. Pokud jde o infrastrukturu, peněženka projektuje Agent Co se týče cross-chain bridges, má na starosti nativní StarkGate a také projektové strany zaměřující se na cross-chain mosty, Orbiter Finance, MiniBridge a rhino.fi. Hlavní projekt DID Starknet.id přebírá roli ENS na Ethereu, podporuje uživatele při ražení NFT jako identit a předává řetězec Starknet. Pokud jde o tradiční Red Sea Defi, na Starknetu v současné době rostou přední projekty jako Nostra, Ekubo, zkLend, ZKX a Carmine Options, zatímco rychle obsazují klíčové obchodní sektory Dex, staking, půjčování a různé smlouvy Defi projekty také rostou Snažíme se zavádět nové produkty. Například ZKX využívá gamified interakci a DAO governance k vytvoření jedinečné autonomní trvalé výměny smluv Ekubo spouští jednopřípadový design pro správu všech fondů fondů, což uživatelům pomáhá snížit náklady na třecí transakce mySwap jedním kliknutím; může účinně snížit nestálé ztráty, když trh příliš kolísá atd., což dodává ekologii více vitality. Gamefi je sektor, do kterého představitelé Starknetu vkládají velké naděje. Kromě strategických celořetězových her reprezentovaných Realms v projektu Loot ecology of the head existují také streetstyle Dope Wars a Influence, strategická hra založená na mezihvězdné hře. průzkum, stejně jako hry vytvořené nativním týmem Starknet, založené na znalostech fyziky, lze na Starknet nazvat čtyřmi králi all-chain her. Na Socialfi se navíc objevil xfam.tech, podobně jako dříve populární friend.tech, čímž zaplnil mezeru v sociální oblasti. Od airdropu $STRK na začátku tohoto roku aktivita na Starknet výrazně vzrostla. Nejen to, projekty v ekosystému jako zkLend, Ekubo a ZKX postupně vydaly nativní tokeny $ZEND, $EKUBO a $ZKX ekologický lídr Nostra Finance také vydal první nativní USD stablecoin $UNO na Starknet a přislíbil $STRK $; NSTSTRK získán. Vydávání víceúrovňových tokenů je nepochybně posilou pro ekosystém Starknet Od první poloviny letošního roku je celkový datový výkon ekosystému Starknet dobrý. V dnešním okamžiku, kdy bohové vrstvy 1 a vrstvy 2 bojují, aby byla zajištěna trvalá vitalita, je zapotřebí duální inovace v produktech a technologii k vytvoření skutečně populární aplikace, aby vitalita řetězce mohla trvale dosáhnout vyšší úroveň. Kromě oficiálního týmu je za tím potřeba neustálé úsilí vývojářské komunity. To je jeden z důvodů, proč byl tým Starknet vždy extrémně vstřícný k vývojářům a dokonce dával nebývalé odměny vývojářům v airdrops. 5.2 Výzvy a volby Jak jsme již řekli, STARK byl od počátku zrozen pro bezpečné rozsáhlé komplexní nátisky a totéž platí pro Starknet, který je stejného původu. K dosažení tohoto ambiciózního a čistého cíle je nevyhnutelné mnoho úsilí a káhirský jazyk je jedním z nich. (Poznámka: Jazyk Cairo je programovací jazyk speciálně navržený společností StarkWare pro systém důkazů STARK. Dokáže efektivně generovat důkazy, optimalizovat výpočty mimo řetězec a efektivně kompenzovat omezení Solidity při provádění důkazů.) Na rozdíl od jiné vrstvy 2, který využívá Solidity pro inteligenci Pro vývoj smluv musí vývojáři používat k vývoji na Starknet nativní jazyk Cairo, což přímo zvyšuje náklady na učení a vstupní bariéry pro vývojáře. Na druhou stranu, protože Cairo VM není kompatibilní s EVM, mnoho vyspělých projektů na Ethereu nelze přímo migrovat na Starknet. To také ztěžuje Starknet využívat dividendy velkého ekosystému, i když se jedná o Ethereum Layer 2. V současné době je více než 90 % dApps v řetězci Starknet nativních v řetězci a náklady na vývoj projektu nejsou malé. Když čelíme tomuto dilematu, Starknetově volbě, můžeme najít odpověď v článku Eliho Ben-Sassona na začátku roku „Stick or Persist“. "https://paragraph.xyz/@think-integrity/stubborn%2C-or-steadfast" Článek citoval narážku "jezdit na tygru, ale je těžké se z toho dostat", říká, že pokud obětujete bezpečnost, abyste dosáhli krásného výkonu z krátkodobého hlediska je to jako sedět v autě Cválající tygr způsobí nekonečné potíže. Jako správný vyznavač technologií nikdy neprodáme druhořadou technologii v prvotřídním balení. Co chce Starknet udělat, je poskytnout skutečný důkaz, který odolá monstrózním datům a temným lesům. Trvání na důkazu je trvání na bezpečnosti. Aby vydrželi, existuje na Starknetu spousta pobídek pro vývojáře Kromě komunitních aktivit, jako jsou hackathony, byl nedávno spuštěn program Seed Grand s reálnými penězi. Vybrané týmy obdrží až 25 000 USDC v jiných. ziskové financování Zřeďte finanční odměny na podporu jeho ekologické výstavby na Starknet. „https://mp.weixin.qq.com/s/S-nVc60Sfyk2C2SP9WkNuQ“ Specificky pro herní sektor, pilotní program herní pomoci současné nadace (The Propulsion Pilot Program) vybere až 20 her na základě jejich odměn za financování. jsou založeny na spotřebě plynu hlavní sítě Starknet a každá hra může získat odměny až 1 milion amerických dolarů. „https://mp.weixin.qq.com/s/ZFSTfMyLm60M8FMR8KOG8w“ Kromě toho vývojový tým klientů Ethereum Nethermind, který dosáhl důkladné strategické spolupráce se společností Starknet, také zveřejnil plán financování Starknet v celkové výši 1 milion USD ( Starknet Grand Program), jeden projekt může získat finanční prostředky až do výše 250 000 USD a získat technickou podporu od týmu Nethermind. "https://x.com/Starknet_ZH/status/1785159198868943151" Starknet také tvrdě pracuje na prolomení bariér s Ethereem ze dvou aspektů. Na jedné straně je projekt Warp vyvinutý společností Nethermind, který se věnuje převodu kódu Solidity do kódu Cairo za účelem dosažení kompatibility na jazykové úrovni vysoké úrovně. Na druhou stranu řešení Kakarot zkEVM vyvinuté členy týmu StarkWare využívá Cairo k simulaci prostředí EVM a snaží se vytvořit prokazatelné EVM. Projekt je stále ve vývoji. 5.3 Budoucnost Díky úsilí StarkWare se komunita vývojářů v Káhiře v současné době rozrůstá S prosperitou vývojářské komunity bude ekosystém také inkubovat více vynikajících produktů a nástrojů, což dále přiláká další vynikající vývojáře, aby se připojili ke komunitě v Káhiře a vytvořili pozitivní cyklus . Kromě očekávání zrodu vynikajících produktů v tradičních oblastech, jako je DeFi, v kombinaci s vylepšeními výkonu a výhodami výpočetní integrity, které si Starknet postupně uvědomil, se na Starknet postupně objevují některé trendové sektory, které mohou představovat budoucnost. 5.3.1 Fully On-Chain Games Koncept Fully On-Chain Games (FOCG, také známý jako Infinite Games) je populární od vzestupu blockchainu a je velmi očekávaný hráči. Kompletně ukládá pravidla a data hry v řetězci, provádí všechny operace a interakce na základě chytrých kontraktů, umožňuje hráčům skutečně vlastnit herní aktiva, zajišťuje, že pravidla jsou transparentní a ověřitelná, a poskytuje otevřený ekonomický systém vytvořit více příležitostí pro hráče zdarma a spravedlivě. Vzhledem k omezením v rané propustnosti on-chain, nákladům a interakčním režimům však byly full-chain hry po dlouhou dobu jen krásnou vizí a masového přijetí nebylo dosaženo. Nicméně s neustálou optimalizací výkonu Starknet ve všech aspektech můžeme z následujících aspektů vidět, že Starknet má velký potenciál stát se úrodnou půdou pro pěstování full-chain her. 5.3.1.1 Nativní abstrakce účtu Abstrakce účtu (AA) je klíčovým krokem ke zlepšení interaktivního zážitku a pomáhá uživatelům webu2 vstoupit na web3. Zjednodušeně řečeno jde o přechod z účtu EOA na Ethereu, který jsme jako jednotlivci používali, na účet smart contract (CA) Vzhledem k programovatelnosti smluvního účtu lze běžný účet zjednodušit na základě přednastavení nastavení při zajištění bezpečnosti Složité provozní kroky pro optimalizaci uživatelského prostředí. Design Starknet udělal z nativní abstrakce účtu od začátku požadovanou možnost. Každý účet je inteligentní kontraktační účet, což snižuje složitost implementace AA od návrhu systému. Nativní peněženka dApp Agent X i Braavos podporují abstrakci účtů a mohou uživatelům poskytnout zážitek ekvivalentní Web2. V herních situacích bude role abstrakce účtu zjevnější. Například funkce Session Key iniciovaná Briq, Loot Realms a Topology, několika předními blockchainovými herními týmy v řetězci Starknet, se nyní používá v Loot Survivor, který používá přihlášení bez peněženky (Session Wallet There). potřeba podepsat za každou „útočnou“ operaci, což značně optimalizuje zážitek. 5.3.1.2 Káhirský ekosystém se postupně zlepšuje S neustálou optimalizací a zlepšováním výkonu Starknetu se zabydlelo velké množství herních komunit, aby vybudovaly káhirský ekosystém v podstatě zformována. Dojo je on-chain herní engine založený na Káhiře, který byl vytvořen v únoru 2023 a v současné době je společně provozován a udržován komunitou. Herní engine je základem pro vytváření her. Poskytuje vývojářům her vývojový rámec sestávající ze smluv, nástrojů a knihoven kódů, aby nemuseli budovat základní systém hry od nuly, takže je snazší na něm stavět. - řetězové hry. (Poznámka: Dva nejoblíbenější herní enginy pro hry Web2 jsou Unity a Unreal Engine. Známé "Hearthstone" a "Street Fighter" jsou postaveny na základě těchto dvou herních enginů. V současné době je vývoj herního enginu Web3 stále ve fázi vývoje. raných fázích a existují dva existující šifrované herní enginy, konkrétně MUD postavené na EVM a Dojo založené na Káhiře.Dojo je první prokazatelně kryptografický herní engine. ) Cartridge je spouštěč her Na jedné straně poskytuje vývojářům nástroje a knihovny kódů založené na Dojo pro vytváření a nasazení her, včetně on-chain herní logiky, škálovatelné architektury, bezproblémového uživatelského přístupu, modulárního vývoje a chemických řešení , atd. Na druhou stranu hráčům zjednodušuje proces interakce a usnadňuje hráčům objevování a vstup do jejich oblíbených her. 5.3.1.3 Vrstva 3 Starknet je univerzální vrstva 2 využívající Zk Rollup Kromě vynikajícího bezpečnostního výkonu, vysoké propustnosti a výrazně snížených nákladů, aby vyhověl specifickým potřebám, také zahájil přizpůsobený vývoj Layer 3 Appchain. . Vývojáři her si mohou přizpůsobit a optimalizovat prostředí pro spouštění v řetězci a mechanismus konsenzu podle svých vlastních potřeb, aby vytvořili vysoce výkonný řetězec s nízkou latencí a nízkými náklady. To také přináší více možností pro full-chain hry. Realms a Cartridge spolupracovaly na začátku roku na společném vývoji „Realms World L3“, který by měl být oficiálně spuštěn ve 3. čtvrtletí tohoto roku. Celý ekosystém Realms bude provozován na bázi Starknet vyšší rychlosti a nižší náklady a další optimalizace uživatelské zkušenosti. Kromě toho Dope Wars také uvedl, že bude spolupracovat s Cartridge na vydání Layer3 a použije $PAPER jako token plynu. 5.3.1.4 Shrnutí Ačkoli v očích veřejnosti nemusí být výkon Starknet v Gamefi vynikající, ale pokud se zaměříte na hry s plným řetězcem, ekologickou šetrnost Starknet, jasný smysl pro celořetězové poslání a jeho vlastní technické výhody, Je velmi atraktivní pro vývojáře i hráče. Vidíme, že herní vývojáři na Starknet jsou v současné době velmi nadšení z budování káhirského ekosystému Spolupráce předních projektů vedla k dokončení klíčové infrastruktury, jako je Dojo. Pokud se jednoho dne podaří plně realizovat hry s plným řetězcem a stále více herních nadšenců vstoupí do herního světa web3 a skutečně získá vlastnictví herních aktiv, máme důvod očekávat, že se to stane na Starknetu. 5.3.2 ZKML S explozí AI a blockchain technologií je AI+Blockchain stále více považován za budoucí směr vývoje ZKML (Zero Knowledge Machine Learning, zero-knowledge proof machine learning) je plán řešení. Tradiční model ML je jako černá skříňka, protože je vlastněn centralizovanou organizací, běžní uživatelé si nemohou ověřit, jaký model používají a zda byl trénován se spolehlivými daty, s výjimkou důvěry v podporu velkých organizací. To je také jeden z hlavních důvodů, proč jsou centralizované velké modely v současnosti kritizovány. Pokud jednoduše nahrajete model do řetězce pro zaškolení a provoz decentralizovaným způsobem, nejenže budou náklady na plyn příliš vysoké, ale kvůli nedůvěryhodnému prostředí v řetězci nebude možné spolehlivost modelu a tréninkových dat zaručena. V tomto případě je ZKML velmi potřebné. Myslete mimo řetěz, jednejte na řetězu. Trénováním a provozováním modelu mimo řetězec a použitím technologie ZK ke generování nátisků a jejich předávání řetězci jsou dvě výše zmíněná dilemata – náklady a spolehlivost – dokonale vyřešena. Zároveň má ZKML díky charakteristikám soukromí samotné ZK široké vyhlídky v citlivých oblastech, jako jsou finance a lékařská péče. Budování ZKML založeného na Káhiře na Starknet má přirozené výhody. Jako vývojový jazyk zrozený pro důkaz má Cairo vynikající výpočetní integritu a je vysoce abstraktní v důkazu Vývojáři mohou přímo volat součásti důkazu, aniž by se sami museli zabývat důkazy, což značně zjednodušuje proces vývoje. Zároveň má STARK díky výhodám škálovatelnosti významné síťové efekty při zpracování rozsáhlých výpočetních dat a dokáže efektivně a cenově výhodně přenášet masivní data potřebná pro strojové učení. Výsledkem je, že ZKML na Starknetu založené na Giza Tech rychle roste. Giza je middlewarová platforma ZKML na Starknet, která poskytuje vývojový rámec Orion a umožňuje vývojářům používat známé rámce (jako je PyTorch, TensorFlow) pro trénování modelů a snadno je nasadit na Starknet. Ve stejnou dobu Giza také spustila Agents, rámec pro agenty, který kombinuje ZKML s multi-chain chováním Vývojáři mohou vytvářet on-chain AI agenty založené na ZKML, komunikovat s chytrými smlouvami a rozhodovat se na základě předem definovaných pravidel. V současné době je Giza využívána v mnoha projektech, jako jsou sociální sítě, spolupráce s Circles Network, provádění analýzy sociálních grafů a odhalování falešných uživatelů. V rámci DeFi spolupracuje Yearn Finance na poskytování inteligentních investičních strategií a řešení řízení rizik založených na ZKML. ML Village, poslední vybraný do programu počátečního financování Starknet, zavedla ZKML do řetězových her pro rozhodování prostřednictvím Gízy, což ukazuje široké možnosti uplatnění. 06 Shrnutí Podle nedávného oficiálního oznámení společnosti Starknet se očekává, že poplatek za plyn může být v roce 2024 snížen na výrazně pod 0,01 USD, přičemž bude dosaženo stovek TPS, což z něj udělá vrstvu 2 s nejvyšším TPS. Tento cíl není pro Starknet ambiciózní Ve skutečnosti je postavení StarkWare mnohem víc než jen vrstva 2. Pokud jde o výběr klíčových produktů a trhu, Starknet je více podobný Solaně, opouští výhody a omezení EVM a staví od nuly. Ale na rozdíl od Solanových nedostatků v decentralizaci Starknet chytře zdědí extrémní decentralizaci Etherea prostřednictvím Ethereum Layer2+ZK, přičemž je možné zajistit škálovatelnost a bezpečnost. A tento zdánlivě šťastný výsledek, jak jsme řekli na začátku, je praxí lpění na dlouhodobém přístupu a nesčetných časů přebírání břemene pohybu vpřed a zároveň obětování blízkého a hledání vzdáleného. Těšíme se, že v budoucnu uvolníme na Starknet ještě více energie.
Zobrazit originál
Biteye: Starknet 10 000 slov výzkumná zpráva ZK Rollup postupně sílí?
Vyloučení odpovědnosti: Obsahuje názory třetích stran. Nejedná se o finanční poradenství. Může obsahovat sponzorovaný obsah. Viz obchodní podmínky.
0