compact-core:compact-privacy-disclosure

What problem does it solve?

Managing privacy in Compact contracts is challenging due to witness taint tracking. This skill teaches how to correctly apply the disclose() annotation to reveal only what must be public, preventing unintended data leakage across ledger writes, circuit returns, and conditionals.

Core Features & Use Cases

• Clarifies the Witness Protection Program model and how to place disclose() accurately at public boundaries.
• Covers common privacy patterns (commitments, nullifiers, MerkleTree proofs, unlinkable auth, selective disclosure) with practical guidance for real-world contracts.
• Provides debugging workflows for fixing "potential witness-value disclosure must be declared" errors and implementing safe, auditable privacy designs.

Quick Start

Place a disclose() around the witness-derived values at the first public boundary to resolve compiler errors.