Asset Modeling in DAML (Tutorial-7 Deep Dive Part 2)

Overview

In Part 1 we have seen how asset is created and transferred. In this part we focus on asset trading in Tutorial 7.

Asset trade can be seen as two asset transfers happening at the same time: one party hands out her asset in return of the asset from another party. One challenge is to ensure both transfers happen atomically. Both transfers are either completed or failed. It should never happen that one side receives the asset while the other side does not. When assets are implemented in DAML, this can be…