de stellar-dev-skill31
Guide et modèles pour l'intégration de preuves à connaissance nulle et de primitives de préservation de la confidentialité dans les contrats intelligents Stellar/Soroban.
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.
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.
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).
Cette compétence n'a pas encore été examinée par notre pipeline d'audit automatisé.
