Selective disclosure
Prove one fact. Reveal nothing else.
Every run is committed as a hiding Merkle root over its fields and anchored on Solana. The owner can disclose a single field - an output, an input - with a proof that anyone can check against that root, while every other field stays private. Paste a disclosure below to verify it.
Verify a disclosure
Paste a disclosure bundle to check it against the run's committed root. It proves one field - nothing else is revealed.
Run owners generate a disclosure from the run's page. The verifier binds the proof to its run automatically - a valid result means the field belongs to that run's committed root, not just to some root the bundle carries. Cross-check the run itself at /verify/<runId> (and its on-chain anchor) for full provenance.