Subsequent work from #229 and #234

[KendallWeihe]

#229 and #234 are the start to delivering the set of deliverables defined in the TSC Rust Core Charter (link). Both of those PRs are large but incomplete, so using this ticket to aggregate subsequent work needed.

Marked with ⭐ given it's necessary for tbdex implementation, and ❔ if unsure if necessary

APID & Custom DSL

• Consider removing support for STATIC METHOD in the DSL, favor functions (FUNC) instead
• ⭐ (tbdex required) Generalized object type (AKA A JSON Object), necessary for VC data model credentialSubject
• Doc comments
• Test vectors
• Errors
• JSON serialization naming
• Consider namespacing
• Consider prescribing only a single artifact as a requirement
• Examples
• Consider default values for optional data
• ⭐ Bearer DID & other additions needed for tbDEX APID
  • Other additions?

Rust Implementation

• ❔ Presentation definition's known limitation with filter's constraint property
• ❔ VC issuer multitype
• ⭐ did:dht
• ⭐ JOSE implementation using josekit
• Test vectors
• VC evidence

UniFFI Implementation

• ❔ Bind the above PD filter and VC issuer changes
• ⭐ Linux (amd64) .so build

Kotlin Implementation

• ⭐ Conformance to the APID
• ⭐ Prototyped in a Linux amd64 environment