Scritto da: @Yinan_cycle
(Questo articolo è stato pubblicato per la prima volta su PANews: StarkWare Empire: An Analysis of the Innovation Journey of StarkEx e StarkNet)
sfondo
A partire dal 2018, StarkWare è stata pioniera nell'uso della prova di validità STARK per risolvere il problema della scalabilità di Ethereum. Ha lanciato StarkEx sulla base di un modello di business SaaS, ha creato il linguaggio di programmazione Cairo e ha costruito Starknet, la prima rete decentralizzata in produzione che consente di scrivere logica personalizzata.
StarkWare si impegna ad avere un duplice focus su tecnologia, matematica, innovazione e fornitura di prodotti; supportare altri team che fanno avanzare Ethereum e/o STARK; e sforzarsi di rendere il prodotto open source, decentralizzato e focalizzato sul rendere STARK un bene pubblico.
In futuro, StarkWare lavorerà per rendere Starknet un rollup di validità decentralizzato senza autorizzazione governato dalla Starknet Foundation e si concentrerà sui vari componenti della decentralizzazione di Starknet, come Prover, Sequencer e governance.
La tecnologia STARK si basa su prove, in particolare prove di integrità. STARK utilizza la matematica per garantire l'integrità, assicurando che i calcoli vengano eseguiti correttamente anche quando nessuno sta guardando. Il concetto di questa tecnica è iniziato con un articolo del 1991 di László Babai, Lance Fortnow, Leonid Levin e Mario Szegedy, che introduceva il concetto di utilizzo di un singolo computer affidabile per monitorare un gruppo di supercomputer inaffidabili. La tecnologia, chiamata "PCP", utilizza la matematica per monitorare e garantire l'integrità di calcoli di grandi dimensioni.
La tecnologia STARK è una versione migliorata della tecnologia PCP che consente ai piccoli utenti di verificare e garantire il corretto funzionamento di grandi aziende, monopoli o governi. La blockchain ripristina la natura peer-to-peer del cambio valuta, eliminando la necessità di intermediari fidati. Ethereum porta questo concetto ancora oltre, consentendo la creazione di programmi universali che costituiscono la base di un’economia sociale.
Starkware
StarkWare è una delle migliori aziende nel campo dei rollup zk. È stata co-fondata dal professor Eli Ben-Sasson dell'Israel Institute of Technology (co-inventore di zk SNARK e zk STARK). l'industria blockchain. Attualmente sono sviluppati due prodotti: StarkEx e StarkNet, entrambi presentati di seguito.
Squadra Starkware
Eli Ben-Sasson: co-fondatore e capo scienziato, professore di informatica presso il Technion-Israel Institute of Technology. Scienziato fondatore di Zcash e inventore di zkSNARKs.
Alessandro Chiesa: Co-fondatore e Chief Scientist, Professore di Informatica presso l'Università della California, Berkeley. Scienziato fondatore di Zcash, co-inventore di zk-SNARKs e sviluppatore principale di libsnark.
Uri Kolodny: Co-fondatore e CEO, Uri è un imprenditore seriale con una ricca esperienza commerciale e bravo nella cooperazione.
Michael Riabzev: co-fondatore e architetto capo. PhD presso l'Israel Institute of Technology, ha lavorato presso Intel e IBM.
Oren Katz: Vicepresidente di Ingegneria. Laureato in Informatica presso l'Università Ebraica, MBA di Tel Aviv, è un ingegnere senior con 20 anni di esperienza.
Finanziamento
La società ha attualmente un valore di 8 miliardi di dollari e ha ricevuto il pieno sostegno da capitali come Vitalik, Paradigm e Sequioa. È il team con la valutazione più alta nel campo dell'espansione.
StarkEx
Un motore di ridimensionamento Layer-2 specifico per l'applicazione basato sulla blockchain di Ethereum, progettato per risolvere i problemi di scalabilità delle reti blockchain Layer-1 come Ethereum. StarkEx consente transazioni veloci e a basso costo senza compromettere la sicurezza, la privacy e l'autocustodia utilizzando un sistema di crittografia avanzato chiamato prove STARK.
Fornisce una serie di processi applicativi per implementare calcoli off-chain economici, impacchettando più transazioni in una prova STARK e quindi verificandole sulla catena, riducendo il costo medio del gas di ciascuna transazione. Il principio di funzionamento del motore di espansione StarkEx comprende quattro passaggi: elaborazione batch, verifica e aggiornamento, generazione di prove e verifica on-chain.
StarkEx è stato implementato con successo in molteplici applicazioni come dYdX, Immutable, Sorare, DeversiFi e Celer.
La differenza da StarkNet è:
StarkEx e StarkNet sono due diverse tecnologie sviluppate da StarkWare. Entrambi utilizzano la tecnologia di prova a conoscenza zero STARK, ma hanno obiettivi e usi diversi.
StarkEx: StarkEx è un motore di ridimensionamento Layer-2 specifico per l'applicazione focalizzato sull'ottimizzazione delle prestazioni di una singola applicazione sulla blockchain di Ethereum. Consente transazioni più veloci e a costi inferiori raggruppando più transazioni e verificandole off-chain. Utilizzato principalmente negli scambi decentralizzati (DEX), nei mercati e nei giochi NFT, ecc. Utilizzando la tecnologia di prova STARK, StarkEx offre un'esperienza di trading sicura, efficiente e a basso costo.
StarkNet è una soluzione Layer-2 completa, più generale e senza autorizzazione che fornisce all'intero ecosistema Ethereum una piattaforma informatica decentralizzata in cui gli sviluppatori possono implementare contratti intelligenti scritti nella lingua del Cairo. StarkNet supporta l'interazione con altri contratti, consente una ricca combinazione di protocolli e può interagire con i contratti Ethereum tramite messaggistica asincrona. L'obiettivo è fornire un ambiente scalabile, economico e sicuro su cui gli sviluppatori possano creare e distribuire contratti intelligenti. A differenza di StarkEx, StarkNet può essere visto come un sistema operativo Layer-2 completo che consente agli sviluppatori di creare una varietà di applicazioni decentralizzate, non solo soluzioni per scopi specifici.
In breve, StarkEx è un motore di estensione Layer-2 specifico per l'applicazione che si concentra sull'ottimizzazione delle prestazioni di applicazioni specifiche, mentre StarkNet è una soluzione Layer-2 più generale e completa che mira a fornire una soluzione decentralizzata per l'intero ecosistema Ethereum centralizzato piattaforma.
Starknet
Starknet è una rete di rollup di validità decentralizzata e senza autorizzazione (nota anche come "ZK-Rollup"). Funziona come una rete L2 su Ethereum, consentendo a qualsiasi dApp di ottenere un'elaborazione infinitamente scalabile senza compromettere la componibilità e la sicurezza di Ethereum, grazie a Starknet che si affida al sistema di prova Cryptoproof più sicuro e scalabile STARK.
I contratti Starknet e il sistema operativo Starknet sono scritti al Cairo, consentendo l'implementazione e la scalabilità di qualsiasi caso d'uso, indipendentemente dalla logica aziendale. Starknet è una soluzione di rete decentralizzata di livello 2 progettata per fornire scalabilità e prestazioni più elevate per le applicazioni decentralizzate (dApp). Funzionando su Ethereum, sfrutta l'infrastruttura e la sicurezza esistenti fornendo allo stesso tempo una maggiore potenza di calcolo.
Cairo è un linguaggio di programmazione progettato specificamente per Starknet per semplificare lo sviluppo e l'implementazione di contratti intelligenti. Utilizzando Cairo, gli sviluppatori possono creare facilmente applicazioni altamente scalabili per una varietà di casi d'uso, tra cui finanza, giochi, catena di fornitura e altro ancora.
Starknet è un rollup di validità, il che significa che l'esecuzione all'interno di ciascun blocco deve essere dimostrata, ed è qui che gli STARK tornano utili. Tuttavia, le prove STARK possono risolvere affermazioni formulate in un linguaggio di vincoli polinomiali e non hanno conoscenza dell'esecuzione del contratto intelligente. Per superare questa lacuna, è stato sviluppato Il Cairo.
Nel complesso, Starknet è una soluzione di rete di livello 2 ricca di potenziale in grado di offrire alle dApp esistenti un importante passo avanti in termini di scalabilità e prestazioni. Adottando il sistema di prova crittografica STARK e il linguaggio di programmazione Cairo, Starknet fornisce agli sviluppatori una piattaforma potente e flessibile per soddisfare le varie esigenze aziendali.
aggiornamento della nuova versione
Cosa succede dopo? Starknet Alpha v0.11.0: inizia la transizione a Cairo 1.0
Ulteriori miglioramenti linguistici a Cairo 1.0
Miglioramenti delle prestazioni: come promesso, Starknet continua a fare progressi verso un miglioramento significativo del TPS. Il prossimo passo nella roadmap è il passaggio ai sequenziatori Rust, che sono sviluppati pubblicamente sotto la licenza Apache 2.0. Il nuovo sequenziatore utilizzerà i full node Rust CairoVM e Papyrus per formare il Performance Trio.
DA fuori catena
In questa versione, Starknet gestisce la parte di calcolo dei costi di transazione. In una prossima versione verranno affrontati i costi dei dati on-chain, che rappresentano il costo principale della transazione media odierna.
Ecco un’ulteriore spiegazione del sequenziatore di Starknet:
Sequencer si riferisce allo StarkNet Sequencer, che fa parte di StarkNet e mira ad aumentare significativamente il throughput (numero di transazioni al secondo) passando a un sequenziatore Rust, utilizzando i nodi completi Rust CairoVM e Papyrus, formando così un "trio di prestazioni" ".
Il "trio delle prestazioni" si riferisce ai tre componenti dello StarkNet Sequencer: il sequenziatore Rust, Rust CairoVM e il full node Papyrus. Tra questi, il sequenziatore Rust è il nucleo di StarkNet Sequencer, che è responsabile dell'elaborazione delle transazioni e della generazione di blocchi. Rust CairoVM è una macchina virtuale in grado di eseguire contratti intelligenti su StarkNet. Il full node Papyrus è un nodo nella rete StarkNet che memorizza tutti i dati su StarkNet e può elaborare le transazioni. Queste tre parti lavorano insieme per aumentare significativamente il throughput di StarkNet (numero di transazioni al secondo).
Starknet v0.11.0 (attualmente solo sul testnet Goerli)
Una volta terminato il periodo di test di Goerli, Starknet v0.11.0 verrà rilasciato sulla rete principale.
Starknet v0.10.3 (22-12-12)
Prestazioni: separare i calcoli dell'impegno statale dall'esecuzione della transazione
Aggiunto il comando starknet-class-hash per calcolare l'hash della classe dei contratti Starknet compilati
Starknet v0.10.2 (29/11/22)
Questa versione introduce la parallelizzazione del sequenziatore!
Un nuovo endpoint stima_fee_bulk viene aggiunto al gateway feeder. Ciò consentirà di stimare le commissioni per più transazioni contemporaneamente, in cui ciascuna transazione viene eseguita in relazione allo stato risultante della transazione precedente applicata.
Starknet v0.10.1 (25/10/22)
Aggiungi la transazione DeployAccount (sostituirà la transazione Deploy per distribuire il contratto dell'account). Per usarlo, dovresti prima aggiungere fondi sufficienti all'indirizzo del tuo conto per coprire le commissioni di transazione, quindi puoi chiamare DeployAccount
Dividere il comando starknet deploy_accountCLI in starknet new_account e starknet deploy_account
Si prevede che i contratti degli account distribuiti in questo modo implementino il punto di ingresso validate_deployDeployAccount(), che dovrebbe verificare la firma della transazione
Calcolo delle tariffe L1 migliorato: calcola le tariffe in base alle differenze nello stato di archiviazione
API: entry_point_type rimuove i campi dalle informazioni sulla transazione
Starknet v0.10.0 (05-09-22)
Questa versione introduce i passaggi successivi nella progettazione delle astrazioni degli account Starknet, in particolare la separazione di verifica/esecuzione.
Starknet v0.9.1 (20/07/22)
Modifiche all'API
CLI StarNet
Starknet v0.9.0 (6 giugno 22)
Questa versione porta il paradigma classe/istanza del contratto su Starknet
Informazioni sull'account
Struttura del conto Ethereum
In Ethereum, gli account utente individuali sono chiamati Account di proprietà esterna (EOA).
Gli EOA differiscono dai contratti intelligenti in quanto non sono controllati da un codice. L'EOA è determinata da una coppia di chiavi privata e pubblica.
L'indirizzo del conto deriva da queste chiavi e le transazioni possono essere avviate dal conto solo se si dispone della chiave privata. Mentre i contratti Ethereum sono “passivi”, nel senso che possono cambiare solo quando vengono richiamati in una transazione, gli EOA possono avviare transazioni.
Nonostante la loro semplicità, gli EOA presentano un grosso svantaggio, ovvero che non esiste flessibilità nel comportamento dell’account. Il protocollo Ethereum stabilisce quando le transazioni avviate dagli EOA sono valide (lo schema di firma è fisso). In particolare, il controllo della chiave pubblica dà il controllo completo sull'account. Sebbene in teoria questo sia un metodo sicuro di gestione dell'account, in pratica presenta alcuni svantaggi, come la necessità di mantenere sicura la frase seed rendendola accessibile all'utente e la flessibilità limitata con le funzionalità del portafoglio.
EIP-4337 è una proposta di progettazione per Ethereum che delinea un'astrazione di account per gestire tutti gli account attraverso contratti intelligenti dedicati sulla rete Ethereum per aumentare la flessibilità e l'usabilità. Puoi aggiungere l'astrazione dell'account a Ethereum aggiungendo logica personalizzata oltre alla funzionalità EOA di base.
Che cos'è l'astrazione dell'account?
L’idea alla base dell’astrazione degli account è quella di consentire una maggiore flessibilità nella gestione degli account, piuttosto che determinarne il comportamento a livello di protocollo. Ciò può essere ottenuto introducendo contratti di account: contratti intelligenti con logica programmabile che determinano il comportamento dell'account dell'utente.
Utilizzando l'astrazione dell'account, ora puoi programmare la funzionalità del tuo account.
Ad esempio, puoi:
Determina cosa significa una firma valida o con quali contratti il tuo account può interagire. Questa si chiama "astrazione della firma"
Pagare le commissioni di transazione in token diversi: a volte viene chiamata "astrazione delle commissioni"
Progetta il tuo meccanismo di protezione dalla riproduzione e consenti l'invio in parallelo di più transazioni non correlate. Confrontalo con la soluzione sequenziale nonce utilizzata in Ethereum, che fa sì che le transazioni siano di natura sequenziale, anche se vuoi inviare due transazioni in parallelo, devi attendere alcune conferme della prima transazione prima di inviare la seconda. Due transazioni. In caso contrario, la seconda transazione potrebbe essere rifiutata a causa di un nonce non valido. Utilizzando l'astrazione dell'account, è possibile discutere diverse soluzioni per aggirare il requisito del nonce sequenziale. Questo si chiama "astrazione nonce".
Oggi Starknet fornisce l'astrazione della firma. In futuro, Starknet arricchirà il progetto di astrazione dei conti correnti.
Due esempi di funzionalità di account personalizzato utilizzando l'astrazione dell'account
Recupero Social Questo è un processo che ti consente di recuperare il tuo portafoglio tramite un social network di tua scelta quando lo perdi, migliorando notevolmente la tipica esperienza di recupero del portafoglio.
Gestisci il tuo account con il riconoscimento facciale Con l'astrazione della firma, puoi firmare transazioni utilizzando l'hardware nativo del tuo telefono, rendendo praticamente impossibile impossessarsi dell'account di un altro utente (anche nel caso in cui il telefono stesso venga rubato).
Questi esempi dimostrano come è possibile sfruttare l'astrazione dell'account per fornire agli utenti un'esperienza di gestione del portafoglio e dell'account più flessibile, sicura e altamente personalizzata. Scrivendo una logica personalizzata, gli utenti possono adattare la funzionalità dell'account alle proprie esigenze e preferenze, migliorando la sicurezza e allo stesso tempo la facilità d'uso.
Il contratto del conto Starknet deve includere le seguenti due funzioni
convalidare
eseguire
Queste funzioni hanno scopi diversi per garantire che solo il proprietario dell'account possa avviare transazioni e che ti possano essere addebitate le risorse che utilizzi.
I tipi di account di Starknet si ispirano a Ethereum EIP-4337, dove invece dell'EOA (account di proprietà esterna) ora utilizzi account con contratto intelligente con logica di verifica arbitraria.
Utilizzando i contratti intelligenti, si ottiene la completa flessibilità nell'implementazione dell'account.
Sebbene non sia obbligatorio a livello di protocollo, la comunità ha sviluppato un'interfaccia per account standard più ricca. Questo standard è stato sviluppato da OpenZeppelin, lavorando a stretto contatto con il team del portafoglio e altri sviluppatori principali di Starknet.
Economia dei token:
Il ruolo dei token:
Costo della transazione:
Attualmente, le commissioni su StarkNet vengono pagate in Ethereum (ETH). Ma in seguito, prevediamo che le commissioni verranno pagate interamente utilizzando i token StarkNet nativi. Per supportare una buona esperienza utente, meccanismi on-chain automatizzati e decentralizzati consentiranno agli utenti di pagare le commissioni in ETH.
Impegno:
Alcuni servizi fondamentali per l'attività e la sicurezza di StarkNet potrebbero richiedere lo staking di token StarkNet. Questi servizi possono includere l'ordinazione, il raggiungimento del consenso provvisorio della L2 prima di raggiungere i risultati finali della L1, i servizi di attestazione STARK e la fornitura della disponibilità dei dati.
Governo:
Le proposte per migliorare StarkNet richiederanno una soglia minima di supporto dei token da definire in seguito. Tutte le modifiche al protocollo che sono fondamentali per l'attività, la sicurezza e il mantenimento di StarkNet richiedono il voto, direttamente o tramite delega. Ad esempio, tutti i principali aggiornamenti al sistema operativo StarkNet richiedono l'approvazione del titolare del token.
Importo totale: 10 miliardi, distribuzione iniziale dei token: Token Economics
17%: investitori StarkWare
32,9% — Collaboratori principali: StarkWare, i suoi dipendenti e consulenti e partner di sviluppo software StarkNet
StarkWare concede il 50,1% alla Fondazione per i seguenti scopi:
9% - Fornitura comunitaria: utilizzato per premiare le persone che lavorano su StarkNet e fornire supporto per la sua tecnologia sottostante, come coloro che hanno utilizzato il sistema StarkEx L2 in passato. È importante sottolineare che tutto il rifornimento della comunità sarà basato sul lavoro verificabile che è stato completato in passato. Ad esempio, per i precedenti utenti StarkEx, le allocazioni saranno determinate in base all'utilizzo verificabile della tecnologia StarkEx avvenuto prima del 1 giugno 2022.
9%—Sconto comunitario: parzialmente utilizzato per coprire il costo del passaggio da Ethereum a StarkNet. Per prevenire la gamification, gli sconti della community si applicano solo alle transazioni avvenute dopo l’annuncio del meccanismo di sconto.
12%: finanziamenti per ricerca e sviluppo, test, implementazione e manutenzione del protocollo StarkNet.
10% - riserva strategica per finanziare le attività ecosistemiche coerenti con la missione della fondazione.
2% — donato a istituzioni e organizzazioni di tutto rispetto come università, ONG, ecc., deciso congiuntamente dai possessori di token StarkNet e dalla Fondazione.
8,1%—Non allocato: le riserve finanziarie non allocate della Fondazione verranno utilizzate per sostenere ulteriormente la comunità StarkNet, con metodi di supporto specifici determinati dalla comunità.
Al fine di allineare gli incentivi a lungo termine dei principali contributori e investitori con gli interessi della comunità StarkNet e seguire le pratiche dell'ecosistema decentralizzato, tutti i token assegnati ai principali contributori e investitori saranno soggetti a un periodo di lock-up di 4 anni , con release Linear e cliff di un anno.
Se sei un utente finale, utilizza StarkNet solo se soddisfa le tue esigenze attuali. Usalo per transazioni e applicazioni che apprezzi piuttosto che aspettarti rendimenti futuri dai token StarkNet. Quando verranno annunciate le forniture della comunità, si riferiranno solo a istantanee avvenute prima della data di annuncio, filtrando ed escludendo l'utilizzo considerato abusivo e manipolativo della rete in base alle informazioni disponibili in quel momento. Quando vengono istituiti sistemi di sconti comunitari, non si applicheranno mai alle transazioni avvenute prima che lo sconto fosse annunciato, quindi commerciare oggi in attesa di sconti futuri è inutile.
Sulla base dell’analisi riepilogativa dell’economia dei token di cui sopra:
Il primo 9% della fornitura della comunità potrebbe essere distribuito agli utenti, il che significa che gli utenti saranno divisi tra i 450 milioni insieme a coloro che lavorano per Starknet e forniscono supporto tecnico e sviluppo.
Il secondo sconto comunitario del 9% viene utilizzato per sovvenzionare le commissioni di gestione dopo l'annuncio delle successive regole di sconto. È inutile pagare le commissioni di gestione prima che le regole vengano annunciate.
La terza riserva strategica pari al 10% è utilizzata per applicazioni ecologiche di filiera ed è destinata a protocolli di applicazione ecologica.
modello di business
StarkEx vende servizi di motori tecnologici personalizzati e addebita commissioni di servizio direttamente ai clienti con esigenze di espansione. Si tratta essenzialmente di un servizio 2B personalizzato.
Creare una rete decentralizzata di livello 2 StarkNet che supporti la distribuzione indipendente di dApp. Può addebitare agli utenti commissioni di transazione di livello 2 e può anche ottenere il valore di MEV attraverso il meccanismo di asta del sequenziatore. Può anche emettere token in futuro e utilizzare tecnologia e fondi incubare progetti StarkNet Guidare lo sviluppo ecologico attraverso la tokenomics.
Riassumere
StarkWare è una delle migliori aziende nel circuito zk rollup, con prodotti tra cui StarkEX e StarkNet.
StarkEx è un motore di estensione Layer2 che fornisce servizi tecnici per dApp.
StarkNet è una soluzione Layer-2 più generale e completa senza autorizzazione.
Ci sono più di 80 membri del team e i membri principali sono piuttosto accattivanti. Eli Ben-Sasson è lo scienziato fondatore di Zcash e l'inventore di zkSNARKs. Ha una ricerca e un'influenza molto approfondite nel campo ZK-Rollup, e nel suo la valutazione attuale raggiunge gli 8 miliardi. I migliori VC e individui come paradigm, Pantera, polychain e Buterin sono tutti investitori di StarkWare.
In termini di applicazioni ecologiche, poiché viene utilizzata la lingua del Cairo, non è compatibile con l'EVM, quindi il progresso nello sviluppo ecologico sarà più lento. Attualmente sta iniziando la transizione al Cairo 1.0 e lo sviluppo verso un TPS più elevato. ma l'attuale esperienza applicativa non è molto fluida e c'è ancora un divario tra tecnologia e realtà. Spero di vedere un migliore sviluppo di Starknet in futuro.