Les zk-STARK sont l’une des deux méthodes transparentes et évolutives d’amélioration de la confidentialité. La disponibilité publique du caractère aléatoire utilisé par le vérificateur élimine le besoin d’une configuration de confiance.
Mais que signifie zk-STARK ? zk-STARK signifie Zero-Knowledge Scalable Transparent Argument of Knowledge, qui est un type de technologie de preuve cryptographique. Les zk-STARK, également connus sous le nom de preuves à connaissance nulle, permettent aux utilisateurs de communiquer des données validées ou d’exécuter des calculs avec un tiers sans que les données ou l’analyse ne soient révélées à l’autre partie.
Les zk-SNARK, qui ont été utilisés pour construire des systèmes à l’épreuve des zk avant le développement des zk-STARK, ont résolu la vulnérabilité de ces parties de confiance mettant en péril la confidentialité du système car elles devaient initialement configurer le système à l’épreuve des zk. Les zk-STARK font progresser cette technologie en s’éloignant de l’exigence d’une configuration fiable.
De plus, les problèmes d’évolutivité et de confidentialité avec les chaînes de blocs sans autorisation sont améliorés avec les STARK. La recherche actuelle sur zk-STARK menée par le pionnier de la technologie STARK, StarkWare Industries, concerne principalement l’évolutivité, la confidentialité venant plus tard.
En permettant aux développeurs de déplacer les calculs et le stockage hors chaîne, les STARK augmentent l’évolutivité. Les preuves STARK qui vérifient l’exactitude des calculs hors chaîne peuvent être produites par des services hors chaîne. Après cela, ces preuves sont republiées sur la chaîne afin que toute personne intéressée puisse vérifier le calcul.
De plus, les STARK permettent à l’infrastructure de blockchain existante d’évoluer de manière exponentielle sans compromettre l’intégrité informatique en déconnectant la majorité des efforts informatiques. Alors, quelles pièces utilisent des zk-STARK ?
Les solutions de couche 2 calculent des milliers de transactions en un seul lot à l’aide de STARK, puis utilisent une seule preuve STARK pour confirmer leur validité en chaîne. Toutes les transactions du lot partagent le coût de l’opération en chaîne, offrant un faible coût de gaz pour chaque transaction. Starkware est exécution Argument de connaissance transparent et évolutif sans connaissance dans de nombreuses chaînes de blocs, y compris la chaîne de blocs Ethereum.