
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).
Pure documentation skill providing guidance on integrating zero-knowledge proofs into Stellar/Soroban smart contracts. No scripts to execute. The SKILL.md is well-structured with clear architecture patterns (verification gateway, policy-and-proof split, feature flags), integration checklists, and security review guidance. Actively promotes security best practices like anti-replay controls and domain separation.
No scripts present. Pure guidance skill. Well-written and security-conscious. Niche audience (Stellar ZK developers) limits broad usefulness but high quality within that niche.