We're actively exploring the intersection between ZK<>Attestations so that builders can easily generate proofs from an arbitrary attestation in a credibly neutral way.

In addition, we've recently released a transitive trust algorithm that allows anyone to calculate a trust score in a network from their perspective.