Range of examples in Data model explainer

Hi,
Regarding the Proofs and Examples sections of the Data Model Explainer document. Proof-of-work and Proof-of-stake are listed as possible proofs. Does anyone anticipate contribution of explanatory sections to Proofs section and/or examples of the same in the Code Samples section?

Regarding the existing code samples, the first I presume is a “digital signature” proof and the second is a ZK-proof (per the Proof section). Both appear to be examples of DID.

Ideally there would be examples of the other proof types.

Regarding Digital Signature proofs. How does the Verifier check veracity of the signing key (that it is reasonably protected)?

Thanks,
Ned