Initialement publié en anglais par StarkWare le 2 juin, 2022
StarkWare Glossaire
STARK (Scalable, Transparent ARgument of Knowledge) est un système de preuve qui permet de prouver et de vérifier des calculs. Il permet de traiter de gros calcul, de générer une preuve de l’exactitude du calcul, puis de vérifier la preuve en très peu d’étapes.
STARK peut jouer un rôle clé dans scalabilité de la blockchain en permettant d’effectuer de gros calculs off-chain, là où c’est moins cher, en ne laissant que la vérification, qui nécessite une fraction du calcul, à effectuer on-chain. En d’autres termes, en effectuant très peu d’étapes on-chain, le vérifieur affirme l’intégrité d’un calcul beaucoup plus important qui a été effectué off-chain.
À l’aide de STARK, les solutions L2 regroupent (batching) et calculent des milliers de transactions, puis vérifient leur validité on-chain avec une seule preuve STARK. Le coût du processus on-chain est réparti entre toutes les transactions du lot (batch). Cela se traduit par la sécurité d’Ethereum et un faible coût du gas par transaction.
Le faible coût de calcul ouvrira la voie à une nouvelle catégorie d’applications qui, auparavant, n’étaient pas réalisables on-chain. Ces propriétés font de STARKs un excellent élément de construction pour améliorer l’expérience utilisateur et réduire les coûts de gas, tout en maintenant la sécurité de Ethereum settlement layer.
StarkWare fournit deux solutions pour scale Ethereum avec STARKs : StarkEx et StarkNet.
StarkEx est un framework pour créer des solutions de scaling autorisées (permissioned) et spécifiques à une application. StarkEx est une boîte à outils de flux d’applications utiles que les projets peuvent utiliser pour réaliser des calculs off-chain peu coûteux. Une preuve STARK, attestant l’exactitude de l’exécution, est générée off-chain. Une telle preuve peut comprendre jusqu’à 12 000 à 500 000 transactions (selon le type de transaction). La preuve est ensuite envoyée au STARK Verifier pour acceptation on-chain. Cela signifie une vérification pour toutes les transactions – pour un coût du gas amorti incroyablement faible par transaction.
Quelques exemples d’applications déployées sur StarkEx sont dYdX (perpetuals trading), Immutable et Sorare (NFTs – minting & trading), DeversiFi (spot trading) et Celer (DeFi Pooling).
StarkWare ajoute continuellement plus de flux d’applications à StarkEx, en suivant le marché et les besoins de ses clients.
StarkNet est une L2 permissionless où n’importe quel utilisateur ou développeur peut déployer des smart contract développés avec le langage Cairo.
Comparable à l’expérience de smart contract Ethereum, au sein de l’écosystème StarkNet, votre contrat peut interagir avec n’importe quel autre contrat déployé sur StarkNet, permettant des protocoles richement composables. Les contrats StarkNet peuvent également interagir avec les contrats Ethereum par transmission de message asynchrone.
Contrairement à StarkEx, où les applications sont chargées de soumettre les transactions, StarkNet séquence les transactions par lots et les envoie pour traitement et prouver (Les séquenceurs de StarkNet sont actuellement exploités par StarkWare et prévoit de les décentraliser à l’avenir.) Cela signifie qu’une fois que les applications déploient leurs contrats Cairo, elles n’ont pas à se soucier d’exécuter l’infrastructure Operator supplémentaire. StarkNet prend en charge le mode Rollup data availability, ce qui signifie que l’état du rollup est écrit dans Ethereum avec les preuves STARK.
Une immense communauté de développeurs est profondément engagée dans l’écosystème StarkNet, en construisant des applications, des outils et des infrastructures. Des dizaines d’applications sont déjà en direct sur testnet – DeFi, jeux, vote, IA et plus. De plus, des outils de développement tels que l’explorateur de blocs, l’environnement de test local et le framework, les SDK en plusieurs langues et plus encore, sont construits par la communauté StarkNet. En outre, des discussions actives ont lieu sur la plateforme des Shamans, avec des suggestions d’améliorations, des fonctionnalités potentielles et des bonnes pratiques.
StarkEx et StarkNet sont des solutions de scaling basées sur STARK. Tous deux offrent la scalabilité, de faibles coûts de gas et la sécurité, mais ont des exigences opérationnelles et des schémas d’interopérabilité différents. StarkEx pourrait être la bonne solution pour une application qui est largement autonome et s’intègre dans les API fournies par StarkEx. StarkNet pourrait être mieux adapté à un protocole qui nécessite une interaction synchrone avec d’autres protocoles ou qui a des besoins qui vont au-delà de ce que StarkEx propose.
STARKs ont révolutionné la façon dont les applications peuvent être construites sur Ethereum. StarkEx et StarkNet continueront d’activer des applications auparavant non viables et repousseront les limites de ce qui est possible sur la blockchain.
Cet article a été rédigé en collaboration par Tim Gestson et l’équipe StarkWare
Traduction faite par @cleminso