I don't know how permissioned data will look in ATProto, but I know how I will prove stuff about it: github.com/reliqlabs/zkat
Zero Knowledge Proofs of/for the ATProtocol. Contribute to reliqlabs/zkat development by creating an account on GitHub.
github.com
ZK Ultra