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’effectuer 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 de zk-STARK, ont résolu la vulnérabilité des parties de confiance qui compromettaient la confidentialité du système car elles devaient initialement configurer le système pour qu’il soit à l’épreuve des zk. Les zk-STARK font progresser cette technologie en s’éloignant de l’exigence d’une configuration de confiance.
De plus, les problèmes d’évolutivité et de confidentialité avec chaînes de blocs sans autorisation sont améliorés avec STARK. La recherche actuelle sur zk-STARK 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 le calcul et le stockage hors chaîne, les STARK augmentent l’évolutivité. Les tests STARK qui vérifient l’exactitude des calculs hors chaîne peuvent être produits par des services hors chaîne. Après cela, ces preuves sont renvoyé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é des calculs en mettant hors ligne la majeure partie de l’effort informatique. Alors, quelles pièces utilisent zk-STARK ?
Solutions de couche 2 calculez des milliers de transactions en un seul lot à l’aide de STARK, puis utilisez un seul test STARK pour confirmer sa validité en chaîne. Toutes les transactions du lot partagent le coût de l’exploitation de la chaîne, offrant un faible coût du gaz pour chaque transaction. starkware est mettre en place Argument transparent, évolutif et sans connaissance sur de nombreuses chaînes de blocs, y compris la chaîne de blocs Ethereum.
