Problem
Current TWDIW uses SD-JWT without ZK, so the verifier sees the full value of disclosed fields. We'd love to study migrating this to a more privacy-preserving model by leveraging ZKPs so that the verifier only learns whether the predicate is true or false.
Details
Study the feasibility of integrating OpenAC into TWDIW. Define the scope and complete the PoC.