DAML models, tracks, and enforces smart contract rights and obligations
In What properties must an enterprise smart contract language have?, Simon and Neil defined several properties that “a smart contract language must enable for it to be acceptable for automating financial workflows.” The first of these specified that “for the consequences of a contract to be compulsory, entrance must be voluntary.” Sounds pretty straightforward, right? But let’s probe this property more deeply and see what surfaces.
Read more on our developer blog >