EUDI Wallet interoperability sandbox

Ask a wallet.
Verify the evidence.

Build a policy-bound OpenID4VP request, present from any compatible wallet, and inspect every verifier gate before attributes reach your application.

Request bound Holder proof Formally specified

Request

Wallet

Verify

Result

Step 02

Shape the request

dc+sd-jwt

Personal Identification Data

Identity attributes with selective disclosure and key binding.

Requested attributes

Ask only for what this transaction needs.

2 selected

Holder bindingRequire KB-JWT possession proof

Same-subject policyReject mixed-subject presentations

Evidence, not optimism

A narrow path from wallet to application.

The interface exposes the same security gates as the Rust decision kernel. Mock responses stay visibly marked; production results require a configured cryptographic adapter.

Fail closed

No attributes are released without a typed acceptance command.

Bound end to end

Client, nonce, transcript, holder key, and disclosure set stay linked.

Machine checked

Lean safety theorems and Tamarin protocol lemmas guard the boundary.