Qu'est-ce qu'une preuve de snark sur une blockchain?

Un argument de connaissance non interactif de la connaissance, ou un argument non interactif succinct , est un système de preuve cryptographique qui joue un rôle crucial dans l'amélioration de la confidentialité et de l'efficacité des transactions de blockchain. Les grains permettent à une partie, connue sous le nom de prover, de convaincre une autre partie, le vérificateur, qu'une déclaration donnée est vraie sans révéler aucune donnée sous-jacente. Ceci est particulièrement utile dans le contexte des blockchains, où la confidentialité et l'évolutivité sont primordiales.

Comprendre les bases des épreuves de snark

Les preuves de snark sont construites sur les bases des preuves de connaissances zéro, un concept où l'on peut prouver la connaissance de certaines informations sans divulguer les informations elle-même. Dans le domaine des blockchains, cela signifie qu'un utilisateur peut prouver qu'il a effectué une transaction ou un calcul valide sans révéler les détails de la transaction.

Les composantes clés d'une preuve de snark comprennent:

• Succédé : la preuve est petite et peut être vérifiée rapidement, même pour les calculs complexes.
• Non-interactivité : la preuve peut être générée et vérifiée sans aucune communication de va-et-vient entre le prover et le vérificateur.
• Argument de la connaissance : La preuve convainc le vérificateur que le prover connaît un secret qui satisfait une condition donnée.

Comment les preuves de snark fonctionnent sur les blockchains

Dans un paramètre de blockchain, des preuves de snark sont utilisées pour valider les transactions ou les exécutions de contrats intelligentes sans exposer les détails sensibles des opérations. Voici comment ils fonctionnent:

• Validation des transactions : lorsqu'un utilisateur souhaite exécuter une transaction, il crée une preuve de snark qui valide l'exactitude de la transaction sans révéler les détails de la transaction. La preuve est ensuite soumise au réseau de blockchain.
• Vérification : les nœuds sur le réseau peuvent rapidement vérifier la preuve de snark sans avoir besoin de traiter toutes les données de transaction. Cela améliore l'évolutivité de la blockchain car il réduit la charge de calcul sur le réseau.
• Préservation de la confidentialité : Étant donné que la preuve ne divulgue pas les détails de la transaction, les utilisateurs peuvent maintenir leur confidentialité tout en prouvant la validité de leurs actions.

Applications pratiques des épreuves de snark dans la blockchain

Les preuves de Snark ont ​​trouvé plusieurs applications pratiques dans l'espace de crypto-monnaie:

• Transactions privées : Des projets comme ZCash utilisent des SNARKS pour activer les transactions privées, où l'expéditeur, le récepteur et le montant sont tous cryptés.
• Solutions d'évolutivité : les SNARKS sont utilisés dans des solutions de mise à l'échelle de la couche 2 comme ZK-Rollups, qui lancent plusieurs transactions en une seule preuve, réduisant considérablement les données qui doivent être stockées sur la blockchain.
• Vérification des contrats intelligents : des plates-formes comme Ethereum peuvent utiliser des SNARKS pour vérifier l'exécution de contrats intelligents complexes hors de la chaîne, réduisant ainsi le fardeau de calcul en chaîne.

Implémentation de preuves de Snark: un guide étape par étape

Pour implémenter une preuve de snark sur une blockchain, on suivrait ces étapes:

• Définissez la déclaration : définissez clairement l'énoncé ou le calcul qui doit être prouvé. Il peut s'agir d'une transaction ou d'une exécution de contrat intelligent.
• Générez la preuve : utilisez une bibliothèque Snark (comme Libsnark) pour générer la preuve. Cela implique:
  • Configuration du circuit : définissez le circuit de calcul qui représente l'instruction.
  • Génération de la preuve : exécutez le circuit avec les entrées secrètes pour produire la preuve de snark.
• Soumettez la preuve : soumettez la preuve au réseau de blockchain avec les entrées publiques nécessaires.
• Vérification : Les nœuds blockchain utiliseront les entrées publiques et la preuve de snark pour vérifier la validité de la déclaration sans avoir besoin de connaître les entrées secrètes.

Défis et considérations

Bien que les preuves de Snark offrent des avantages importants, ils sont également accompagnés de certains défis:

• Complexité : la génération et la vérification des preuves de Snark peuvent être intensives en calcul, nécessitant un matériel spécialisé comme les GPU.
• Phase de configuration : les SNARKS nécessitent une phase de configuration de confiance, où une chaîne de référence commune est générée. Si cette configuration est compromise, la sécurité des preuves peut être minée.
• Adoption : L'adoption des SNCR dans les systèmes de blockchain nécessite des modifications importantes des protocoles et des infrastructures existants, ce qui peut être un obstacle à une utilisation généralisée.

Questions fréquemment posées

Q: Les preuves de snark peuvent-elles être utilisées pour tout type de transaction de blockchain?

R: Les preuves de Snark peuvent être utilisées pour un large éventail de transactions, mais elles sont particulièrement bénéfiques pour les transactions qui nécessitent une confidentialité ou impliquent des calculs complexes. Toutes les transactions de blockchain ne peuvent pas bénéficier de SNARKS, surtout si la confidentialité ou l'évolutivité n'est pas une préoccupation principale.

Q: Comment les preuves de Snark se comparent-elles aux preuves Stark?

R: Bien que les SNARKS et les Starks soient des systèmes d'épreuve de connaissance zéro, les étoiles (arguments transparents évolutifs de connaissances) ne nécessitent pas de phase de configuration de confiance, ce qui les rend plus transparentes. Cependant, les preuves frappantes sont généralement plus grandes et prennent plus de temps à vérifier par rapport aux SNARKS.

Q: Y a-t-il des plateformes de blockchain qui ne prennent pas en charge les preuves de Snark?

R: Oui, certaines plates-formes de blockchain peuvent ne pas prendre en charge les preuves de Snark en raison de leur complexité et du besoin d'infrastructures spécialisées. Les plates-formes qui hiérarchirent la simplicité et la vitesse sur la confidentialité et l'évolutivité peuvent choisir de ne pas implémenter SNARKS.

Q: Les preuves de snark peuvent-elles être utilisées pour améliorer la sécurité d'une blockchain?

R: Bien que les preuves de Snark améliorent principalement la confidentialité et l'évolutivité, elles peuvent indirectement améliorer la sécurité en réduisant la surface d'attaque. En ne révélant pas les détails de la transaction, les SNARKS rendent plus difficile pour les acteurs malveillants d'exploiter des données de transaction spécifiques.