Protocols for offline/proximity flows should be credential/proof format agnostic

[c2bo]

The current iteration of the ARF (1.4) uses two different credential formats and it is likely that credential formats and especially proof types will evolve over time. There is already a lot of ongoing discussion about the support of ZKP Systems that might result in different credential or proof formats. To keep the complexity of these evolutions manageable, it is important to keep other parts of the system somewhat constant if possible.

The OpenID4VC protocols offer flows that are credential format agnostic for the online flows (issuance & presentation) and can be extended to support other credential or proof types (e.g., ZKP-based credential types like AnonCreds can already be used with OpenID4VP).
For offline/proximity cases, the protocol used in the ARF is currently directly bound to one credential format (mDL/mDoc). To ensure that the system is able to evolve over time, it would be highly beneficial to somehow generalize this. That way it could more easily be used/adapted for other credential or proof formats.

[c2bo]

An easy first step could be to design a protocol or a small extension to the proximity flow in 18013-5 and demonstrate that it would also work presenting a second format other than mDoc (e.g., sd-jwt-vc).