Napsal: @Yinan_cycle
(Tento článek byl poprvé publikován na PANews: StarkWare Empire: An Analysis of the Innovation Journey of StarkEx and StarkNet)
Pozadí
Počínaje rokem 2018 společnost StarkWare propagovala použití důkazu platnosti STARK k vyřešení problému škálovatelnosti Etherea. Spustil StarkEx založený na obchodním modelu SaaS, vytvořil programovací jazyk Cairo a vybudoval Starknet, první decentralizovanou síť ve výrobě, která umožňuje psát vlastní logiku.
Společnost StarkWare se zavázala k dvojímu zaměření na technologii, matematiku, inovace a poskytování produktů na podporu ostatních týmů prosazujících Ethereum a/nebo STARK a usiluje o to, aby byl produkt open source, decentralizovaný a zaměřený na to, aby se STARK stal veřejným statkem;
V budoucnu bude StarkWare pracovat na tom, aby byl Starknet bez povolení decentralizovaným souhrnem platnosti spravovaným Starknet Foundation, a zaměří se na různé komponenty decentralizace Starknet, jako je Prover, Sequencer a governance.
Technologie STARK je založena na důkazech, konkrétně na důkazech integrity. STARK používá matematiku k zajištění integrity a zajišťuje správné provádění výpočtů, i když je nikdo nesleduje. Koncepce této techniky začala v roce 1991 článkem od László Babaie, Lance Fortnowa, Leonida Levina a Maria Szegedyho, který představil koncept použití jediného spolehlivého počítače k monitorování skupiny nespolehlivých superpočítačů. Technologie nazvaná „PCP“ využívá matematiku k monitorování a zajištění integrity velkých výpočtů.
Technologie STARK je vylepšená verze technologie PCP, která umožňuje malým uživatelům kontrolovat a zajišťovat správné fungování velkých korporací, monopolů nebo vlád. Blockchain obnovuje peer-to-peer povahu směny měn, čímž eliminuje potřebu důvěryhodných zprostředkovatelů. Ethereum posouvá tento koncept ještě dále a umožňuje vytvářet univerzální programy, které tvoří základ sociální ekonomiky.
Starkware
StarkWare je jednou z nejlepších společností v oblasti zk rollups. Spoluzaložil ji profesor Eli Ben-Sasson z Izraelského technologického institutu (spoluvynálezce zk SNARK & zk STARK). blockchainový průmysl. V současné době jsou vyvíjeny dva produkty: StarkEx & StarkNet, oba jsou představeny níže.
Tým Starkware
Eli Ben-Sasson: Spoluzakladatel a hlavní vědec, profesor informatiky na Technion-Israel Institute of Technology. Zakládající vědec Zcash a vynálezce zkSNARKs.
Alessandro Chiesa: spoluzakladatel a hlavní vědec, profesor informatiky na University of California, Berkeley. Zakládající vědec Zcash, spoluvynálezce zk-SNARKs a hlavní vývojář libsnark.
Uri Kolodny: Spoluzakladatel a CEO, Uri je sériový podnikatel s bohatými obchodními zkušenostmi a dobrou spoluprací.
Michael Riabzev: spoluzakladatel a hlavní architekt. PhD z Izraelského technologického institutu, pracoval ve společnostech Intel a IBM.
Oren Katz: Vice President of Engineering. Vystudoval Hebrejskou univerzitu v oboru počítačových věd v Tel Avivu MBA a je senior inženýr s 20 lety zkušeností.
Financování
Společnost má v současnosti hodnotu 8 miliard USD a získala plnou podporu od kapitálu, jako jsou Vitalik, Paradigm a Sequioa. Jedná se o tým s nejvyšším oceněním v oblasti expanze.
StarkEx
Aplikačně specifický modul pro škálování vrstvy 2 založený na blockchainu Ethereum, navržený k řešení problémů se škálovatelností sítí blockchainu vrstvy 1, jako je Ethereum. StarkEx umožňuje rychlé a levné transakce bez ohrožení bezpečnosti, soukromí a vlastní úschovy pomocí pokročilého kryptografického systému zvaného STARK proofs.
Poskytuje řadu aplikačních procesů pro implementaci levných výpočtů mimo řetězec, zabalení více transakcí do STARK důkazu a jejich následné ověření v řetězci, čímž se sníží průměrné náklady na plyn u každé transakce. Princip fungování rozšiřujícího enginu StarkEx zahrnuje čtyři kroky: dávkové zpracování, ověření a aktualizaci, generování důkazu a ověření v řetězci.
StarkEx byl úspěšně nasazen v mnoha aplikacích, jako jsou dYdX, Immutable, Sorare, DeversiFi a Celer.
Rozdíl od StarkNet je:
StarkEx a StarkNet jsou dvě různé technologie vyvinuté společností StarkWare. Obě používají technologii STARK s nulovými znalostmi, ale mají různé cíle a použití.
StarkEx: StarkEx je aplikačně specifický škálovací engine Layer-2 zaměřený na optimalizaci výkonu jedné aplikace na blockchainu Ethereum. Umožňuje rychlejší a levnější transakce dávkováním více transakcí a jejich ověřováním mimo řetězec. Používá se hlavně v decentralizovaných burzách (DEX), NFT trzích a hrách atd. Pomocí technologie STARK proof poskytuje StarkEx bezpečné, efektivní a levné obchodování.
StarkNet je obecnější kompletní řešení vrstvy 2 bez oprávnění, které poskytuje celému ekosystému Ethereum decentralizovanou výpočetní platformu, kde mohou vývojáři nasazovat chytré smlouvy napsané v jazyce Cairo. StarkNet podporuje interakci s jinými smlouvami, umožňuje bohatou kombinaci protokolů a může komunikovat se smlouvami Ethereum prostřednictvím asynchronního zasílání zpráv. Cílem je poskytnout škálovatelné, levné a bezpečné prostředí, na kterém mohou vývojáři stavět a nasazovat chytré smlouvy. Na rozdíl od StarkEx lze na StarkNet pohlížet jako na komplexní operační systém Layer-2, který umožňuje vývojářům vytvářet různé decentralizované aplikace, nejen řešení pro konkrétní účely.
Stručně řečeno, StarkEx je aplikačně specifický modul rozšíření Layer-2, který se zaměřuje na optimalizaci výkonu konkrétních aplikací, zatímco StarkNet je obecnější a komplexnější řešení Layer-2, jehož cílem je poskytnout decentralizované řešení pro celý ekosystém Ethereum plošina.
Starknet
Starknet je decentralizovaná síť kumulativní platnosti bez oprávnění (také známá jako „ZK-Rollup“). Funguje jako L2 síť na Ethereu, což umožňuje libovolnému dApp dosahovat nekonečně škálovatelných výpočtů, aniž by byla ohrožena složitelnost a bezpečnost Etherea, a to díky Starknet, který se spoléhá na nejbezpečnější a škálovatelný Cryptoproof systém STARK.
Smlouvy Starknet a operační systém Starknet jsou napsány v Káhiře – umožňují nasazení a škálování jakéhokoli případu použití bez ohledu na obchodní logiku. Starknet je decentralizované síťové řešení vrstvy 2 navržené tak, aby poskytovalo vyšší škálovatelnost a výkon pro decentralizované aplikace (dApps). Tím, že běží na Ethereu, využívá stávající infrastrukturu a zabezpečení a zároveň poskytuje zvýšený výpočetní výkon.
Cairo je programovací jazyk navržený speciálně pro Starknet pro zjednodušení vývoje a nasazení chytrých kontraktů. Pomocí Cairo mohou vývojáři snadno vytvářet vysoce škálovatelné aplikace pro různé případy použití, včetně financí, her, dodavatelského řetězce a dalších.
Starknet je souhrn platnosti, což znamená, že provedení v rámci každého bloku musí být prokázáno, což je místo, kde se STARKy hodí, nicméně důkazy STARK mohou řešit příkazy formulované v jazyce polynomiálních omezení a nemají žádné znalosti o provádění inteligentních smluv. K překonání této mezery byla vyvinuta Káhira.
Celkově je Starknet síťové řešení vrstvy 2 plné potenciálu, které může poskytnout stávajícím dApps velký krok vpřed ve škálovatelnosti a výkonu. Přijetím kryptografického důkazního systému STARK a programovacího jazyka Cairo poskytuje Starknet vývojářům výkonnou a flexibilní platformu pro splnění různých obchodních potřeb.
aktualizace nové verze
Co se stane dál? Starknet Alpha v0.11.0: Začíná přechod na Cairo 1.0
Další jazyková vylepšení Cairo 1.0
Zlepšení výkonu: Jak bylo slíbeno, Starknet pokračuje v pokroku směrem k výraznému zlepšení TPS. Dalším krokem v plánu je přechod na sekvencery Rust, které jsou veřejně vyvíjeny pod licencí Apache 2.0. Nový sekvencer bude používat plné uzly Rust CairoVM a Papyrus k vytvoření Performance Tria.
DA mimo řetěz
V této verzi Starknet zpracovává kalkulační část transakčních nákladů. V nadcházející verzi budou řešeny náklady na data v řetězci, což jsou hlavní náklady dnešní průměrné transakce.
Zde je další vysvětlení Starknetova sekvenceru:
Sequencer odkazuje na StarkNet Sequencer, který je součástí StarkNet a jeho cílem je výrazně zvýšit propustnost (počet transakcí za sekundu) přechodem na Rust sekvencer, využívající plné uzly Rust CairoVM a Papyrus, čímž tvoří „výkonnostní trio“ “.
"Výkonnostní trio" odkazuje na tři komponenty StarkNet Sequencer: Rust sekvencer, Rust CairoVM a úplný uzel Papyrus. Mezi nimi je Rust sekvencer jádrem StarkNet Sequencer, který je zodpovědný za zpracování transakcí a generování bloků. Rust CairoVM je virtuální stroj, který může spouštět chytré smlouvy na StarkNet. Úplný uzel Papyrus je uzel v síti StarkNet, který ukládá všechna data na StarkNet a může zpracovávat transakce. Tyto tři části spolupracují na výrazném zvýšení propustnosti StarkNet (počet transakcí za sekundu).
Starknet v0.11.0 (v současnosti pouze na Goerli testnet)
Jakmile skončí testovací období Goerli, bude Starknet v0.11.0 vydán na hlavní síti.
Starknet v0.10.3 (22-12-12)
Výkon – Oddělte výpočty státního závazku od provádění transakcí
Přidán příkaz starknet-class-hash pro výpočet hash třídy kompilovaných smluv Starknet
Starknet v0.10.2 (11/29/22)
Tato verze zavádí paralelizaci sekvenceru!
Do brány podavače je přidán nový odhad_poplatku_balení koncového bodu. To umožní odhadnout poplatky za několik transakcí současně, přičemž každá transakce je provedena ve vztahu k výslednému stavu předchozí aplikované transakce.
Starknet v0.10.1 (10/25/22)
Přidejte transakci DeployAccount (nahradí transakci Deploy pro nasazení smlouvy o účtu). Chcete-li jej použít, měli byste nejprve na adresu svého účtu přidat dostatek prostředků na pokrytí transakčních poplatků, poté můžete zavolat na účet DeployAccount
Rozdělte příkaz starknet deploy_accountCLI na starknet new_account a starknet deploy_account
Očekává se, že smlouvy o účtech nasazené tímto způsobem by měly implementovat vstupní bod validate_deployDeployAccount(), který by měl kontrolovat podpis transakce.
Vylepšený výpočet poplatků L1: vypočítejte poplatky na základě rozdílů ve stavu úložiště
API: entry_point_type odstraní pole z informací o transakci
Starknet v0.10.0 (05-09-22)
Tato verze představuje další kroky v návrhu abstrakcí účtu Starknet, konkrétně oddělení ověřování/provádění.
Starknet v0.9.1 (07/20/22)
Změny API
StarNet CLI
Starknet v0.9.0 (6. června 22)
Tato verze přináší do Starknet paradigma smluvní třídy/instance
O účtu
Struktura účtu Ethereum
V Ethereu se jednotlivé uživatelské účty nazývají Externally Owned Accounts (EOA).
EOA se liší od smart kontraktů tím, že nejsou řízeny kódem. EOA je určena dvojicí soukromých a veřejných klíčů.
Adresa účtu je odvozena z těchto klíčů a transakce mohou být iniciovány z účtu pouze v případě, že máte soukromý klíč. Zatímco smlouvy Ethereum jsou „pasivní“, což znamená, že se mohou změnit pouze při vyvolání transakce, EOA mohou iniciovat transakce.
Navzdory své jednoduchosti mají EOA velkou nevýhodu, a to, že neexistuje žádná flexibilita v chování účtu. Protokol Ethereum určuje, kdy jsou transakce iniciované EOA platné (podpisové schéma je pevné). Zejména kontrola veřejného klíče poskytuje úplnou kontrolu nad účtem. I když se teoreticky jedná o bezpečnou metodu správy účtu, v praxi má některé nevýhody, jako je požadavek, abyste udržovali svou počáteční frázi v bezpečí a zároveň vám ji zpřístupnili, a omezená flexibilita s funkcemi peněženky.
EIP-4337 je návrh designu pro Ethereum, který nastiňuje abstrakci účtů pro správu všech účtů prostřednictvím vyhrazených inteligentních smluv v síti Ethereum, aby se zvýšila flexibilita a použitelnost. Do Etherea můžete přidat abstrakci účtu přidáním vlastní logiky nad základní funkcionalitu EOA.
Co je abstrakce účtu?
Myšlenkou abstrakce účtů je umožnit větší flexibilitu při správě účtů, spíše než jejich chování určovat na úrovni protokolu. Toho lze dosáhnout zavedením smluv o účtu – chytrých smluv s programovatelnou logikou, které určují chování účtu uživatele.
Pomocí abstrakce účtu můžete nyní naprogramovat funkčnost účtu.
Můžete například:
Zjistěte, co znamená platný podpis, nebo se kterými smlouvami smí váš účet komunikovat. Tomu se říká „abstrakce podpisu“
Plaťte transakční poplatky v různých tokenech – někdy se tomu říká „abstrakce poplatků“
Navrhněte si svůj vlastní mechanismus ochrany proti přehrání a povolte paralelní odesílání více nesouvisejících transakcí. Porovnejte to se sekvenčním řešením nonce používaným v Ethereu, jehož výsledkem jsou transakce sekvenční povahy, i když chcete poslat dvě transakce paralelně, musíte před odesláním druhé transakce počkat na potvrzení první transakce. V opačném případě může být druhá transakce odmítnuta z důvodu neplatného nonce. Pomocí abstrakce účtu lze diskutovat o různých řešeních, jak obejít požadavek na sekvenční nonce. Tomu se říká „abstrakce nonce“.
Dnes Starknet poskytuje abstrakci podpisů. V budoucnu Starknet obohatí design abstrakce běžného účtu.
Dva příklady funkcí vlastního účtu pomocí abstrakce účtu
Sociální zotavení Jedná se o proces, který vám umožňuje získat vaši peněženku prostřednictvím sociální sítě dle vašeho výběru, když ji ztratíte, což výrazně zlepšuje typický zážitek z obnovy peněženky.
Ovládejte svůj účet pomocí rozpoznávání obličeje S abstrakcí podpisů můžete podepisovat transakce pomocí nativního hardwaru vašeho telefonu, takže je prakticky nemožné převzít účet jiného uživatele (i v případě krádeže samotného telefonu).
Tyto příklady ukazují, jak lze využít abstrakci účtů a poskytnout uživatelům flexibilnější, bezpečnější a vysoce přizpůsobenou peněženku a správu účtů. Napsáním vlastní logiky mohou uživatelé přizpůsobit funkce účtu svým potřebám a preferencím, zlepšit zabezpečení a zároveň zlepšit snadnost použití.
Smlouva o účtu Starknet musí obsahovat následující dvě funkce
ověřit
vykonat
Tyto funkce slouží k různým účelům, aby zajistily, že transakce může iniciovat pouze vlastník účtu a že vám mohou být účtovány poplatky za zdroje, které používáte.
Typy účtů Starknet jsou inspirovány Ethereum EIP-4337, kde místo EOA (Externally Owned Account) nyní používáte chytré smluvní účty s libovolnou ověřovací logikou.
Použitím chytrých smluv se získá úplná flexibilita při implementaci účtu.
Ačkoli to není povinné na úrovni protokolu, komunita vyvinula bohatší standardní rozhraní účtu. Tento standard byl vyvinut společností OpenZeppelin v úzké spolupráci s týmem peněženky a dalšími hlavními vývojáři Starknet.
Tokenová ekonomika:
Role žetonů:
transakční poplatek:
V současné době se poplatky ve StarkNet platí v Ethereu (ETH). Později však očekáváme, že poplatky budou hrazeny výhradně pomocí nativních tokenů StarkNet. Pro podporu dobré uživatelské zkušenosti umožní automatizované a decentralizované on-chain mechanismy uživatelům platit poplatky v ETH.
Slib:
Některé služby kritické pro životnost a bezpečnost StarkNet mohou vyžadovat vložení tokenů StarkNet. Tyto služby mohou zahrnovat objednávání, dosažení prozatímního konsenzu L2 před dosažením konečných výsledků L1, atestační služby STARK a poskytování dostupnosti dat.
Správa:
Návrhy na zlepšení StarkNet budou vyžadovat, aby byl později definován minimální práh podpory tokenů. Všechny změny protokolu, které jsou kritické pro životnost, bezpečnost a údržbu StarkNet, vyžadují hlasování, buď přímo, nebo prostřednictvím delegování. Například všechny velké aktualizace operačního systému StarkNet vyžadují schválení držitele tokenu.
Celková částka: 10 miliard, počáteční distribuce tokenů: Token Economics
17 % — investoři StarkWare
32,9 % — Hlavní přispěvatelé: StarkWare a její zaměstnanci a konzultanti a partneři pro vývoj softwaru StarkNet
StarkWare poskytuje nadaci 50,1 % na následující účely:
9 % – Community Supply: Používá se k odměňování lidí, kteří pracují na StarkNet a poskytují podporu pro jeho základní technologii, jako jsou ti, kteří v minulosti používali systém StarkEx L2. Důležité je, že veškeré doplňování komunity bude založeno na ověřitelné práci, která byla dokončena v minulosti. Například pro minulé uživatele StarkEx budou alokace určeny na základě ověřitelného použití technologie StarkEx, ke kterému došlo před 1. červnem 2022.
9 % — Komunitní sleva: Částečně použita na pokrytí nákladů na přechod z Etherea na StarkNet. Aby se zabránilo gamifikaci, komunitní slevy se vztahují pouze na transakce, ke kterým došlo po oznámení mechanismu slev.
12 % — Financování výzkumu a vývoje, testování, nasazení a údržby protokolu StarkNet.
10 % - strategická rezerva na financování ekosystémových aktivit v souladu s posláním nadace.
2 % — darováno vysoce respektovaným institucím a organizacím, jako jsou univerzity, nevládní organizace atd., o čemž rozhodli společně držitelé tokenů StarkNet a nadace.
8,1 % – nepřiděleno: Nepřidělené finanční rezervy nadace budou použity na další podporu komunity StarkNet, přičemž komunita určí konkrétní metody podpory.
Aby bylo možné sladit dlouhodobé pobídky hlavních přispěvatelů a investorů se zájmy komunity StarkNet a dodržovat postupy decentralizovaného ekosystému, budou všechny tokeny přidělené hlavním přispěvatelům a investorům podléhat 4letému období blokování. , s lineárním vydáním a ročním útesem.
Pokud jste koncový uživatel, používejte StarkNet pouze v případě, že vyhovuje vašim aktuálním potřebám. Použijte jej pro transakce a aplikace, které si vážíte, spíše než abyste očekávali budoucí návratnost tokenů StarkNet. Když jsou komunitní dodávky oznámeny, budou se týkat pouze snímků, ke kterým došlo před datem oznámení, filtrování a vyloučení použití považovaného za zneužití a manipulativní se sítí na základě informací dostupných v té době. Když jsou zavedeny komunitní systémy slev, nikdy se nebudou vztahovat na transakce, ke kterým došlo před oznámením slevy, takže obchodování dnes s očekáváním budoucích slev je marné.
Na základě výše uvedené souhrnné analýzy ekonomie tokenů:
Prvních 9 % komunitní části dodávky může být předáno uživatelům, což znamená, že uživatelé budou rozděleni mezi 450 milionů spolu s těmi, kteří pracují pro Starknet a poskytují technickou podporu a vývoj.
Druhá komunitní sleva ve výši 9 % slouží k dotování manipulačních poplatků po vyhlášení následných pravidel slev. Je zbytečné platit manipulační poplatky před vyhlášením pravidel.
Třetích 10% strategická rezerva se používá pro ekologické aplikace v řetězci a je přidělena ekologickým aplikačním protokolům.
Obchodní model
StarkEx prodává přizpůsobené služby technologického motoru a účtuje servisní poplatky přímo od zákazníků s potřebami rozšíření. Jedná se v podstatě o přizpůsobenou službu 2B.
Vytvořte decentralizovanou síť na 2. vrstvě StarkNet, která podporuje nezávislé nasazení dApps, může uživatelům účtovat transakční poplatky na 2. vrstvě a může také získat hodnotu MEV prostřednictvím aukčního mechanismu sekvenceru a může také v budoucnu vydávat tokeny a využívat technologie a finanční prostředky inkubovat projekty StarkNet Řídit ekologický rozvoj prostřednictvím tokenomiky.
Shrnout
StarkWare je jednou z nejlepších společností v okruhu zk rollups, s produkty včetně StarkEX a StarkNet.
StarkEx je rozšiřující modul Layer2, který poskytuje technické služby pro dApps.
StarkNet je obecnější, kompletní řešení vrstvy 2, které je bez oprávnění.
Existuje více než 80 členů týmu a hlavní členové jsou velmi poutaví. Eli Ben-Sasson je zakládajícím vědcem společnosti Zcash a vynálezcem zkSNARKů. Má velmi hluboký výzkum a vliv v oblasti ZK-Rollup současné ocenění dosahuje 8 miliard Top VC a jednotlivci jako paradigm, Pantera, polychain a Buterin jsou všichni investoři StarkWare.
Z hlediska ekologických aplikací, protože je použit jazyk Cairo, není kompatibilní s EVM, takže pokrok v ekologickém vývoji bude v současné době pomalejší a začíná se přecházet na Cairo 1.0 a vyvíjet se směrem k vyššímu TPS. ale současná zkušenost s aplikací není příliš hladká a stále existuje propast mezi technologií a realitou, doufám, že v budoucnu uvidím lepší vývoj Starknet.