ZK-STARK

Un ZK-STARK (argument de connaissance transparent, évolutif et à divulgation nulle de connaissance) est un système de preuve cryptographique permettant à une partie de prouver à une autre partie la possession d'informations secrètes ou la validité d'un calcul, sans révéler le secret et sans nécessiter de procédure d'établissement de confiance. Développés par Eli Ben-Sasson et StarkWare Industries, les ZK-STARK garantissent la transparence (absence de procédure d'établissement de confiance) et la résistance à l'informatique quantique (reposant uniquement sur la connaissance). fonctions de hachage), et la scalabilité (le temps de vérification des preuves est polylogarithmique par rapport à la taille du calcul). Alors que les zk-SNARKs produisent des preuves plus courtes, les zk-STARKs offrent des hypothèses cryptographiques plus robustes et constituent le fondement de la technologie de mise à l'échelle Ethereum de StarkWare (StarkEx et StarkNet).

 Origine & Histoire

« Les STARKs sont plus grands que les SNARKs, post-quantique« Cousin sûr, ils sacrifient la taille des preuves au profit de la transparence et de la sécurité. » — Eli Ben-Sasson, cofondateur de StarkWare

 Fonctionnement

 Comparaison ZK-STARK vs ZK-SNARK ────────────────────────────────────────────────────────────────── SNARK STARK ─────────────────────────────────────────────────────────── Configuration de confiance : Obligatoire (déchets toxiques) AUCUNE (transparent) Taille de la preuve : ~200 octets ~50–200 Ko Temps de vérification : Millisecondes Millisecondes Sécurité quantique : Non (courbe elliptique) Oui (hachage) (Fonctions uniquement) Temps de preuve : Rapide Plus lent (constantes plus grandes) Utilisé dans : Zcash, zkSync, Groth16 StarkNet, StarkEx ───────────────────────────────────────────────────────────────────

GÉNÉRATION DE PREUVES STARK : Calcul → Représentation intermédiaire algébrique (AIR) → Engagement polynomial (protocole FRI) → Preuve STARK (vérifiable par tous) → Vérification de la preuve par le vérificateur de couche 1 d’Ethereum (environ 200 000 à 500 000 unités de gaz).

 En termes simples

1. Aucune configuration de confiance Les STARKs ne nécessitent aucune cérémonie secrète pour générer leurs paramètres. Il n'y a pas de « déchets toxiques » à détruire ; chacun peut vérifier que l'aléatoire a été équitable.
2. Sécurité quantique – Les STARKs ne reposent que sur des fonctions de hachage résistantes aux collisions, que les ordinateurs quantiques ne peuvent pas casser (contrairement aux calculs sur les courbes elliptiques utilisés par les SNARKs).
3. Preuves plus importantes, même sécurité – Une preuve STARK est beaucoup plus volumineuse qu'une preuve SNARK (50 Ko contre 200 octets) mais repose sur des hypothèses de sécurité plus fortes.
4. Évolutivité proportionnelle au calcul – Le temps de vérification STARK augmente de façon polylogarithmique avec la taille du calcul — la preuve d'un calcul d'un million d'étapes n'est pas un million de fois plus difficile à vérifier.
5. langue du Caire – StarkWare a créé Cairo, un langage permettant d'écrire des programmes prouvables par STARK, ce qui permet de prouver la logique complexe des contrats intelligents sur la couche 2 et de la régler sur Ethereum.

 Exemples du monde réel

 Avantages

 Inconvénients et risques

Conseils de gestion des risques :

• Surveillez la feuille de route de décentralisation de StarkNet — la centralisation des prouveurs représente un risque actuel
• Pour EVM Développeurs, explorez Kakarot (EVM sur Cairo) pour une migration plus facile vers StarkNet.
• Utilisez L2Beat pour suivre la sécurité de StarkNet et mettre à niveau les principaux risques.

 QFP

Q : Que signifie « transparent » dans ZK-STARK ?

A : Aucun paramètre secret n'a été généré. Chacun peut vérifier indépendamment que le système de preuve est équitable, contrairement aux SNARK où l'intégrité d'une cérémonie de confiance doit être présumée.

Q : Pourquoi les preuves STARK sont-elles plus longues que les preuves SNARK ?

A : Les SNARK utilisent l'appariement de courbes elliptiques (hypothèses compactes mais moins sûres) ; les STARK utilisent Arbres de merkle et les engagements polynomiaux FRI (intrinsèquement plus grands mais plus sûrs).

Q : StarkNet est-il compatible avec EVM ?

A : StarkNet utilise nativement Cairo (et non EVM). Kakarot est une implémentation EVM écrite en Cairo, permettant ainsi l'exécution indirecte de contrats Solidity sur StarkNet.

Q : STARKs peut-il gérer des milliards de transactions ?

A : Les STARKs récursifs (preuves de preuves de preuves) peuvent théoriquement s'adapter à des calculs arbitraires. Le démonstrateur Stwo de StarkWare vise à prouver des millions de transactions par seconde.

Q : Qui a inventé les ZK-STARKs ?

A : Eli Ben-Sasson (professeur au Technion et cofondateur de StarkWare) ainsi qu'Iddo Bentov, Lior Horesh et Michael Riabzev ont publié l'article original sur STARK en 2018.

Références

• Ben-Sasson et al., « Intégrité computationnelle évolutive, transparente et post-quantique » (2018) — IACR ePrint
• Documentation StarkWare — starkware.co
• Documentation StarkNet — docs.starknet.io
• Vitalik Buterin, « STARKs, 1re partie » — vitalik.ca

 Conseil UPay : La résistance quantique des STARKs en fait le choix le plus sûr à long terme pour les systèmes de preuve cryptographiques, à mesure que l'informatique quantique progresse. Bien que les SNARKs soient plus efficaces aujourd'hui, la transition progressive de l'écosystème cryptographique vers les STARKs constitue une protection raisonnable contre les risques quantiques futurs.Avertissement : Cette entrée de glossaire est fournie à titre informatif uniquement et ne constitue pas un avis financier ou juridique.

Payer — Rendre la crypto encyclopédique