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
In What 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
In The 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
In What properties must an enterprise smart contract language have?, Simon
A new language for a new paradigm: smart contracts
Daml — a language purpose-built for the exchange of value
In Distributed Ledgers need more than traditional design patterns, Shaul asserted that
What properties must an enterprise smart contract language have?
When it comes to DLT contract languages you must choose, but choose wisely
In our previous article Distributed ledgers need more than traditional
Distributed ledgers need more than traditional application design patterns
The role of language in DLT-based financial markets
Modern society depends on the secure transfer of value in nearly every aspect of life — from