Posts about Engineering (14):
How much effort is required to become a Daml-Driven developer?
As it turns out, not much at all
Earlier entries in this Daml guest series have explored how seasoned finance industry veterans fromGFTand
Smart contract code: when what you don’t write is as important as what you do
Daml simplifies development of DLT-based markets
Given a choice, most developers would prefer to use tools that allow them to complete a given task
How difficult is it to write correct smart contracts? Depends on your tools!
Formal method tools are key productivity aids for authoring correct smart contracts
InWhat properties must an enterprise smart contract language
Smart contract language: the real arbiter of truth?
Daml provides an immutable evidentiary audit trail of DLT contract execution
In this blog series, the value of evidentiary, or audit ‘trails’ that
Keeping smart contracts private is hard — unless you truly understand them
Daml helps preserve the confidentiality of sensitive DLT contractual information
Distributed Ledger Technology (DLT) promises to break down
“Trust but verify” is a valuable DLT model — does your language support it?
Daml enables reconciliation-free, post-commit DLT verification
InThe only valid DLT contract is a voluntary one — easier said than done, Martin and
The only valid smart contract is a voluntary one — easier said than done
Daml models, tracks, and enforces smart contract rights and obligations
InWhat properties must an enterprise smart contract language have?,Simon