Starknet est un réseau de Layer 2 qui met Ethereum à l'échelle. Il traite les transactions hors chaîne en utilisant des mathématiques avancées appelées preuves de validité, ce qui se traduit par des frais nettement plus bas et un débit supérieur. En réglant ses transactions sur Ethereum, Starknet hérite de la sécurité et de la décentralisation du mainnet. Pour les développeurs et les utilisateurs, cela signifie des dApps plus rapides et moins chères sans compromettre la sécurité.
Plutôt que d'exécuter chaque transaction sur le réseau Ethereum déjà sollicité, Starknet adopte une approche plus intelligente. Il regroupe des milliers de transactions hors chaîne et génère une seule petite preuve cryptographique qui confirme que toutes ont été exécutées correctement.
Cette preuve est ensuite envoyée à Ethereum, où elle est vérifiée rapidement et à moindre coût. Cette méthode réduit considérablement la charge de calcul sur la chaîne principale, diminue les coûts et désengorge le réseau.
Les STARKs (Scalable Transparent Arguments of Knowledge) sont des preuves qui permettent à un vérificateur d'avoir la certitude qu'un calcul a été effectué correctement sans avoir à le réexécuter. Elles diffèrent de certaines techniques de zero-knowledge en se concentrant sur la démonstration de l'intégrité plutôt que sur la dissimulation des entrées. Parmi les avantages clés : absence de trusted setup, forte évolutivité avec l'augmentation des calculs, et des choix de conception qui aident à résister aux menaces cryptographiques futures.
Le processus de Starknet implique trois composants principaux qui travaillent ensemble pour transformer l'intention d'un utilisateur en enregistrement on-chain.
Le sequencer accepte les transactions entrantes, détermine leur validité (par exemple, rejette les opérations qui échouent à cause d'un solde insuffisant ou de signatures invalides) et les assemble en lots. Comme cela se passe hors chaîne, le sequencer peut traiter plus de transactions par seconde que si tout était exécuté sur Ethereum.
Le prover enregistre les étapes détaillées d'exécution et les changements d'état résultants pour un lot, puis convertit cette trace d'exécution en une preuve STARK en échantillonnant et en transformant les données. La preuve résultante est un certificat mathématique compact attestant que les transactions ont été exécutées comme indiqué.
Une fois qu'une preuve est prête, elle est soumise à Ethereum avec un résumé de l'état final. Un contrat de vérification contrôle la validité de la preuve, et un contrat principal met à jour la représentation on-chain de l'état de Starknet. Parce que la preuve garantit l'exactitude, Ethereum n'a pas besoin de réexécuter chaque transaction, ce qui économise du gas et du temps.
Starknet utilise un langage conçu pour cet usage, appelé Cairo, optimisé pour des programmes vérifiables avec des preuves STARK. Cairo permet aux développeurs d'écrire des smart contracts et des applications scalables sans expertise cryptographique approfondie. L'écosystème inclut également des bibliothèques et des frameworks qui simplifient la création d'interfaces utilisateur et la logique de jeu directement sur Starknet.
Starknet prend en charge l'abstraction de compte native, ce qui rend les applications Web3 plus proches des produits Web2 modernes. Les fonctionnalités incluent des connexions de type passkey qui évitent les phrases mnémoniques, des clés de session permettant aux utilisateurs d'approuver plusieurs actions avec moins de friction, et des modèles paymaster qui permettent à des tiers ou à des paiements ERC‑20 de couvrir les coûts de transaction.
Starknet est un Validity Rollup (souvent appelé ZK‑Rollup). Il prouve que les transactions sont valides avant qu'elles ne soient finalisées sur Ethereum. Cela signifie que les retraits et les interactions sont rapides, sans longues périodes d'attente.
Les rollups optimistes (Optimistic Rollups) partent du principe que les transactions sont correctes par défaut et offrent une « période de challenge » pendant laquelle n'importe qui peut soumettre une preuve de fraude pour contester une transaction.
Le compromis est simple : les preuves de validité offrent des garanties cryptographiques immédiates et plus solides, tandis que les rollups optimistes sont souvent plus faciles à intégrer avec les outils existants de l'EVM.
Un des choix de conception majeurs de Starknet est de ne pas être nativement compatible avec la Ethereum Virtual Machine (EVM). Cela signifie que les projets développés en Solidity, le langage principal d'Ethereum, ne peuvent pas être simplement copiés-collés. Ils doivent être réécrits en Cairo ou utiliser un outil spécialisé pour faire le pont entre les deux écosystèmes.
Si Cairo débloque des gains de performance significatifs, il impose aussi une courbe d'apprentissage pour les équipes profondément ancrées dans le développement EVM.
Le jeton natif du réseau, STRK, remplit plusieurs fonctions protocolaires. Les détenteurs de jetons peuvent participer aux décisions de gouvernance, STRK peut être utilisé pour payer le traitement des transactions sur le réseau, et il prend en charge des modèles de staking où les détenteurs exploitent des validateurs ou délèguent des jetons à des validateurs pour gagner des récompenses.
Starknet convient particulièrement aux projets qui ont besoin d'un haut débit et de coûts par transaction plus faibles tout en conservant de fortes garanties de sécurité on-chain — exemples : jeux blockchain, systèmes DeFi à grande échelle et services d'infrastructure. Les équipes choisissant Starknet doivent peser les avantages des preuves STARK face à l'effort d'adoption de Cairo et au travail de migration éventuel.
En adoptant les preuves STARK et sa pile technologique sur mesure, Starknet propose une voie unique et puissante pour mettre Ethereum à l'échelle. Pour les développeurs, le choix consiste à mesurer ses remarquables performances et avantages UX contre l'effort requis pour sortir de l'environnement EVM traditionnel.