Il est rapporté que Starknet 0.12.0 a été officiellement déployé sur le réseau principal le 12 juillet, atteignant un débit plus élevé et une latence plus faible. Avant de lire cet article, vous devez avoir une compréhension préliminaire du concept de preuve à connaissance nulle :
La preuve à connaissance nulle appartient au concept de cryptographie et est une preuve interactive. Commençons par un exemple classique : A est daltonien rouge-vert, et B a deux boules de billard, une rouge et une verte. Aux yeux de A, les deux boules ont exactement la même couleur, et B doit prouver à A que l'une des deux boules de billard est rouge et l'autre verte. A ce moment, A met les boules de billard derrière son dos, il peut échanger les deux boules ou non, et B doit juger si A a échangé les deux boules, en le répétant plusieurs fois, si le résultat de la supposition de B à chaque fois est Correct , alors A pense que l'une des deux boules de billard est rouge et l'autre verte, ce qui est la situation réelle. Ceci est un exemple de preuve classique à connaissance nulle. Dans une preuve à connaissance nulle, nous n'avons besoin que de deux identités de "prouveur" et de "vérificateur".
1 Présentation de Starknet
StarkNet est un Validity-Rollup décentralisé sans autorisation (également connu sous le nom de "ZK-Rollup"). En tant que couche 2 sur Ethereum, il permet à n'importe quel Dapp d'atteindre une expansion infinie de l'informatique sans sacrifier la composabilité et la sécurité d'Ethereum.
StarkWare, la société mère de StarekNet, a été créée en 2018 et a son siège social en Israël. Ses principaux produits sont Starknet et StarkEx. Sa valorisation d'entreprise a atteint 8 milliards de dollars américains. Jusqu'à présent, StarkNet a traversé cinq tours de financement, levant un total de 273 millions de dollars américains.
Il convient de mentionner que la Fondation Ethereum a spécifiquement soutenu publiquement les starkware utilisant des starks, et ils ont fourni une subvention de 12 millions de dollars à starkware. Et c'est l'une des raisons pour lesquelles l'industrie est généralement optimiste quant au développement futur de StarkNet et de son orthodoxie.
Modèle économique symbolique
StarkNet a annoncé le 16 novembre 2022 que son jeton natif $STRK sera déployé sur le réseau principal Ethereum pour le vote, le jalonnement et le paiement des frais.
Figure 1-1 Modèle économique du jeton $STARK
Dans le modèle économique symbolique, à l'exception des 49,9 % de jetons d'investisseurs et des principaux contributeurs, les 50,1 % de jetons restants appartiennent tous à la Fondation StarkNet. De ce nombre, 8,1 % des jetons restent non alloués. Cette partie sera utilisée par la communauté pour déterminer l'utilisation correspondante, donc cette partie des jetons est généralement spéculée comme un quota de largage potentiel. La Fondation Starknet a également nommé l'ancien cadre de Facebook Diego Oliva comme son premier PDG. Oliva a précédemment déclaré qu'il se concentrerait sur la gouvernance de la communauté décentralisée Starknet, en mettant l'accent sur les droits et les intérêts des développeurs et des utilisateurs.
le plan de route
Débit et latence V 0.12.0
Le responsable a récemment annoncé la feuille de route globale pour 2023. La version 0.12.0 a été officiellement déployée sur le réseau principal le mercredi 12 juillet. La dernière version de Starknet, 0.12.0, introduit des améliorations significatives des performances, notamment des améliorations du débit et de la latence. En adoptant le séquenceur basé sur Rust et la machine virtuelle Rust-Cairo, les performances de StarkNet seront considérablement améliorées et l'échange OKEX a commencé à prendre en charge le dépôt du réseau principal ETH starknet.
V 0.13.0 Coût de transaction
Dans la version V 0.13.0, le coût de transaction de Starknet sera fortement réduit. Ceci est réalisé par la volonté, un élément majeur de la réduction des coûts de transaction. Les coûts de données L1 (Ethereum) représentent aujourd'hui 95 % des coûts de transaction, et Volition permettra aux développeurs de créer des applications Starknet à l'aide d'un modèle hybride de disponibilité des données (DA). De plus, l'EIP-4844 (Sharded Blob Transactions) d'Ethereum devrait être publié au quatrième trimestre 2023. En raison de l'EIP-4844 d'Ethereum et de la Volition de Starknet (disponibilité des données hors chaîne), les coûts de données de Starknet seront considérablement réduits.
V 0.14.0 Marché des frais
La congestion du réseau est un casse-tête pour chaque développeur et utilisateur. Pour résoudre ce problème, Starknet introduira un marché des frais dans la V 0.14.0 pour allouer efficacement les ressources limitées de Starknet en fonction du montant que les utilisateurs de gaz paient pour les transactions.
V 0.15.0 intervalle de bloc fixe plus court
Dans la version V0.15.0, certains plans d'amélioration visent à améliorer les performances et l'expérience utilisateur de Starknet, à réduire l'intervalle de bloc et à améliorer le débit du réseau en découplant la relation entre les blocs et les preuves. Cela fera de Starknet une plateforme blockchain plus puissante et plus efficace.
2 Analyse technique
ZK-Rollup VS OP-Rollup
Actuellement, la couche 2 la plus largement utilisée sur le marché - la technologie sous-jacente d'Arbitrium est OP-Rollup, (Optimistic Rollup). Il réalise une expansion grâce à des preuves de fraude. Dans Op-Rollup, le système pense avec optimisme que les données de transaction sont correctes, sans vérification en temps réel, entrant directement dans une période d'attente. Pendant la période d'attente, si un nœud soulève une objection et fournit des preuves pour prouver qu'il y a une transaction malveillante, la transaction sera annulée ; s'il n'y a pas d'objection, la transaction sera automatiquement complétée et vérifiée sur la chaîne principale après l'attente période est terminée.
Starknet est une couche 2 basée sur la technologie ZK-Rollup. ZK-Rollup s'appuie principalement sur une technologie de preuve de connaissance zéro En séparant les processus de calcul et de vérification, la vérification de l'exécution du contrat est effectuée hors chaîne, puis les résultats de la vérification sont soumis au réseau principal Ethereum. Le processus de calcul est effectué hors chaîne et le résultat de la vérification n'est soumis à Ethereum qu'à titre de preuve.Par conséquent, cette méthode offre le plus haut niveau de sécurité et de protection de la vie privée des utilisateurs.
Comparé à OP-rollup et ZK-rollup, ZK-rollup est une alternative plus sûre que OP-rollup, tandis que OP-rollup est un meilleur choix pour les projets DeFi avec compatibilité EVM. On peut voir que ZK-rollup avec compatibilité EVM sera la future direction de développement narratif de la couche 2 avec ses avantages de sécurité naturels. La sécurité est obtenue grâce à la confiance de StarkNet envers STARK, le système de preuve cryptographique le plus sécurisé et le plus évolutif.
Zk-STARK VS Zk-SNARK
STARK (Zero-Knowledge Scalable Transparent Arguments of Knowledge) et Zk-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) sont deux technologies de preuve à connaissance nulle, qui sont utilisées pour créer des preuves qui peuvent être vérifiées sans révéler toutes les informations. Mais il existe des différences essentielles dans leur implémentation et leurs fonctionnalités.
Le choix d'utiliser des SNARK ou des STARK dépend de scénarios et d'exigences d'application spécifiques. Les SNARK présentent des avantages en termes de taille de preuve et de vitesse de vérification, mais nécessitent une configuration de confiance. Les STARK ne nécessitent pas de paramètres de confiance et résistent aux attaques d'ordinateurs quantiques, mais la preuve est plus grande et la vitesse de vérification est plus lente.
Un concept est introduit ici - Trusted Setup, qui est un processus utilisé dans certains types de systèmes de preuve à connaissance nulle (tels que zk-SNARK), qui crée certains paramètres initiaux avant que le système ne commence à fonctionner. Ces paramètres sont utilisés à la fois lors de la génération de la preuve et de la vérification.
La clé de la configuration de la confiance est de s'assurer que les générateurs détruisent complètement les secrets qu'ils utilisent après avoir créé les paramètres initiaux. Si le générateur gardait ce secret, il aurait la capacité de créer de fausses preuves qui semblent valides, ce qui compromettrait la sécurité du système. Par conséquent, le processus d'établissement de la confiance doit être soumis à un examen et à une surveillance rigoureux pour garantir que tous les générateurs ont correctement détruit les informations secrètes. C'est pourquoi on l'appelle une "configuration de confiance" car l'utilisateur doit avoir confiance que le processus est juste et que le générateur ne triche pas.
Cependant, zk-STARKs est un système de preuve à connaissance nulle qui ne nécessite pas de paramètres de confiance. Cela signifie que, contrairement aux systèmes qui nécessitent une configuration de confiance (comme les zk-SNARK), le processus de génération et de vérification des preuves des zk-STARK ne repose sur aucune information secrète. Cela offre une plus grande transparence et sécurité, car la sécurité du système ne dépend pas des actions d'un individu ou d'une organisation en particulier. Les zk-STARK sont réalisés en utilisant une technologie appelée "FRI" (Fast Reed-Solomon Interactive Oracle Proofs).
Accord VEN
L'idée de base du protocole FRI est de réduire progressivement le degré de polynômes à travers une série d'étapes d'échantillonnage et d'interpolation. À chaque étape, le démonstrateur fournit un nouveau polynôme qui, selon lui, est une version compressée du polynôme d'origine. Le vérificateur peut vérifier que l'affirmation est correcte en vérifiant les valeurs de ces polynômes à des points aléatoires.
Ce processus se poursuit jusqu'à ce que le degré du polynôme soit suffisamment bas pour que le vérificateur puisse vérifier directement tous ses coefficients. Étant donné que le degré du polynôme est divisé par deux à chaque étape, ce processus peut être effectué en temps logarithmique, ce qui rend le protocole FRI très efficace.
Une propriété clé du protocole FRI est qu'il ne repose que sur des paramètres publics prédéfinis et ne nécessite aucune information secrète. Cela le rend utile pour créer des systèmes de preuve à connaissance nulle tels que les zk-STARK qui ne nécessitent pas de configuration de confiance. Cependant, le protocole FRI (Fast Reed-Solomon Interactive Oracle Proofs) n'est pas équivalent à une configuration de confiance. Au lieu de cela, le protocole FRI est une technologie permettant de générer et de vérifier des preuves de zk-STARK. Il permet au démonstrateur de prouver au vérificateur que les coefficients d'un polynôme sont de faible degré sans révéler le contenu spécifique du polynôme. La principale propriété du protocole FRI est qu'il ne repose que sur des paramètres publics prédéfinis et ne nécessite aucune information secrète. Cela le rend utile pour créer des systèmes de preuve à connaissance nulle tels que les zk-STARK qui ne nécessitent pas de configuration de confiance. Le protocole FRI est un composant clé des zk-STARK, qui permet aux zk-STARK de fonctionner sans nécessiter de configuration de confiance. Mais le protocole FRI lui-même n'est pas un processus de configuration de confiance, car il n'implique pas la génération ou la destruction d'informations secrètes.
Comment fonctionne Starknet
Les produits de StarkWare incluent StarkEx, un service d'entreprise ZKR personnalisé pour les parties de projet, et le StarkNet plus général. StarkNet se compose de cinq parties, à savoir : prouveur (certificateur), séquenceur (trieur) et nœud complet (nœud complet) sur Starknet ; et vérificateur (vérificateur) et noyau Starknet (état du noyau) déployé sur le contrat Ethereum).
Son principe de fonctionnement est d'initier une transaction sur StarkNet, qui est acceptée, triée, vérifiée par le trieur de serveur hors chaîne et conditionnée en blocs, exécute la transaction, puis transmet le statut au contrat de statut principal de starknet. Immédiatement, le prouveur génère une preuve de la transaction et l'envoie au vérificateur d'Ethereum pour vérification. Le vérificateur envoie le résultat de la vérification au contrat d'état de base starknet d'Ethereum et déclenche un nouvel ensemble de transactions Ethereum à partir du contrat de base Starknet pour mettre à jour l'état global sur la chaîne pour la tenue des registres. Le nœud complet (nœud complet) joue une fonction de stockage, y compris les changements d'état, les métadonnées, les preuves et enregistre toutes les transactions exécutées dans Starknet, et suit l'état global actuel du système.
Figure 2-1 Diagramme schématique du principe de fonctionnement de Starknet
3 Écosystème StarkNet
Figure 3-1 Carte écologique de Starknet (de Twitter @odin_free)
Il existe de nombreux projets écologiques à Starknet, comprenant actuellement plus de 100 dapps et services. Parmi eux, il existe deux types de wallets, Braavos et Argent, mais les mnémoniques entre les deux ne sont pas interopérables. Plus de 60 protocoles Defi ont été déployés, y compris des DEX tels que 10kswap, Jediswap, Myswap et des protocoles de prêt tels que Zklend ; à ce jour, selon les données Defilama, la TVL totale de StarkNet n'est que de 17,36 millions de dollars. Bien que la TVL globale soit à la hausse, le Par rapport aux 189,21 millions de dollars de zkSync Era du même type, il y a encore un écart de près de dix fois. On peut voir que l'écosystème StarkNet en est encore à ses débuts.
Figure 3-2 StarkNet TVL de defilama
Le pont inter-chaînes comprend le stargate officiel du pont inter-chaînes, Orbiter, Layerswap, etc.; Did a StarknetID et la plate-forme de mission StarQuest. À l'heure actuelle, les activités NFT Odyssey des différents protocoles de Starknet battent leur plein. Si l'écologie future de StarkNet continuera à prospérer ou sera de courte durée, nous ne pouvons qu'attendre et voir...
Voir l'original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Starknet 0.12.0 déploie officiellement le réseau principal : réaliser le saut quantique
Préface
Il est rapporté que Starknet 0.12.0 a été officiellement déployé sur le réseau principal le 12 juillet, atteignant un débit plus élevé et une latence plus faible. Avant de lire cet article, vous devez avoir une compréhension préliminaire du concept de preuve à connaissance nulle :
La preuve à connaissance nulle appartient au concept de cryptographie et est une preuve interactive. Commençons par un exemple classique : A est daltonien rouge-vert, et B a deux boules de billard, une rouge et une verte. Aux yeux de A, les deux boules ont exactement la même couleur, et B doit prouver à A que l'une des deux boules de billard est rouge et l'autre verte. A ce moment, A met les boules de billard derrière son dos, il peut échanger les deux boules ou non, et B doit juger si A a échangé les deux boules, en le répétant plusieurs fois, si le résultat de la supposition de B à chaque fois est Correct , alors A pense que l'une des deux boules de billard est rouge et l'autre verte, ce qui est la situation réelle. Ceci est un exemple de preuve classique à connaissance nulle. Dans une preuve à connaissance nulle, nous n'avons besoin que de deux identités de "prouveur" et de "vérificateur".
1 Présentation de Starknet
StarkNet est un Validity-Rollup décentralisé sans autorisation (également connu sous le nom de "ZK-Rollup"). En tant que couche 2 sur Ethereum, il permet à n'importe quel Dapp d'atteindre une expansion infinie de l'informatique sans sacrifier la composabilité et la sécurité d'Ethereum.
StarkWare, la société mère de StarekNet, a été créée en 2018 et a son siège social en Israël. Ses principaux produits sont Starknet et StarkEx. Sa valorisation d'entreprise a atteint 8 milliards de dollars américains. Jusqu'à présent, StarkNet a traversé cinq tours de financement, levant un total de 273 millions de dollars américains.
Il convient de mentionner que la Fondation Ethereum a spécifiquement soutenu publiquement les starkware utilisant des starks, et ils ont fourni une subvention de 12 millions de dollars à starkware. Et c'est l'une des raisons pour lesquelles l'industrie est généralement optimiste quant au développement futur de StarkNet et de son orthodoxie.
Modèle économique symbolique
StarkNet a annoncé le 16 novembre 2022 que son jeton natif $STRK sera déployé sur le réseau principal Ethereum pour le vote, le jalonnement et le paiement des frais.
Figure 1-1 Modèle économique du jeton $STARK
Dans le modèle économique symbolique, à l'exception des 49,9 % de jetons d'investisseurs et des principaux contributeurs, les 50,1 % de jetons restants appartiennent tous à la Fondation StarkNet. De ce nombre, 8,1 % des jetons restent non alloués. Cette partie sera utilisée par la communauté pour déterminer l'utilisation correspondante, donc cette partie des jetons est généralement spéculée comme un quota de largage potentiel. La Fondation Starknet a également nommé l'ancien cadre de Facebook Diego Oliva comme son premier PDG. Oliva a précédemment déclaré qu'il se concentrerait sur la gouvernance de la communauté décentralisée Starknet, en mettant l'accent sur les droits et les intérêts des développeurs et des utilisateurs.
le plan de route
Débit et latence V 0.12.0
Le responsable a récemment annoncé la feuille de route globale pour 2023. La version 0.12.0 a été officiellement déployée sur le réseau principal le mercredi 12 juillet. La dernière version de Starknet, 0.12.0, introduit des améliorations significatives des performances, notamment des améliorations du débit et de la latence. En adoptant le séquenceur basé sur Rust et la machine virtuelle Rust-Cairo, les performances de StarkNet seront considérablement améliorées et l'échange OKEX a commencé à prendre en charge le dépôt du réseau principal ETH starknet.
V 0.13.0 Coût de transaction
Dans la version V 0.13.0, le coût de transaction de Starknet sera fortement réduit. Ceci est réalisé par la volonté, un élément majeur de la réduction des coûts de transaction. Les coûts de données L1 (Ethereum) représentent aujourd'hui 95 % des coûts de transaction, et Volition permettra aux développeurs de créer des applications Starknet à l'aide d'un modèle hybride de disponibilité des données (DA). De plus, l'EIP-4844 (Sharded Blob Transactions) d'Ethereum devrait être publié au quatrième trimestre 2023. En raison de l'EIP-4844 d'Ethereum et de la Volition de Starknet (disponibilité des données hors chaîne), les coûts de données de Starknet seront considérablement réduits.
V 0.14.0 Marché des frais
La congestion du réseau est un casse-tête pour chaque développeur et utilisateur. Pour résoudre ce problème, Starknet introduira un marché des frais dans la V 0.14.0 pour allouer efficacement les ressources limitées de Starknet en fonction du montant que les utilisateurs de gaz paient pour les transactions.
V 0.15.0 intervalle de bloc fixe plus court
Dans la version V0.15.0, certains plans d'amélioration visent à améliorer les performances et l'expérience utilisateur de Starknet, à réduire l'intervalle de bloc et à améliorer le débit du réseau en découplant la relation entre les blocs et les preuves. Cela fera de Starknet une plateforme blockchain plus puissante et plus efficace.
2 Analyse technique
ZK-Rollup VS OP-Rollup
Actuellement, la couche 2 la plus largement utilisée sur le marché - la technologie sous-jacente d'Arbitrium est OP-Rollup, (Optimistic Rollup). Il réalise une expansion grâce à des preuves de fraude. Dans Op-Rollup, le système pense avec optimisme que les données de transaction sont correctes, sans vérification en temps réel, entrant directement dans une période d'attente. Pendant la période d'attente, si un nœud soulève une objection et fournit des preuves pour prouver qu'il y a une transaction malveillante, la transaction sera annulée ; s'il n'y a pas d'objection, la transaction sera automatiquement complétée et vérifiée sur la chaîne principale après l'attente période est terminée.
Starknet est une couche 2 basée sur la technologie ZK-Rollup. ZK-Rollup s'appuie principalement sur une technologie de preuve de connaissance zéro En séparant les processus de calcul et de vérification, la vérification de l'exécution du contrat est effectuée hors chaîne, puis les résultats de la vérification sont soumis au réseau principal Ethereum. Le processus de calcul est effectué hors chaîne et le résultat de la vérification n'est soumis à Ethereum qu'à titre de preuve.Par conséquent, cette méthode offre le plus haut niveau de sécurité et de protection de la vie privée des utilisateurs.
Comparé à OP-rollup et ZK-rollup, ZK-rollup est une alternative plus sûre que OP-rollup, tandis que OP-rollup est un meilleur choix pour les projets DeFi avec compatibilité EVM. On peut voir que ZK-rollup avec compatibilité EVM sera la future direction de développement narratif de la couche 2 avec ses avantages de sécurité naturels. La sécurité est obtenue grâce à la confiance de StarkNet envers STARK, le système de preuve cryptographique le plus sécurisé et le plus évolutif.
Zk-STARK VS Zk-SNARK
STARK (Zero-Knowledge Scalable Transparent Arguments of Knowledge) et Zk-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) sont deux technologies de preuve à connaissance nulle, qui sont utilisées pour créer des preuves qui peuvent être vérifiées sans révéler toutes les informations. Mais il existe des différences essentielles dans leur implémentation et leurs fonctionnalités.
Le choix d'utiliser des SNARK ou des STARK dépend de scénarios et d'exigences d'application spécifiques. Les SNARK présentent des avantages en termes de taille de preuve et de vitesse de vérification, mais nécessitent une configuration de confiance. Les STARK ne nécessitent pas de paramètres de confiance et résistent aux attaques d'ordinateurs quantiques, mais la preuve est plus grande et la vitesse de vérification est plus lente.
Un concept est introduit ici - Trusted Setup, qui est un processus utilisé dans certains types de systèmes de preuve à connaissance nulle (tels que zk-SNARK), qui crée certains paramètres initiaux avant que le système ne commence à fonctionner. Ces paramètres sont utilisés à la fois lors de la génération de la preuve et de la vérification.
La clé de la configuration de la confiance est de s'assurer que les générateurs détruisent complètement les secrets qu'ils utilisent après avoir créé les paramètres initiaux. Si le générateur gardait ce secret, il aurait la capacité de créer de fausses preuves qui semblent valides, ce qui compromettrait la sécurité du système. Par conséquent, le processus d'établissement de la confiance doit être soumis à un examen et à une surveillance rigoureux pour garantir que tous les générateurs ont correctement détruit les informations secrètes. C'est pourquoi on l'appelle une "configuration de confiance" car l'utilisateur doit avoir confiance que le processus est juste et que le générateur ne triche pas.
Cependant, zk-STARKs est un système de preuve à connaissance nulle qui ne nécessite pas de paramètres de confiance. Cela signifie que, contrairement aux systèmes qui nécessitent une configuration de confiance (comme les zk-SNARK), le processus de génération et de vérification des preuves des zk-STARK ne repose sur aucune information secrète. Cela offre une plus grande transparence et sécurité, car la sécurité du système ne dépend pas des actions d'un individu ou d'une organisation en particulier. Les zk-STARK sont réalisés en utilisant une technologie appelée "FRI" (Fast Reed-Solomon Interactive Oracle Proofs).
Accord VEN
L'idée de base du protocole FRI est de réduire progressivement le degré de polynômes à travers une série d'étapes d'échantillonnage et d'interpolation. À chaque étape, le démonstrateur fournit un nouveau polynôme qui, selon lui, est une version compressée du polynôme d'origine. Le vérificateur peut vérifier que l'affirmation est correcte en vérifiant les valeurs de ces polynômes à des points aléatoires.
Ce processus se poursuit jusqu'à ce que le degré du polynôme soit suffisamment bas pour que le vérificateur puisse vérifier directement tous ses coefficients. Étant donné que le degré du polynôme est divisé par deux à chaque étape, ce processus peut être effectué en temps logarithmique, ce qui rend le protocole FRI très efficace.
Une propriété clé du protocole FRI est qu'il ne repose que sur des paramètres publics prédéfinis et ne nécessite aucune information secrète. Cela le rend utile pour créer des systèmes de preuve à connaissance nulle tels que les zk-STARK qui ne nécessitent pas de configuration de confiance. Cependant, le protocole FRI (Fast Reed-Solomon Interactive Oracle Proofs) n'est pas équivalent à une configuration de confiance. Au lieu de cela, le protocole FRI est une technologie permettant de générer et de vérifier des preuves de zk-STARK. Il permet au démonstrateur de prouver au vérificateur que les coefficients d'un polynôme sont de faible degré sans révéler le contenu spécifique du polynôme. La principale propriété du protocole FRI est qu'il ne repose que sur des paramètres publics prédéfinis et ne nécessite aucune information secrète. Cela le rend utile pour créer des systèmes de preuve à connaissance nulle tels que les zk-STARK qui ne nécessitent pas de configuration de confiance. Le protocole FRI est un composant clé des zk-STARK, qui permet aux zk-STARK de fonctionner sans nécessiter de configuration de confiance. Mais le protocole FRI lui-même n'est pas un processus de configuration de confiance, car il n'implique pas la génération ou la destruction d'informations secrètes.
Comment fonctionne Starknet
Les produits de StarkWare incluent StarkEx, un service d'entreprise ZKR personnalisé pour les parties de projet, et le StarkNet plus général. StarkNet se compose de cinq parties, à savoir : prouveur (certificateur), séquenceur (trieur) et nœud complet (nœud complet) sur Starknet ; et vérificateur (vérificateur) et noyau Starknet (état du noyau) déployé sur le contrat Ethereum).
Son principe de fonctionnement est d'initier une transaction sur StarkNet, qui est acceptée, triée, vérifiée par le trieur de serveur hors chaîne et conditionnée en blocs, exécute la transaction, puis transmet le statut au contrat de statut principal de starknet. Immédiatement, le prouveur génère une preuve de la transaction et l'envoie au vérificateur d'Ethereum pour vérification. Le vérificateur envoie le résultat de la vérification au contrat d'état de base starknet d'Ethereum et déclenche un nouvel ensemble de transactions Ethereum à partir du contrat de base Starknet pour mettre à jour l'état global sur la chaîne pour la tenue des registres. Le nœud complet (nœud complet) joue une fonction de stockage, y compris les changements d'état, les métadonnées, les preuves et enregistre toutes les transactions exécutées dans Starknet, et suit l'état global actuel du système.
Figure 2-1 Diagramme schématique du principe de fonctionnement de Starknet
3 Écosystème StarkNet
Figure 3-1 Carte écologique de Starknet (de Twitter @odin_free)
Il existe de nombreux projets écologiques à Starknet, comprenant actuellement plus de 100 dapps et services. Parmi eux, il existe deux types de wallets, Braavos et Argent, mais les mnémoniques entre les deux ne sont pas interopérables. Plus de 60 protocoles Defi ont été déployés, y compris des DEX tels que 10kswap, Jediswap, Myswap et des protocoles de prêt tels que Zklend ; à ce jour, selon les données Defilama, la TVL totale de StarkNet n'est que de 17,36 millions de dollars. Bien que la TVL globale soit à la hausse, le Par rapport aux 189,21 millions de dollars de zkSync Era du même type, il y a encore un écart de près de dix fois. On peut voir que l'écosystème StarkNet en est encore à ses débuts.
Figure 3-2 StarkNet TVL de defilama
Le pont inter-chaînes comprend le stargate officiel du pont inter-chaînes, Orbiter, Layerswap, etc.; Did a StarknetID et la plate-forme de mission StarQuest. À l'heure actuelle, les activités NFT Odyssey des différents protocoles de Starknet battent leur plein. Si l'écologie future de StarkNet continuera à prospérer ou sera de courte durée, nous ne pouvons qu'attendre et voir...