Audit de Scalabilité Starknet : Performance de la Cairo VM, Preuves ZK-STARKs et Mode Volition

Synthèse Exécutive

Starknet utilise les preuves cryptographiques ZK-STARKs pour vérifier des milliers de transactions hors-chaîne en soumettant une seule preuve algébrique sur Ethereum L1.
La Cairo VM remplace la pile d'exécution EVM traditionnelle par un ensemble d'instructions arithmétiques spécialement conçu pour maximiser l'efficacité du Prover STARK.
L'implémentation du mode Volition permet de choisir à la transaction près si les données de disponibilité (Data Availability) sont stockées sur Ethereum L1 ou sur le réseau Data Availability Layer.

Starkware Research & Starknet Sequencer Metrics ↗

1 — Problématique d’Architecture & Invariants Fondamentaux

+-------------------------------------------------------------------------+
|                  Starknet ZK-Rollup Execution Pipeline                  |
+-------------------------------------------------------------------------+
|  User Transactions (Native Account Abstraction)                         |
|        |                                                                |
|        v                                                                |
|  [Starknet Sequencer (Cairo VM)]                                        |
|        |                                                                |
|        +---> [Execution Trace Generation]                               |
|        +---> [SHARP Prover (STARK Proof Generation)]                    |
|        |                                                                |
|        v                                                                |
|  [Ethereum L1 Core Verifier Contract (StarknetOS.sol)]                 |
+-------------------------------------------------------------------------+

Audit des Composants Cryptographiques et d'Exécution Starknet

Scores sur 10

Sécurité Cryptographique 9.9 / 10

Vitesse Prover 8.8 / 10

Abstraction Compte 9.8 / 10

Disponibilité Données 9.2 / 10

Compatibilité Dev 8.3 / 10

2 — Métriques de Performances et Coûts de Gaz

Temps moyen de Bloc L2

2.0 sec Exécution Continue

Taille de Preuve Compressée

~100 KB Aggrégation Récursive

Réduction Frais vs L1

-96.5% Post-EIP-4844 Blobs

Comptes Abstraits Actifs

1.2M +35.8%

DecryptedAccount.cairo

rust

1 #[starknet::contract]

2 mod DecryptedAccount {

3 use starknet::ContractAddress;

5 #[external(v0)]

6 fn __execute__(ref self: ContractState, mut calls: Array<Call>) -> Array<Span<felt252>> {

7 let tx_info = starknet::get_tx_info().unbox();

🔍 Note Ligne 7 : Validation obligatoire de la signature cryptographique avant exécution.

8 assert(self.validate_transaction_signature(tx_info), 'INVALID_SIGNATURE');

10 // Exécution en boucle des appels groupés

🔍 Note Ligne 10 : Exécution native des transactions groupées (batching) au niveau du protocole.

11 let mut res = ArrayTrait::new();

12 // ...

13 res

14 }

15 }

3 — Matrice des Risques et Résolution d’Audit

Matrice d'Évaluation des Risques et Vulnérabilités Starknet

3 vecteurs identifiés

Centralisation du Séquenceur

Probabilité : Medium Medium

Le séquenceur unique opéré par Starkware doit évoluer vers le modèle de séquencement décentralisé PoS.

Complexité du Proveur SHARP

Probabilité : Low Low

La génération de preuves récursives exige un matériel serveur dédié à haute puissance de calcul.

Risque Cryptographique Quantique

Probabilité : Low Low

Les STARKs reposent sur des fonctions de hachage résistantes à l'informatique quantique.

Low Statut : Fixed

Auditeur : Trail of Bits & Nethermind

AUDIT-STARK-01 : Validation de l'Arbre Merkle Poseidon

Audit formel de la fonction de hachage Poseidon démontrant une réduction de 8x du nombre de contraintes arithmétiques lors de la génération de preuves.

Consulter le rapport d'audit ↗

4 — Tableau Comparatif des Rollups ZK et Optimistic

Tableau Comparatif & Benchmark

Critère	Starknet (ZK-STARK)	zkSync Era (ZK-SNARK)	Arbitrum One (Optimistic)	Optimism (OP Stack)
Preuve Cryptographique	STARKs (Sans Setup)	SNARKs (PLONK/Boojum)	Preuve de Fraude (Interactive)	Preuve de Fraude (Single-round)
Temps de Retrait L1	< 4 heures	< 4 heures	7 jours (Challenge Period)	7 jours (Challenge Period)
VM d'Exécution	Cairo VM Native	zEVM (Bytecode EVM)	EVM (Arbitrum Stylus WASM)	EVM Native (EVM)
Abstraction Compte	Native (Mandatoire)	Native	Via ERC-4337	Via ERC-4337

"Les preuves STARK garantissent l'intégrité computationnelle sans nécessiter de cérémonie de Trusted Setup, réduisant à zéro le risque de compromission des clés d'initialisation."

Starkware Research Paper — Par Eli Ben-Sasson et al. (2026)
Consulter le document ↗

5 — Bilan d’Ingénierie & Évaluation Critique

Évaluation Technique

Bilan de l'évaluation

Points Forts

• Preuves ZK-STARKs post-quantiques ne nécessitant aucun Cérémonie de Trusted Setup
• Langage Cairo ultra-optimisé pour la génération de preuves d'exécution arithmétiques
• Abstraction de compte native autorisant les paiements de gaz en n'importe quel jeton ERC-20

Axes d'Amélioration

• Frais d'exécution initiaux de génération des preuves STARK sur le Prover
• Courbe d'apprentissage exigeante pour les développeurs venant de Solidity EVM

Avertissement

Cet audit de scalabilité est fourni à titre d'information et ne constitue pas un conseil financier.

PUBLICITÉ BITMEDIA ADS

Espace Publicitaire Réservé (in-article) Bitmedia Compliant Ad Unit