Our paper with formal analysis and code: arxiv.org/pdf/2606.03771
H/T to my co-authors Sam Breckenridge, Derek Leung, Andrés Fábrega, James Austgen, Farinaz Koushanfar, and Prof. Ari Juels
arxiv.org
3/ 𝜋Creds use an LLM running inside a TEE to issue credentials over that unstructured data.
That way, you can prove the richer claims, like real expertise in a product category from your purchase history, while the sensitive purchase transcript data remains private.