Écrit par : @Yinan_cycle
(Cet article a été publié pour la première fois sur PANews : StarkWare Empire : An Analysis of the Innovation Journey of StarkEx and StarkNet)
arrière-plan
À partir de 2018, StarkWare a été le pionnier de l’utilisation de la preuve de validité STARK pour résoudre le problème d’évolutivité d’Ethereum. Elle a lancé StarkEx sur la base d'un modèle commercial SaaS, créé le langage de programmation Cairo et construit Starknet, le premier réseau décentralisé en production permettant d'écrire une logique personnalisée.
StarkWare s'engage à se concentrer sur la technologie, les mathématiques, l'innovation et la livraison de produits ; à soutenir d'autres équipes qui font progresser Ethereum et/ou STARK et à s'efforcer de rendre le produit open source, décentralisé et axé sur la transformation de STARK en un bien public.
À l'avenir, StarkWare s'efforcera de faire de Starknet un cumul de validité décentralisé sans autorisation régi par la Fondation Starknet et se concentrera sur les différents composants de la décentralisation de Starknet, tels que le Prover, le Sequencer et la gouvernance.
La technologie STARK s'appuie sur des preuves, notamment des preuves d'intégrité. STARK utilise les mathématiques pour garantir l'intégrité, garantissant que les calculs sont effectués correctement même lorsque personne ne regarde. Le concept de cette technique a commencé avec un article de 1991 de László Babai, Lance Fortnow, Leonid Levin et Mario Szegedy, qui introduisait le concept de l'utilisation d'un seul ordinateur fiable pour surveiller un groupe de superordinateurs peu fiables. La technologie, appelée « PCP », utilise les mathématiques pour surveiller et garantir l'intégrité des calculs volumineux.
La technologie STARK est une version améliorée de la technologie PCP qui permet aux petits utilisateurs de vérifier et d'assurer le bon fonctionnement des grandes entreprises, des monopoles ou des gouvernements. La blockchain rétablit la nature peer-to-peer du change de devises, éliminant ainsi le besoin d’intermédiaires de confiance. Ethereum va encore plus loin dans ce concept, en permettant la création de programmes universels qui constituent la base d’une économie sociale.
Starware
StarkWare est l'une des meilleures entreprises dans le domaine des rollups zk. Elle a été cofondée par le professeur Eli Ben-Sasson de l'Institut israélien de technologie (co-inventeur de zk SNARK et zk STARK). l'industrie de la blockchain. Deux produits sont actuellement développés : StarkEx et StarkNet, tous deux présentés ci-dessous.
Équipe Starkware
Eli Ben-Sasson : co-fondateur et scientifique en chef, professeur d'informatique à l'Institut de technologie Technion-Israël. Scientifique fondateur de Zcash et inventeur des zkSNARK.
Alessandro Chiesa : co-fondateur et scientifique en chef, professeur d'informatique à l'Université de Californie à Berkeley. Scientifique fondateur de Zcash, co-inventeur de zk-SNARK et développeur principal de libsnark.
Uri Kolodny : Co-fondateur et PDG, Uri est un entrepreneur en série doté d'une riche expérience commerciale et doué pour la coopération.
Michael Riabzev : co-fondateur et architecte en chef. Docteur de l'Institut israélien de technologie, a travaillé chez Intel et IBM.
Oren Katz : vice-président de l'ingénierie. Diplômé de l'Université hébraïque en informatique, MBA de Tel Aviv, et ingénieur senior avec 20 ans d'expérience.
Financement
La société est actuellement évaluée à 8 milliards de dollars américains et a reçu le soutien total de capitaux tels que Vitalik, Paradigm et Sequioa. C'est l'équipe la plus valorisée dans le domaine de l'expansion.
StarkEx
Un moteur de mise à l'échelle de couche 2 spécifique à l'application basé sur la blockchain Ethereum, conçu pour résoudre les problèmes d'évolutivité des réseaux de blockchain de couche 1 tels qu'Ethereum. StarkEx permet des transactions rapides et peu coûteuses sans compromettre la sécurité, la confidentialité et l'auto-conservation en utilisant un système de cryptographie avancé appelé preuves STARK.
Il fournit une série de processus d'application pour mettre en œuvre des calculs hors chaîne bon marché, regrouper plusieurs transactions dans une preuve STARK, puis les vérifier sur la chaîne, réduisant ainsi le coût moyen du gaz de chaque transaction. Le principe de fonctionnement du moteur d'expansion StarkEx comprend quatre étapes : traitement par lots, vérification et mise à jour, génération de preuves et vérification en chaîne.
StarkEx a été déployé avec succès dans plusieurs applications telles que dYdX, Immutable, Sorare, DeversiFi et Celer.
La différence avec StarkNet est :
StarkEx et StarkNet sont deux technologies différentes développées par StarkWare. Elles utilisent toutes deux la technologie de preuve sans connaissance STARK, mais ont des objectifs et des utilisations différents.
StarkEx : StarkEx est un moteur de mise à l'échelle de couche 2 spécifique aux applications, axé sur l'optimisation des performances d'une seule application sur la blockchain Ethereum. Il permet des transactions plus rapides et moins coûteuses en regroupant plusieurs transactions et en les vérifiant hors chaîne. Principalement utilisé dans les échanges décentralisés (DEX), les marchés et jeux NFT, etc. En utilisant la technologie STARK proof, StarkEx offre une expérience de trading sécurisée, efficace et peu coûteuse.
StarkNet est une solution de couche 2 complète, plus générale et sans autorisation, qui fournit à l'ensemble de l'écosystème Ethereum une plate-forme informatique décentralisée sur laquelle les développeurs peuvent déployer des contrats intelligents écrits dans la langue du Caire. StarkNet prend en charge l'interaction avec d'autres contrats, permet une riche combinaison de protocoles et peut interagir avec les contrats Ethereum via une messagerie asynchrone. L’objectif est de fournir un environnement évolutif, peu coûteux et sécurisé sur lequel les développeurs peuvent créer et déployer des contrats intelligents. Contrairement à StarkEx, StarkNet peut être considéré comme un système d'exploitation complet de couche 2 qui permet aux développeurs de créer une variété d'applications décentralisées, et pas seulement des solutions à des fins spécifiques.
En bref, StarkEx est un moteur d'extension de couche 2 spécifique à une application qui se concentre sur l'optimisation des performances d'applications spécifiques, tandis que StarkNet est une solution de couche 2 plus générale et complète qui vise à fournir une solution décentralisée pour l'ensemble de l'écosystème informatique centralisé d'Ethereum. plate-forme.
Starknet
Starknet est un réseau de cumul de validité décentralisé et sans autorisation (également connu sous le nom de « ZK-Rollup »). Il fonctionne comme un réseau L2 sur Ethereum, permettant à n'importe quelle dApp d'atteindre une informatique infiniment évolutive sans compromettre la composabilité et la sécurité d'Ethereum, grâce à Starknet qui s'appuie sur le système de preuve Cryptoproof le plus sécurisé et évolutif STARK.
Les contrats Starknet et le système d'exploitation Starknet sont rédigés au Caire, ce qui permet le déploiement et la mise à l'échelle de n'importe quel cas d'utilisation, quelle que soit la logique métier. Starknet est une solution réseau décentralisée de couche 2 conçue pour offrir une évolutivité et des performances plus élevées pour les applications décentralisées (dApps). En fonctionnant sur Ethereum, il exploite l’infrastructure et la sécurité existantes tout en offrant une puissance de calcul accrue.
Cairo est un langage de programmation conçu spécifiquement pour Starknet pour simplifier le développement et le déploiement de contrats intelligents. En utilisant Cairo, les développeurs peuvent facilement créer des applications hautement évolutives pour une variété de cas d'utilisation, notamment la finance, les jeux, la chaîne d'approvisionnement, etc.
Starknet est un cumul de validité, ce qui signifie que l'exécution au sein de chaque bloc doit être prouvée, et c'est là que les preuves STARK sont utiles. Cependant, les preuves STARK peuvent résoudre des instructions formulées dans un langage de contraintes polynomiales et n'ont aucune connaissance de l'exécution de contrats intelligents. Pour combler cette lacune, le Caire a été développé.
Dans l’ensemble, Starknet est une solution réseau de couche 2 pleine de potentiel qui peut donner aux dApps existantes une avancée majeure en termes d’évolutivité et de performances. En adoptant le système de preuve cryptographique STARK et le langage de programmation Cairo, Starknet offre aux développeurs une plateforme puissante et flexible pour répondre aux différents besoins des entreprises.
mise à jour de la nouvelle version
Que se passe-t-il ensuite ? Starknet Alpha v0.11.0 : Début de la transition vers Cairo 1.0
Autres améliorations linguistiques du Caire 1.0
Améliorations des performances : comme promis, Starknet continue de progresser vers une amélioration significative du TPS. La prochaine étape de la feuille de route est la transition vers les séquenceurs Rust, qui sont développés publiquement sous la licence Apache 2.0. Le nouveau séquenceur utilisera les nœuds complets Rust CairoVM et Papyrus pour former le Performance Trio.
DA hors chaîne
Dans cette version, Starknet gère la partie calcul des coûts de transaction. Dans une prochaine version, les coûts des données en chaîne seront abordés, qui constituent aujourd'hui le principal coût d'une transaction moyenne.
Voici une explication supplémentaire du séquenceur de Starknet :
Sequencer fait référence au StarkNet Sequencer, qui fait partie de StarkNet et vise à augmenter considérablement le débit (nombre de transactions par seconde) en passant à un séquenceur Rust, utilisant les nœuds complets Rust CairoVM et Papyrus, formant ainsi un « trio de performances ».
Le « trio de performances » fait référence aux trois composants du StarkNet Sequencer : le séquenceur Rust, Rust CairoVM et le nœud complet Papyrus. Parmi eux, le séquenceur Rust est le cœur de StarkNet Sequencer, qui est responsable du traitement des transactions et de la génération de blocs. Rust CairoVM est une machine virtuelle capable d'exécuter des contrats intelligents sur StarkNet. Le nœud complet Papyrus est un nœud du réseau StarkNet qui stocke toutes les données sur StarkNet et peut traiter les transactions. Ces trois parties fonctionnent ensemble pour augmenter considérablement le débit de StarkNet (nombre de transactions par seconde).
Starknet v0.11.0 (actuellement uniquement sur Goerli testnet)
Une fois la période de test Goerli terminée, Starknet v0.11.0 sera publié sur le réseau principal.
Starknet v0.10.3 (22-12-12)
Performance – Séparez les calculs d'engagement de l'État de l'exécution des transactions.
Ajout de la commande starknet-class-hash pour calculer le hachage de classe des contrats Starknet compilés
Starknet v0.10.2 (29/11/22)
Cette version introduit la parallélisation des séquenceurs !
Un nouveau point de terminaisonestimate_fee_bulk est ajouté à la passerelle de connexion. Cela permettra d'estimer les frais pour plusieurs transactions simultanément, où chaque transaction est exécutée par rapport à l'état résultant de la transaction précédente appliquée.
Starknet v0.10.1 (25/10/22)
Ajoutez la transaction DeployAccount (elle remplacera la transaction Deploy pour déployer le contrat de compte). Pour l'utiliser, vous devez d'abord ajouter suffisamment de fonds à l'adresse de votre compte pour couvrir les frais de transaction, puis vous pouvez appeler DeployAccount.
Divisez la commande starknet déployer_accountCLI en starknet new_account et starknet déployer_account
Il est prévu que les contrats de compte déployés de cette manière implémentent le point d'entrée validate_deployDeployAccount(), qui doit vérifier la signature de la transaction.
Calcul des frais L1 amélioré : calculez les frais en fonction des différences dans l'état de stockage
API : Entry_point_type supprime les champs des informations de transaction
Starknet v0.10.0 (05-09-22)
Cette version présente les prochaines étapes de la conception des abstractions de compte Starknet, en particulier la séparation vérification/exécution.
Starknet v0.9.1 (20/07/22)
Modifications de l'API
CLI StarNet
Starknet v0.9.0 (6 et 22 juin)
Cette version apporte le paradigme classe/instance de contrat à Starknet
À propos du compte
Structure du compte Ethereum
Dans Ethereum, les comptes d’utilisateurs individuels sont appelés comptes externes (EOA).
Les EOA diffèrent des contrats intelligents dans la mesure où ils ne sont pas contrôlés par du code. EOA est déterminé par une paire de clés privées et publiques.
L'adresse du compte est dérivée de ces clés, et les transactions ne peuvent être initiées à partir du compte que si l'on dispose de la clé privée. Alors que les contrats Ethereum sont « passifs », ce qui signifie qu’ils ne peuvent changer que lorsqu’ils sont appelés dans une transaction, les EOA peuvent initier des transactions.
Malgré leur simplicité, les EOA présentent un inconvénient majeur, à savoir qu’il n’y a aucune flexibilité dans le comportement du compte. Le protocole Ethereum dicte le moment où les transactions initiées par les EOA sont valides (le schéma de signature est fixe). En particulier, le contrôle de la clé publique donne un contrôle complet sur le compte. Bien qu'en théorie il s'agisse d'une méthode sécurisée de gestion de compte, en pratique, elle présente certains inconvénients, tels que l'obligation de conserver votre phrase de départ en sécurité tout en la rendant accessible, et une flexibilité limitée avec les fonctionnalités du portefeuille.
EIP-4337 est une proposition de conception pour Ethereum qui décrit une abstraction de compte pour gérer tous les comptes via des contrats intelligents dédiés sur le réseau Ethereum afin d'augmenter la flexibilité et la convivialité. Vous pouvez ajouter une abstraction de compte à Ethereum en ajoutant une logique personnalisée en plus des fonctionnalités EOA de base.
Qu’est-ce que l’abstraction de compte ?
L'idée derrière l'abstraction des comptes est de permettre plus de flexibilité dans la gestion des comptes, plutôt que de déterminer leur comportement au niveau du protocole. Ceci peut être réalisé en introduisant des contrats de compte – des contrats intelligents avec une logique programmable qui déterminent le comportement du compte de l'utilisateur.
En utilisant l'abstraction de compte, vous pouvez désormais programmer les fonctionnalités de votre compte.
Par exemple, vous pouvez :
Déterminez ce que signifie une signature valide ou avec quels contrats votre compte est autorisé à interagir. C'est ce qu'on appelle "l'abstraction de signature"
Payer les frais de transaction en différents jetons - c'est ce qu'on appelle parfois « abstraction des frais »
Concevez votre propre mécanisme de protection contre la relecture et autorisez l'envoi en parallèle de plusieurs transactions non liées. Comparez cela à la solution séquentielle nonce utilisée dans Ethereum, qui entraîne des transactions de nature séquentielle, même si vous souhaitez envoyer deux transactions en parallèle, vous devez attendre quelques confirmations de la première transaction avant d'envoyer les deux secondes transactions. Dans le cas contraire, la deuxième transaction pourrait être rejetée en raison d'un nonce invalide. Grâce à l'abstraction de compte, différentes solutions peuvent être discutées pour contourner l'exigence séquentielle de nonce. C'est ce qu'on appelle "l'abstraction occasionnelle".
Aujourd'hui, Starknet propose une abstraction de signature. À l'avenir, Starknet enrichira la conception de l'abstraction du compte courant.
Deux exemples de fonctionnalités de compte personnalisées utilisant l'abstraction de compte
Récupération sociale Il s'agit d'un processus qui vous permet de récupérer votre portefeuille via un réseau social de votre choix lorsque vous le perdez, améliorant ainsi considérablement l'expérience typique de récupération de portefeuille.
Gérez votre compte avec la reconnaissance faciale Grâce à l'abstraction de signature, vous pouvez signer des transactions à l'aide du matériel natif de votre téléphone, ce qui rend pratiquement impossible la reprise du compte d'un autre utilisateur (même en cas de vol du téléphone lui-même).
Ces exemples démontrent comment l'abstraction de compte peut être exploitée pour offrir aux utilisateurs une expérience de gestion de portefeuille et de compte plus flexible, sécurisée et hautement personnalisée. En écrivant une logique personnalisée, les utilisateurs peuvent adapter les fonctionnalités du compte à leurs besoins et préférences, améliorant ainsi la sécurité tout en améliorant la facilité d'utilisation.
Le contrat de compte Starknet doit inclure les deux fonctions suivantes
valider
exécuter
Ces fonctions servent à différents objectifs pour garantir que seul le propriétaire du compte peut initier des transactions et que vous pouvez être facturé pour les ressources que vous utilisez.
Les types de comptes Starknet sont inspirés d'Ethereum EIP-4337, où au lieu d'EOA (Externally Owned Account), vous utilisez désormais des comptes de contrat intelligents avec une logique de vérification arbitraire.
En utilisant des contrats intelligents, une flexibilité totale est obtenue dans la mise en œuvre du compte.
Bien que cela ne soit pas obligatoire au niveau du protocole, la communauté a développé une interface de compte standard plus riche. Cette norme a été développée par OpenZeppelin, en étroite collaboration avec l'équipe du portefeuille et d'autres développeurs principaux de Starknet.
Économie des jetons :
Le rôle des jetons :
frais de transaction:
Actuellement, les frais sur StarkNet sont payés en Ethereum (ETH). Mais plus tard, nous nous attendons à ce que les frais soient entièrement payés à l’aide de jetons StarkNet natifs. Pour soutenir une bonne expérience utilisateur, des mécanismes en chaîne automatisés et décentralisés permettront aux utilisateurs de payer des frais en ETH.
Gage:
Certains services essentiels à l'activité et à la sécurité de StarkNet peuvent nécessiter le jalonnement de jetons StarkNet. Ces services peuvent inclure la commande, l'obtention d'un consensus provisoire de niveau 2 avant d'atteindre les résultats finaux de niveau 1, les services d'attestation STARK et la fourniture de la disponibilité des données.
Gouvernance :
Les propositions visant à améliorer StarkNet nécessiteront qu'un seuil minimum de prise en charge des jetons soit défini ultérieurement. Toutes les modifications apportées au protocole qui sont essentielles à l'activité, à la sécurité et à la maintenance de StarkNet nécessitent un vote, soit directement, soit par délégation. Par exemple, toutes les mises à jour majeures du système d'exploitation StarkNet nécessitent l'approbation du détenteur du jeton.
Montant total : 10 milliards, distribution initiale des tokens : Token Economics
17% — Investisseurs StarkWare
32,9 % — Contributeurs principaux : StarkWare et ses employés et consultants, ainsi que les partenaires de développement de logiciels StarkNet
StarkWare accorde 50,1 % à la Fondation aux fins suivantes :
9 % - Fourniture communautaire : utilisé pour récompenser les personnes qui travaillent sur StarkNet et fournissent un support pour sa technologie sous-jacente, comme celles qui ont utilisé le système StarkEx L2 dans le passé. Il est important de noter que tout réapprovisionnement communautaire sera basé sur des travaux vérifiables réalisés dans le passé. Par exemple, pour les anciens utilisateurs de StarkEx, les allocations seront déterminées sur la base d'une utilisation vérifiable de la technologie StarkEx effectuée avant le 1er juin 2022.
9 % – Remise communautaire : partiellement utilisé pour couvrir le coût du passage d'Ethereum à StarkNet. Pour éviter la gamification, les remises communautaires ne s'appliquent qu'aux transactions effectuées après l'annonce du mécanisme de remise.
12 % — Financement de la recherche et du développement, des tests, du déploiement et de la maintenance du protocole StarkNet.
10% - réserve stratégique pour financer des activités écosystémiques cohérentes avec la mission de la fondation.
2% — reversés à des institutions et organisations très respectées telles que des universités, des ONG, etc., décidées conjointement par les détenteurs de jetons StarkNet et la Fondation.
8,1 % — Non alloué : les réserves financières non allouées de la Fondation seront utilisées pour soutenir davantage la communauté StarkNet, avec des méthodes de soutien spécifiques déterminées par la communauté.
Afin d'aligner les incitations à long terme des principaux contributeurs et investisseurs avec les intérêts de la communauté StarkNet et de suivre les pratiques de l'écosystème décentralisé, tous les jetons alloués aux principaux contributeurs et investisseurs seront soumis à une période de blocage de 4 ans. , avec version linéaire et cliff d'un an.
Si vous êtes un utilisateur final, utilisez StarkNet uniquement s'il répond à vos besoins actuels. Utilisez-le pour les transactions et les applications que vous appréciez plutôt que d'attendre les futurs retours des jetons StarkNet. Lorsque les fournitures communautaires seront annoncées, elles concerneront uniquement les instantanés effectués avant la date d'annonce, filtrant et excluant les utilisations considérées comme abusives et manipulatrices du réseau sur la base des informations disponibles à ce moment-là. Lorsque des systèmes de rabais communautaires seront établis, ils ne s’appliqueront jamais aux transactions effectuées avant l’annonce du rabais. Il est donc inutile de négocier aujourd’hui dans l’attente de rabais futurs.
Sur la base de l’analyse récapitulative de l’économie des jetons ci-dessus :
Les premiers 9 % de l'offre communautaire peuvent être largués aux utilisateurs, ce qui signifie que les utilisateurs seront répartis entre les 450 millions avec ceux qui travaillent pour Starknet et fournissent le support technique et le développement.
La deuxième remise communautaire de 9 % est utilisée pour subventionner les frais de traitement après l'annonce des règles de remise ultérieures. Il est inutile de payer les frais de traitement avant l'annonce des règles.
La troisième réserve stratégique de 10 % est utilisée pour les applications écologiques sur la chaîne et est affectée aux protocoles d'application écologiques.
modèle d'affaires
StarkEx vend des services de moteur technologique personnalisés et facture des frais de service directement aux clients ayant des besoins d'expansion. Il s'agit essentiellement d'un service 2B personnalisé.
Créez un réseau StarkNet décentralisé de couche 2 qui prend en charge le déploiement indépendant de dApps. Il peut facturer aux utilisateurs des frais de transaction de couche 2 et peut également obtenir la valeur du MEV via le mécanisme d'enchères du séquenceur. Il peut également émettre des jetons à l'avenir et utiliser la technologie et les fonds. pour incuber des projets StarkNet. Piloter le développement écologique grâce à la tokenomics.
Résumer
StarkWare est l'une des meilleures entreprises du circuit des rollups zk, avec des produits tels que StarkEX et StarkNet.
StarkEx est un moteur d'extension Layer2 qui fournit des services techniques pour les dApps.
StarkNet est une solution de couche 2 plus générale et complète, sans autorisation.
L'équipe compte plus de 80 membres et les membres principaux sont assez accrocheurs. Eli Ben-Sasson est le scientifique fondateur de Zcash et l'inventeur des zkSNARK. Il a des recherches et une influence très approfondies dans le domaine du ZK-Rollup. la valorisation actuelle atteint 8 milliards. Les principaux investisseurs en capital-risque et particuliers tels que Paradigm, Pantera, Polychain et Buterin sont tous des investisseurs de StarkWare.
En termes d'applications écologiques, parce que la langue du Caire est utilisée, elle n'est pas compatible avec l'EVM, donc les progrès du développement écologique seront plus lents. Actuellement, il commence à passer au Caire 1.0 et à évoluer vers un TPS plus élevé. mais l'expérience d'application actuelle n'est pas très fluide et il y a encore un écart entre la technologie et la réalité. J'espère voir un meilleur développement de Starknet à l'avenir.