zk-proofs
Installation
SKILL.md
Zero-Knowledge Proofs & Privacy
ZK verification on Stellar. Capability is protocol- and SDK-version dependent — always verify CAP status, network version, and soroban-sdk host-function support before relying on a primitive.
When to use this skill
- Implementing a Groth16 (or other SNARK) verifier as a Stellar smart contract
- Wiring Circom, Noir, or RISC Zero output to on-chain verification
- Building privacy pools, confidential tokens, or Merkle-tree-backed commitments
- Planning for BN254 / Poseidon availability
Related skills
- Contract patterns and deployment →
../smart-contracts/development.md - Verifier security review →
../smart-contracts/security.md - CAPs referenced here →
../standards/SKILL.md