
from stellar-dev-skill31
Guidance and patterns for integrating zero-knowledge proofs and privacy-preserving primitives into Stellar/Soroban smart contracts.
Practical guidance for building and verifying zero-knowledge proof flows on Stellar/Soroban. Covers verifier contract patterns (Groth16/PLONK), host-function readiness (BLS12-381, BN254, Poseidon), integrations with Noir/RISC Zero, privacy pools, confidential tokens, and a checklist for capability and protocol compatibility. Emphasises status-aware guidance: always check CAP status, SDK host-function support, and network version before using a primitive.
Use this skill when designing on-chain ZK verification, building privacy-preserving smart contracts, integrating off-chain proof systems with Soroban, planning for BN254/Poseidon readiness, or assessing production readiness of cryptographic host functions. Ideal for engineers building verifier contracts, security reviewers, and architects planning proof-based features.
Best used by developer-focused agents with Bash/Read capabilities and access to repo docs (e.g., Claude Code, Copilot-style agents).
This skill has not been reviewed by our automated audit pipeline yet.