/**
 * Master valuta trading network
 */
namespace org.master.token

asset Borsellino identified by uuid {
    o String uuid
    o Integer quantity
}

participant Individuo identified by kpub {
    o String kpub
    o String cognome
    o String nome
    o String [] prodottiCercati
    --> Borsellino borsellino
}

participant Banca identified by name {
  o String name
  o String descrizione
}

//Solo una banca può attivare questa transazione
//non termina se il proprietario non esiste
//aggiunge la quantità al borsellino del proprietario
transaction CreaMaster {
    --> Banca banca
    o Integer quantity
    o String kpubProprietario
}

asset PaymentId identified by id {
  o String id
  o Boolean used
}

transaction Pagamento {
  o Integer quantity
  --> Individuo nuovoProprietario
  --> Individuo vecchioProprietario
  o String proofOfProperty //dimostra che la transazione la sta chiedendo l'attuale proprietario ed è unica. Significa che la transazione verifica se la proofOfProeperty è stata già utilizzata. è un numero casuale firmato con la chiave privata del vecchio proprietario
}