IdentityNameEvidence

Purpose

Serves as evidence that an IdentityName corresponds to an ExternalIdentity in anoma. These are stored and evaluated by the Name Engine.

This implements the Evidence part of the Identity Name Abstraction from architecture-1. This means that, as far as our SML is concerned, we will need a structure matching the VERIFIER_NAME and ENCRYPTOR_NAME signatures, where the evidence type is this IdentityNameEvidence.

Type

There are (infinitely) many ways to make an IdentityName, and possibly different evidence for each, so this is a sum type. Each element here corresponds to a specific element of IdentityName. At the moment, we support 1 types of IdentityNameEvidence:

One of:

• DOT
• Structure a signed statement from Parent designating that some ExternalIdentity corresponds to Child.
• These implement the "." Notation Sub-Identity abstraction.