zk-proofs

Installation
SKILL.md

Zero-Knowledge Proofs & Privacy

Privacy patterns and ZK verification on Stellar/Soroban. 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 Soroban contract
  • Using BLS12-381 host functions
  • Planning for BN254 / Poseidon (currently proposed via CAP-0074/0075)
  • Integrating Noir or RISC Zero proofs
  • Building privacy pools, confidential tokens, or Merkle-tree-backed commitments

Status-sensitive — always verify

  1. CAP status (Accepted/Implemented vs draft)
  2. Target network software + protocol version
  3. soroban-sdk release support for the target host functions
  4. Available feature flags + graceful fallback paths
Related skills

More from stellar/stellar-dev-skill

Installs
2
GitHub Stars
31
First Seen
3 days ago