Subscribe

Get the latest posts in your email

Intro Series

Aug 22, 2018

Smart contract code: when what you don’t write is as important as what you do

By Darko Pilav
. Aug 22, 2018
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 as quickly and easily as possible. With particular respect to DLT, as Ben and Edward noted in their blog post A new language for a new paradigm: smart contracts, “most smart contract ...
Read More

Intro Series

Aug 7, 2018

How difficult is it to write correct smart contracts? Depends on your tools!

By Andreas Lochbihler
. Aug 7, 2018
Formal method tools are key productivity aids for authoring correct smart contracts In What properties must an enterprise smart contract language have?, Simon and Neil stated that “for a contract to be guaranteed to perform as intended, it must be amenable to formal verification methods.” In this blog post, we first discuss what formal ...
Read More

Intro Series

Jul 31, 2018

Smart contract language: the real arbiter of truth?

By Soren Bleikertz
. Jul 31, 2018
DAML provides an immutable evidentiary audit trail of DLT contract execution In this blog series, the value of evidentiary, or audit ‘trails’ that record the results of contract execution has been voiced a couple of times: first from Simon and Neil in their blog entry What properties must an Enterprise smart contract language have? (“For ...
Read More

Intro Series

Jul 11, 2018

Keeping smart contracts private is hard — unless you truly understand them

By Ognjen Maric
. Jul 11, 2018
DAML helps preserve the confidentiality of sensitive DLT contractual information Distributed Ledger Technology (DLT) promises to break down information silos between mutually distrusting parties while maintaining integrity, availability, and privacy. In “Trust but verify” is a valuable DLT model — does your language support it?, Alex and ...
Read More

Intro Series

Jun 14, 2018

“Trust but verify” is a valuable DLT model — does your language support it?

By Ratko Veprek
. Jun 14, 2018
DAML enables reconciliation-free, post-commit DLT verification In The only valid DLT contract is a voluntary one — easier said than done, Martin and Jost delivered a very thorough explanation of how Digital Asset’s contract modeling language, DAML, provides native support for modeling the rights and obligations of parties to an ...
Read More

Intro Series

May 31, 2018

The only valid smart contract is a voluntary one — easier said than done

By Martin Huschenbett
. May 31, 2018
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 ...
Read More

Intro Series

May 17, 2018

A new language for a new paradigm: smart contracts

By Ben Lippmeier
. May 17, 2018
DAML — a language purpose-built for the exchange of value In Distributed Ledgers need more than traditional design patterns, Shaul asserted that because Distributed Ledger Technology (DLT) is a fundamentally new paradigm for operating applications that span multiple untrusted actors, programming languages used to build applications for ...
Read More

Intro Series

May 7, 2018

What properties must an enterprise smart contract language have?

By Simon Meier
. May 7, 2018
When it comes to DLT contract languages you must choose, but choose wisely In our previous article Distributed ledgers need more than traditional application design patterns, Shaul pointed out that most DLT vendors deliberately choose to “pair their ledgers with programming languages that are general-purpose and familiar in an effort to ...
Read More

Intro Series

Apr 18, 2018

Distributed ledgers need more than traditional application design patterns

By Shaul Kfir
. Apr 18, 2018
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 transfers of stock, bonds, or cash on the books of financial markets to the consumption of digital content for a fee. Despite the pervasiveness of financial transactions and decades of ...
Read More

Newsletter

Join the DAML mailinglist to get occasional updates on announcements and new releases