compact-core:privacy-disclosure

What problem does it solve?

This Skill provides guidance to prevent unintended disclosure of witness-derived values in Compact circuits, promoting proper use of disclose() and implementing commit-reveal privacy patterns to protect sensitive data.

Core Features & Use Cases

• Enforces the Disclosure Rule to ensure witness-derived data never reaches public outputs without explicit disclosure.
• Illustrates safe patterns such as persistentCommit/transientCommit and contrasts with unsafe persistentHash/transientHash.
• Provides practical examples for common privacy scenarios like ledger storage, circuit returns, and cross-contract boundaries with strong guidance on taint tracking.

Quick Start

Identify a witness-derived value in your circuit and apply disclose() when exposing it, while using persistentCommit for commitments and avoiding unsafe hashes.