FHE hosts users' DIDs on-chain in an encrypted form and allows compliant applications to verify attributes through simple contract calls.