#starkware #starknet #starkex

Scris de: @Yinan_cycle

(Acest articol a fost publicat pentru prima dată pe PANews: StarkWare Empire: An Analysis of the Innovation Journey of StarkEx and StarkNet)

fundal

Începând din 2018, StarkWare a fost pionier în utilizarea dovezii de validitate STARK pentru a rezolva problema de scalabilitate a Ethereum. A lansat StarkEx pe baza unui model de afaceri SaaS, a creat limbajul de programare Cairo și a construit Starknet, prima rețea descentralizată din producție care permite scrierea logicii personalizate.

StarkWare se angajează să aibă un dublu accent pe tehnologie, matematică, inovație și livrarea de produse, sprijinind alte echipe care promovează Ethereum și/sau STARK și să depună eforturi pentru a face ca produsul să fie deschis, descentralizat și axat pe a face STARK un bun public;

În viitor, StarkWare va lucra pentru a face din Starknet un pachet de valabilitate descentralizat fără permisiune, guvernat de Fundația Starknet și se va concentra pe diferitele componente ale descentralizării Starknet, cum ar fi Prover, Sequencer și guvernare.

Tehnologia STARK se bazează pe dovezi, în special pe dovezi de integritate. STARK folosește matematica pentru a asigura integritatea, asigurându-se că calculele sunt efectuate corect chiar și atunci când nimeni nu se uită. Conceptul acestei tehnici a început cu un articol din 1991 al lui László Babai, Lance Fortnow, Leonid Levin și Mario Szegedy, care a introdus conceptul de utilizare a unui singur computer de încredere pentru a monitoriza un grup de supercalculatoare nesigure. Tehnologia, numită „PCP”, folosește matematica pentru a monitoriza și a asigura integritatea calculelor mari.

Tehnologia STARK este o versiune îmbunătățită a tehnologiei PCP care permite utilizatorilor mici să verifice și să asigure funcționarea corectă a marilor corporații, monopoluri sau guverne. Blockchain restabilește natura peer-to-peer a schimbului valutar, eliminând nevoia de intermediari de încredere. Ethereum duce acest concept și mai departe, permițând crearea de programe universale care stau la baza unei economii sociale.

Starkware

StarkWare este una dintre cele mai bune companii din zk rollups. A fost co-fondată de profesorul Eli Ben-Sasson de la Institutul de Tehnologie din Israel (co-inventator al zk SNARK și zk STARK). industria blockchain . În prezent sunt dezvoltate două produse: StarkEx și StarkNet, ambele fiind prezentate mai jos.

Echipa Starkware

  • Eli Ben-Sasson: co-fondator și om de știință șef, profesor de informatică la Institutul de Tehnologie Technion-Israel. Om de știință fondator al Zcash și inventator al zkSNARKs.

  • Alessandro Chiesa: co-fondator și om de știință șef, profesor de informatică la Universitatea din California, Berkeley. Om de știință fondator al Zcash, co-inventator al zk-SNARK-urilor și dezvoltator principal al libsnark.

  • Uri Kolodny: Co-fondator și CEO, Uri este un antreprenor în serie cu o experiență bogată în afaceri și bun la cooperare.

  • Michael Riabzev: co-fondator și arhitect șef. Doctorat de la Institutul de Tehnologie din Israel, a lucrat la Intel și IBM.

  • Oren Katz: Vicepreședinte de Inginerie. A absolvit Universitatea Ebraică în Informatică, MBA din Tel Aviv și este un inginer senior cu 20 de ani de experiență.

Finanțare

Compania este evaluată în prezent la 8 miliarde de dolari și a primit sprijin complet din partea capitalurilor precum Vitalik, Paradigm și Sequioa. Este echipa cu cea mai mare evaluare în domeniul expansiunii.

StarkEx

Un motor de scalare Layer-2 specific aplicației, bazat pe blockchain-ul Ethereum, conceput pentru a rezolva problemele de scalabilitate ale rețelelor blockchain Layer-1, cum ar fi Ethereum. StarkEx permite tranzacții rapide, cu costuri reduse, fără a compromite securitatea, confidențialitatea și auto-custodia prin utilizarea unui sistem de criptare avansat numit STARK proofs.

Acesta oferă o serie de procese de aplicare pentru implementarea calculelor ieftine în afara lanțului, împachetarea tranzacțiilor multiple într-o dovadă STARK și apoi verificarea lor în lanț, reducând costul mediu de gaz al fiecărei tranzacții. Principiul de funcționare al motorului de expansiune StarkEx include patru pași: procesarea loturilor, verificarea și actualizarea, generarea dovezilor și verificarea în lanț.

StarkEx a fost implementat cu succes în mai multe aplicații precum dYdX, Immutable, Sorare, DeversiFi și Celer.

Diferența față de StarkNet este:

StarkEx și StarkNet sunt două tehnologii diferite dezvoltate de StarkWare Ambele folosesc tehnologia STARK zero-knowledge proof, dar au scopuri și utilizări diferite.

  1. StarkEx: StarkEx este un motor de scalare Layer-2 specific aplicației, concentrat pe optimizarea performanței unei singure aplicații pe blockchain-ul Ethereum. Permite tranzacții mai rapide și cu costuri mai mici prin gruparea mai multor tranzacții și verificarea lor în afara lanțului. Folosit în principal în schimburile descentralizate (DEX), piețele și jocurile NFT etc. Prin utilizarea tehnologiei STARK proof, StarkEx oferă o experiență de tranzacționare sigură, eficientă și cu costuri reduse.

  2. StarkNet este o soluție Layer-2 fără permisiune, mai generală și completă, care oferă întregului ecosistem Ethereum o platformă de calcul descentralizată unde dezvoltatorii pot implementa contracte inteligente scrise în limba Cairo. StarkNet acceptă interacțiunea cu alte contracte, permite o combinație bogată de protocoale și poate interacționa cu contractele Ethereum prin mesagerie asincronă. Scopul este de a oferi un mediu scalabil, cu costuri reduse și sigur pe care dezvoltatorii să poată construi și implementa contracte inteligente. Spre deosebire de StarkEx, StarkNet poate fi văzut ca un sistem de operare cuprinzător Layer-2, care permite dezvoltatorilor să creeze o varietate de aplicații descentralizate, nu doar soluții pentru scopuri specifice.

Pe scurt, StarkEx este un motor de extensie Layer-2 specific aplicației, care se concentrează pe optimizarea performanței aplicațiilor specifice, în timp ce StarkNet este o soluție Layer-2 mai generală și mai cuprinzătoare, care își propune să ofere o soluție descentralizată pentru întregul ecosistem de calcul centralizat Ethereum platformă.

Starknet

Starknet este o rețea de acumulare de valabilitate descentralizată, fără permisiune (cunoscută și ca „ZK-Rollup”). Funcționează ca o rețea L2 pe Ethereum, permițând oricărei aplicații dApp să realizeze calcule scalabile la infinit fără a compromite compozibilitatea și securitatea Ethereum, datorită faptului că Starknet se bazează pe cel mai sigur și scalabil sistem Cryptoproof STARK.

Contractele Starknet și sistemul de operare Starknet sunt scrise în Cairo - permițând implementarea și scalarea oricărui caz de utilizare, indiferent de logica de afaceri. Starknet este o soluție de rețea descentralizată de nivel 2, concepută pentru a oferi scalabilitate și performanță mai ridicate pentru aplicațiile descentralizate (dApps). Funcționând pe Ethereum, folosește infrastructura și securitatea existente, oferind în același timp o putere de calcul sporită.

Cairo este un limbaj de programare conceput special pentru Starknet pentru a simplifica dezvoltarea și implementarea contractelor inteligente. Folosind Cairo, dezvoltatorii pot construi cu ușurință aplicații extrem de scalabile pentru o varietate de cazuri de utilizare, inclusiv finanțe, jocuri, lanț de aprovizionare și multe altele.

Starknet este un pachet de validitate, ceea ce înseamnă că execuția în fiecare bloc trebuie dovedită, ceea ce este locul în care STARK-urile sunt utile. Pentru a depăși acest decalaj, a fost dezvoltat Cairo.

În general, Starknet este o soluție de rețea de nivel 2 plină de potențial care poate oferi aplicațiilor dApp existente un pas major înainte în scalabilitate și performanță. Prin adoptarea sistemului de verificare criptografică STARK și a limbajului de programare Cairo, Starknet oferă dezvoltatorilor o platformă puternică și flexibilă pentru a răspunde diferitelor nevoi de afaceri.

actualizare a noii versiuni

  • Ce se întâmplă mai departe? Starknet Alpha v0.11.0: începe tranziția la Cairo 1.0

    • Îmbunătățiri suplimentare de limbă pentru Cairo 1.0

    • Îmbunătățiri de performanță: așa cum am promis, Starknet continuă să facă progrese către îmbunătățirea semnificativă a TPS. Următorul pas în foaia de parcurs este trecerea la secvențierele Rust, care sunt dezvoltate public sub licența Apache 2.0. Noul sequencer va folosi noduri complete Rust CairoVM și Papyrus pentru a forma Performance Trio.

    • DA în afara lanțului

      În această versiune, Starknet se ocupă de partea de calcul a costurilor de tranzacție. Într-o versiune viitoare, vor fi abordate costurile de date în lanț, care este costul principal al tranzacției medii astăzi.

    Iată o explicație suplimentară a secvențatorului Starknet:

    Sequencer se referă la StarkNet Sequencer, care face parte din StarkNet și își propune să crească semnificativ debitul (numărul de tranzacții pe secundă) prin trecerea la un secvențior Rust, folosind nodurile complete Rust CairoVM și Papyrus, formând astfel un „trio de performanță””.

    „Trioul de performanță” se referă la cele trei componente ale Sequencerului StarkNet: Sequencerul Rust, Rust CairoVM și nodul complet Papyrus. Printre acestea, secvențatorul Rust este nucleul StarkNet Sequencer, care este responsabil pentru procesarea tranzacțiilor și generarea blocurilor. Rust CairoVM este o mașină virtuală care poate rula contracte inteligente pe StarkNet. Nodul complet Papyrus este un nod din rețeaua StarkNet care stochează toate datele pe StarkNet și poate procesa tranzacții. Aceste trei părți lucrează împreună pentru a crește semnificativ debitul StarkNet (numărul de tranzacții pe secundă).

  • Starknet v0.11.0 (în prezent numai pe Goerli testnet)

    • Odată ce perioada de testare Goerli se încheie, Starknet v0.11.0 va fi lansat pe rețeaua principală.

  • Starknet v0.10.3 (22-12-12)

    • Performanță - Separați calculele angajamentului statului de executarea tranzacției

    • S-a adăugat comanda starknet-class-hash pentru a calcula hash-ul de clasă al contractelor Starknet compilate

  • Starknet v0.10.2 (29/11/22)

    • Această versiune introduce paralelizarea secvenței!

    • 一个新端点estimate_fee_bulk被添加到馈线网关。这将允许同时估算几笔交易的费用,其中每笔交易都是相对于应用前一笔交易的结果状态执行的。

  • Starknet v0.10.1 (25/10/22)

    • Adăugați tranzacția DeployAccount (va înlocui tranzacția Deploy pentru a implementa contractul de cont). Pentru a-l folosi, mai întâi trebuie să adăugați suficiente fonduri la adresa contului dvs. pentru a acoperi taxele de tranzacție, apoi puteți apela DeployAccount

    • Împărțiți comanda starknet deploy_accountCLI în starknet new_account și starknet deploy_account

    • Este de așteptat ca contractele de cont implementate în acest mod să implementeze punctul de intrare validate_deployDeployAccount(), care ar trebui să verifice semnătura tranzacției.

    • Calcul îmbunătățit al taxei L1: calculați taxele pe baza diferențelor în starea stocării

    • API: entry_point_type elimină câmpuri din informațiile despre tranzacție

  • Starknet v0.10.0 (05-09-22)

    Această versiune introduce următorii pași în proiectarea abstracțiilor contului Starknet, în special separarea verificare/execuție.

  • Starknet v0.9.1 (20/07/22)

    • Modificări ale API-ului

    • StarNet CLI

  • Starknet v0.9.0 (6, 22 iunie)

    Această versiune aduce paradigma clasei/instanțelor de contract la Starknet

Despre cont

  • Structura contului Ethereum

    În Ethereum, conturile de utilizator individuale sunt numite Conturi deținute extern (EOA).

    EOA diferă de contractele inteligente prin faptul că nu sunt controlate de cod. EOA este determinat de o pereche de chei private și publice.

    Adresa contului este derivată din aceste chei, iar tranzacțiile pot fi inițiate din cont numai dacă unul are cheia privată. În timp ce contractele Ethereum sunt „pasive”, adică se pot schimba doar atunci când sunt apelate într-o tranzacție, EOA pot iniția tranzacții.

    În ciuda simplității lor, EOA-urile au un dezavantaj major, care este că nu există flexibilitate în comportamentul contului. Protocolul Ethereum dictează când tranzacțiile inițiate de EOA sunt valide (schema de semnătură este fixă). În special, controlul cheii publice oferă control complet asupra contului. În timp ce, în teorie, aceasta este o metodă sigură de gestionare a contului, în practică are unele dezavantaje, cum ar fi solicitarea de a vă menține în siguranță fraza de bază, în timp ce vă faceți accesibilă și flexibilitatea limitată a funcțiilor de portofel .

    EIP-4337 este o propunere de proiectare pentru Ethereum care conturează o abstractizare a contului pentru a gestiona toate conturile prin contracte inteligente dedicate în rețeaua Ethereum pentru a crește flexibilitatea și gradul de utilizare. Puteți adăuga abstractizarea contului la Ethereum adăugând o logică personalizată pe lângă funcționalitatea de bază EOA.

  • Ce este abstracția contului?

    Ideea din spatele abstracției contului este de a permite mai multă flexibilitate în gestionarea contului, mai degrabă decât de a determina comportamentul acestora la nivel de protocol. Acest lucru se poate realiza prin introducerea contractelor de cont - contracte inteligente cu logica programabila care determina comportamentul contului utilizatorului.

    Utilizând abstracția contului, acum puteți programa funcționalitatea contului.

    De exemplu, puteți:

    • Stabiliți ce înseamnă o semnătură validă sau cu ce contracte este permis să interacționeze contul dvs. Aceasta se numește „abstracție semnăturii”

    • Plătiți comisioane de tranzacție în diferite jetoane - aceasta este uneori numită „abstracție a taxelor”

    • Proiectați-vă propriul mecanism de protecție a reluării și permiteți trimiterea în paralel a mai multor tranzacții care nu au legătură. Comparați acest lucru cu soluția nonce secvențială folosită în Ethereum, care are ca rezultat tranzacțiile de natură secvențială, chiar dacă doriți să trimiteți două tranzacții în paralel, trebuie să așteptați câteva confirmări ale primei tranzacții înainte de a trimite a doua tranzacție. În caz contrar, a doua tranzacție poate fi respinsă din cauza unui nonce invalid. Folosind abstracția contului, pot fi discutate diferite soluții pentru a ocoli cerința nonce secvențială. Aceasta se numește „abstracție nonce”.

    Astăzi, Starknet oferă abstractizare semnături. În viitor, Starknet va îmbogăți designul de abstractizare a contului curent.

  • Două exemple de funcționalitate personalizată a contului folosind abstracția contului

    1. Recuperare socială Acesta este un proces care vă permite să vă recuperați portofelul printr-o rețea socială la alegere atunci când îl pierdeți, îmbunătățind considerabil experiența tipică de recuperare a portofelului.

    2. Operați-vă contul cu recunoaștere facială Cu abstracția semnăturii, puteți semna tranzacții folosind hardware-ul nativ al telefonului, ceea ce face practic imposibil să preluați contul altui utilizator (chiar și în cazul în care telefonul în sine este furat).

    Aceste exemple demonstrează modul în care abstracția contului poate fi valorificată pentru a oferi utilizatorilor o experiență de gestionare a contului și a portofelului mai flexibilă, mai sigură și mai personalizată. Scriind o logică personalizată, utilizatorii pot adapta funcționalitatea contului în funcție de nevoile și preferințele lor, îmbunătățind securitatea, îmbunătățind și ușurința în utilizare.

Contractul de cont Starknet trebuie să includă următoarele două funcții

  • valida

  • a executa

Aceste funcții servesc diferitelor scopuri pentru a se asigura că numai proprietarul contului poate iniția tranzacții și că puteți fi taxat pentru resursele pe care le utilizați.

Tipurile de conturi Starknet sunt inspirate de Ethereum EIP-4337, unde în loc de EOA (Cont deținut extern) utilizați acum conturi de contract inteligente cu o logică de verificare arbitrară.

Prin utilizarea contractelor inteligente, se obține o flexibilitate completă în implementarea contului.

Deși nu este obligatoriu la nivel de protocol, comunitatea a dezvoltat o interfață de cont standard mai bogată. Acest standard a fost dezvoltat de OpenZeppelin, lucrând îndeaproape cu echipa portofel și alți dezvoltatori Starknet de bază.

Economie token:

Rolul jetoanelor:

  • comision de tranzacție:

    În prezent, taxele în StarkNet sunt plătite în Ethereum (ETH). Dar mai târziu, ne așteptăm ca taxele să fie plătite în întregime folosind jetoane StarkNet native. Pentru a sprijini o experiență bună pentru utilizator, mecanismele automate și descentralizate în lanț vor permite utilizatorilor să plătească taxe în ETH.

  • Angajament:

    Anumite servicii care sunt esențiale pentru viața și securitatea StarkNet pot necesita miza de jetoane StarkNet. Aceste servicii pot include comanda, atingerea unui consens intermediar de L2 înainte de a ajunge la rezultatele finale L1, servicii de atestare STARK și furnizarea de disponibilitate a datelor.

  • Guvernare:

    Propunerile de îmbunătățire a StarkNet vor necesita un prag minim de suport pentru token care urmează să fie definit ulterior. Toate modificările aduse protocolului care sunt esențiale pentru funcționarea, securitatea și întreținerea StarkNet necesită vot, fie direct, fie prin delegare. De exemplu, toate actualizările majore ale sistemului de operare StarkNet necesită aprobarea deținătorului de jeton.

Suma totală: 10 miliarde, distribuția inițială de jetoane: Token Economics

17% – investitori StarkWare

32,9% — Colaboratori principali: StarkWare și angajații și consultanții săi și partenerii de dezvoltare software StarkNet

StarkWare acordă 50,1% Fundației pentru următoarele scopuri:

  • 9% - Aprovizionare comunitară: Folosit pentru a recompensa oamenii care lucrează pe StarkNet și oferă suport pentru tehnologia de bază, cum ar fi cei care au folosit sistemul StarkEx L2 în trecut. Important este că toată reumplerea comunității se va baza pe lucrări verificabile care au fost finalizate în trecut. De exemplu, pentru utilizatorii StarkEx anteriori, alocările vor fi determinate pe baza utilizării verificabile a tehnologiei StarkEx care a avut loc înainte de 1 iunie 2022.

  • 9% — Rabat comunitar: parțial utilizat pentru a acoperi costul mutarii de la Ethereum la StarkNet. Pentru a preveni jocul, reducerile comunitare se aplică numai tranzacțiilor care au avut loc după anunțarea mecanismului de reduceri.

  • 12% — Finanțare pentru cercetare și dezvoltare, testare, implementare și întreținere a protocolului StarkNet.

  • 10% - rezervă strategică pentru finanțarea activităților ecosistemice în concordanță cu misiunea fundației.

  • 2% - donat instituțiilor și organizațiilor foarte respectate, cum ar fi universități, ONG-uri etc., decise în comun de deținătorii de token-uri StarkNet și Fundație.

  • 8,1% — Nealocate: rezervele financiare nealocate ale Fundației vor fi utilizate pentru a sprijini în continuare comunitatea StarkNet, cu metode de sprijin specifice determinate de comunitate.

Pentru a alinia stimulentele pe termen lung ale contributorilor și investitorilor de bază cu interesele comunității StarkNet și pentru a urma practicile ecosistemului descentralizat, toate jetoanele alocate contributorilor și investitorilor de bază vor fi supuse unei perioade de blocare de 4 ani. , cu lansare Linear și stâncă de un an.

Dacă sunteți utilizator final, utilizați StarkNet numai dacă vă satisface nevoile actuale. Folosiți-l pentru tranzacții și aplicații pe care le apreciați, mai degrabă decât să vă așteptați la randamente viitoare ale jetoanelor StarkNet. Atunci când sunt anunțate proviziile comunitare, acestea se vor referi numai la instantanee care au avut loc înainte de data anunțului, filtrarea și excluderea utilizării considerate abuzive și manipulatoare a rețelei pe baza informațiilor disponibile la momentul respectiv. Când sunt stabilite sisteme comunitare de reduceri, acestea nu se vor aplica niciodată tranzacțiilor care au avut loc înainte de anunțarea reducerii, astfel încât tranzacționarea astăzi în așteptarea unor reduceri viitoare este inutilă.

Pe baza analizei rezumative a economiei simbolurilor de mai sus:

Primele 9% din partea de furnizare a comunității pot fi transferate utilizatorilor, ceea ce înseamnă că utilizatorii vor fi împărțiți între cei 450 de milioane împreună cu cei care lucrează pentru Starknet și oferă suport tehnic și dezvoltare.

A doua reducere comunitară de 9% este utilizată pentru a subvenționa taxele de manipulare după ce regulile ulterioare de reducere sunt anunțate. Este inutil să plătiți taxele de manipulare înainte de anunțarea regulilor.

A treia rezervă strategică de 10% este utilizată pentru aplicații ecologice pe lanț și este alocată protocoalelor de aplicare ecologică.

model de afaceri

  1. StarkEx vinde servicii de motoare tehnologice personalizate și percepe taxe de service direct de la clienții cu nevoi de extindere. Este în esență un serviciu 2B personalizat.

  2. Creați o rețea StarkNet de Layer 2 descentralizată care acceptă implementarea independentă a dApps. Poate percepe utilizatorilor taxe de tranzacție de Layer 2 și, de asemenea, poate obține valoarea MEV prin mecanismul de licitație al secvenței pentru a incuba proiecte StarkNet.

Rezuma

StarkWare este una dintre cele mai bune companii din circuitul zk rollups, cu produse inclusiv StarkEX și StarkNet.

StarkEx este un motor de extensie Layer2 care oferă servicii tehnice pentru dApps.

StarkNet este o soluție Layer-2 mai generală, completă, fără permisiune.

Există mai mult de 80 de membri ai echipei, iar membrii de bază sunt destul de atragatori. Eli Ben-Sasson este savantul fondator al Zcash și inventatorul zkSNARK evaluarea actuală ajunge la 8 miliarde de capitaluri de risc de top și indivizi precum paradigma, Pantera, polychain și Buterin sunt toți investitori ai StarkWare.

În ceea ce privește aplicațiile ecologice, deoarece se folosește limbajul Cairo, nu este compatibil cu EVM, astfel că progresul în dezvoltarea ecologică va fi mai lent. dar actuala Experiența aplicației nu este foarte bună și există încă un decalaj între tehnologie și realitate. Sper să văd o dezvoltare mai bună a Starknet în viitor.