verification schematic

Verification process schematic

Legenda

Edges

• e: evidence
• a: attestation results
• P: appraisal policy for evidence
• E_i: identity endorsement (e.g., verification keys)
• E_v: endorsed values (e.g., certification status, color, etc.)
• R: reference values
• C_e: evidence claims-set
• C_d: derived claims-set (e.g., from endorsed values)
• sk_V: verifier signing key
• f: verification failure signal

Nodes

• 1: crypto verification
• 2: reference values match
• 3: endorsed values "decoration"
• 4: attestation results framing and signing

---

ASCII art left as reference

                                  P
                                  |
                .-----------------+-----------------.
               |                  |                  |
               v                  v                  v
          .---------.        .---------.        .---------.
          |         |  C_e   |         |  C_e   |         | C_e, C_d
e ------->|    1    +------->|    2    +------->|    3    +---------.
          |         +--.     |         +--.     |         |          |
          '---------'   |    '---------'   |    '---------'          |
               ^        |         ^        |         ^               |
               |        |         |        |         |               |
               |        | f       |        | f, C_e  |               |
               |        |         |        |         |               |
              E_i       |         R        |        E_v              |
                        |                  v                         |
                        |             .---------.                    |
                         '----------->|         |                    |
                                      |    4    |<------------------'
                         sk_V ------->|         |
                                      '----+----'
                                           |
                                           |
                                           |
                                           v
                                           a