Introduction
============

This tutorial details the steps to redeem a tokenized instrument using the Credential and Registry utilities.

Instrument
-------------------

The tokenized instrument redeemed is called BOND.

.. TODO: need to add link to step

Roles
---------------------------------

==================================    ================================    ================================
Roles in Tokenization Utility         Entity                              Roles in Asset BOND
==================================    ================================    ================================
Provider (onboarded by DA)            Provider
Registrar (onboarded by Provider)     Registrar
Issuer (onboarded by Provider)        Issuer                              Issuer of  BOND, Holder of BOND
Investor1 (onboarded by Provider)     Investor1                           Holder of BOND
Investor2 (onboarded by Provider)     Investor2                           Holder of BOND
==================================    ================================    ================================

Credential Design
---------------------------------

In this tutorial there are two sets of credentials:

- one set for role (Provider, Registrar and Holder) onboarding in the Registry
- one set for token specific role (BOND issuer and BOND holder) in the Registry

Here is the summary

===================================     =========================================   =========================================   =========================================   =========================================   =========================================
Entity                                  Provider                                    Registrar                                   Issuer                                      Investor1                                   Investor2
===================================     =========================================   =========================================   =========================================   =========================================   =========================================
Roles in Registry                       Provider                                    Registrar                                   Holder                                      Holder                                      Holder
Credential for role onboarding          [provider] [hasRegistryRole] [Provider]     [registrar] [hasRegistryRole] [Registrar]   [issuer] [hasRegistryRole] [Holder]         [investor1] [hasRegistryRole] [Holder]      [investor2] [hasRegistryRole] [Holder]
Credential issuer                       Digital Asset                               Provider                                    Provider                                    Provider                                    Provider
Token (BOND) specific roles                                                                                                     Issuer, Holder                              Holder                                      Holder
Token (BOND) specific credentials                                                                                               [issuer] [isIssuerOf] [BOND]                [investor1] [isHolderOf] [BOND]             [investor2] [isHolderOf] [BOND]
                                                                                                                                [issuer] [isHolderOf] [BOND]
Token specific credential issuer                                                                                                Registrar                                   Registrar                                   Registrar
===================================     =========================================   =========================================   =========================================   =========================================   =========================================