Preuves à connaissance nulle (Stellar/Soroban)

Ce que cela fait

Guide pratique pour construire et vérifier des flux de preuves à connaissance nulle (ZK proofs) sur Stellar/Soroban. Couvre les modèles de contrats vérificateurs (Groth16/PLONK), la disponibilité des fonctions hôtes (BLS12-381, BN254, Poseidon), les intégrations avec Noir/RISC Zero, les pools de confidentialité, les jetons confidentiels et une liste de contrôle pour la compatibilité des capacités et des protocoles. Met l'accent sur un guidage conscient du statut : vérifiez toujours le statut CAP, le support des fonctions hôtes du SDK et la version du réseau avant d'utiliser une primitive.

Quand l'utiliser

Utilisez cette compétence lors de la conception de vérifications ZK on-chain, de la création de contrats intelligents préservant la confidentialité, de l'intégration de systèmes de preuves off-chain avec Soroban, de la planification de la préparation BN254/Poseidon, ou de l'évaluation de la maturité opérationnelle des fonctions hôtes cryptographiques. Idéal pour les ingénieurs construisant des contrats vérificateurs, les examinateurs de sécurité et les architectes planifiant des fonctionnalités basées sur des preuves.

Ce qui est inclus

• Scripts : aucun script détecté dans le dépôt (has_scripts=false)
• Références : les principales références CAP et les exemples Soroban sont listés dans le corps de la compétence
• Instructions : modèle de passerelle vérificateur, séparation politique-preuve, filtrage par capacités, liste de contrôle des tests, directives de test d'intégration et opérationnel

Agents compatibles

Idéalement utilisé par des agents orientés développeur avec des capacités Bash/Read et un accès à la documentation du dépôt (ex: Claude Code, agents de type Copilot).