A SQL query over chain data, a report built on private data, an agent's tool call: we'll show you how to attach a proof to it.