┌────────┐                                                          ┌───────┐                                                        
     │Attester│                                                          │Verifer│                                                        
     └────┬───┘                                                          └───┬───┘                                                        
          │                                                                  │                                                            
          │                                       ╔══════════════════════════╧═════════╗                                                  
══════════╪═══════════════════════════════════════╣ Evidence Generation and Conveyance ╠══════════════════════════════════════════════════
          │     ────┐                                     ═══════════════════╤═════════╝                                                  
          │         │ generateClaims(attestingEnvironment)                   │                                                            
          │     <───┘                                                        │                                                            
          │                                                                  │                                                            
          │                                                                  │                                                            
          │                                                                  │                                                            
          │                                                                  │                                                            
          │─ ─ ┐                                                             │                                                            
          │    | claims, eventLogs                                           │                                                            
          │< ─ ┘                                                             │                                                            
          ┌┴┐     requestAttestation(handle, authSecIDs, claimSelection)     │                                                            
          │ │ <────────┐                                      ───────────────│                                                            
          │ │          │ collectClaims(claims, claimSelection)               │                                                            
          │ │      <───┘                                                     │                                                            
          │ │                                                                │                                                            
          │ │                                                                │                                                            
          │ │                                                                │                                                            
          │ │                                                                │                                                            
          │ │ ─ ─ ┐                                                          │                                                            
          │ │     | c────┐                                                                                                                
          │ │ < ─ ┘      │ generateEvidence(handle, authSecIDs, collectedClaims)                                                          
          │ ┌┴┐      <───┘                                                                                                                
          │ │ │                                                              │                                                            
          │ │ │                                                              │                                                            
          │ │ │                                                              │                                                            
          │ │ │                                                              │                                                            
          │ │ │ ─ ─ ┐                                                        │                                                            
          │ │ │     | evidence, eventLogs                                    │                                                            
          │ │ │ < ─ ┘                                                        │                                                            
          │ │┌┴┐                     evidence, eventLogs                     │                                                            
          │ ││ │  ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ >│                                                            
          │ ││ │                                                             │                                                            
          │ ││ │                                                             │                                                            
          │ ││ │                                          ╔══════════════════╧═╗                                                          
══════════╪═╪╪═╪══════════════════════════════════════════╣ Evidence Appraisal ╠══════════════════════════════════════════════════════════
          │ ││ │                                          ╚══════════════════╤═╝   ────┐                                                  
          │ ││ │                                                             │         │ appraiseEvidence(evidence, eventLogs, refValues) 
          │ ││ │                                                             │     <───┘                                                  
          │ ││ │                                                             │                                                            
          │ ││ │                                                             │                                                            
          │ ││ │                                                             │                                                            
          │ ││ │                                                             │                                                            
          │ ││ │                                                             │─ ─ ┐                                                       
          │ ││ │                                                             │    | attestationResult                                     
     ┌────│ ││ │                                                         ┌───┴< ─ ┘                                                       
     │Atte│ ││ │                                                         │Ve┌┴┐er│                                                        
     └────│ ││ │                                                         └──│ │──┘                                                        
          └┬└└┬┘                                                            └┬┘