Combining Blockchain, Cloud and Nanotechnology to secure the supply chain with Sextant for DAML

Nanotechnology, smart contracts and blockchain all come together to create an elegant and effective solution that will improve a $1.8 trillion problem that has vast economic and human consequences.

'Helvetica Neue', Helvetica, Arial, sans-serif

DAML Driven Blog

DAML Driven

<h3>Nanotechnology, smart contracts and blockchain all come together to create an elegant and effective solution that will improve a $1.8 trillion problem that has vast economic and human consequences.</h3>
<h3>Today Digital Asset and Blockchain Technology Partners <a href="https://hub.digitalasset.com/press-release/sextantdaml">announced the availability of Sextant for DAML</a> with early adopters Quantum Materials Corp. Download the <a href="https://daml.com/">DAML SDK</a> and deploy with <a href="https://www.blockchaintp.com/sextant/daml/">Sextant for DAML</a> today.</h3>
<img src="https://hub.daml.com/hubfs/sextant-card.png" alt="sextant-card" width="1998" style="width: 1998px;">
Counterfeit goods are a $1.8 trillion criminal industry with vast economic and human consequences. The Boston Consulting Group estimates that as much as $200 billion of drugs sold annually are fakes and 10% of European luxury products are counterfeited. The immutable uniqueness of Quantum Materials Corp’s optical signatures can reinforce trust at all stages of the supply chain.&nbsp;
How so? After over a decade of nanotechnology research in their labs in Austin, Texas, QMC have released Quantum Dots, nanoscale particles so tiny you could line ten thousand of them across the diameter of a human hair. These quantum dots react to energy and light and can be tuned to emit predetermined wavelengths of light. By varying the wavelength QMC can design billions of unique optical signatures which can be incorporated in the production of almost anything, from aircraft components to luxury handbags. Impossible to copy, these optical signatures can determine absolute product identity.
Quantum dots are the stuff of magic but these unique optical signatures are only useful with the technology that enables them to be read and identified securely. This is where <a href="https://digitalasset.com/">Digital Asset</a> and <a href="https://www.blockchaintp.com/">BTP</a> have stepped in.&nbsp;
In order to verify an optical signature, an immutable and cryptographically secure digital twin is required. QMC’s use case lends itself perfectly to distributed ledger technology which, essentially, is an innovative secure database architecture where multiple parties can transact using a single source of truth with mathematical certainty.&nbsp;
Combining their expertise in getting DLT projects into production and generating real business value, Digital Asset and BTP partnered with QMC to provide a blockchain platform that will enable customers to verify the authenticity of their optical light signatures as simply as using a hand-held scanner or smartphone application.
To this end, Digital Asset created and open sourced <a href="https://daml.com/">DAML</a>, a smart contract language that abstracts away the complexity of multi-party business processes on distributed ledgers. DAML is intuitive and focuses on business logic allowing developers to focus on the essential business value of an application and get to market first.
BTP works under the covers by providing its blockchain management platform, <a href="https://www.blockchaintp.com/sextant/daml/">Sextant for DAML</a>. Sextant for DAML abstracts away the operational complexity and takes care of the service delivery of the blockchain network. Sextant for DAML currently supports DAML smart contracts running on Hyperledger Sawtooth, an open source distributed ledger technology hosted by the Linux Foundation, as well as Amazon Aurora, a cloud storage engine on Amazon Web Services (AWS), with support for further ledgers coming later this year.&nbsp;
 Get started with <a href="https://www.blockchaintp.com/sextant/daml/">Sextant for DAML</a> today!

<html>
 <head></head>
 <body>
 <h3>Nanotechnology, smart contracts and blockchain all come together to create an elegant and effective solution that will improve a $1.8 trillion problem that has vast economic and human consequences.</h3> 
 <h3>Today Digital Asset and Blockchain Technology Partners <a href="https://hub.digitalasset.com/press-release/sextantdaml">announced the availability of Sextant for DAML</a> with early adopters Quantum Materials Corp. Download the <a href="https://daml.com/">DAML SDK</a> and deploy with <a href="https://www.blockchaintp.com/sextant/daml/">Sextant for DAML</a> today.</h3> 
 Counterfeit goods are a $1.8 trillion criminal industry with vast economic and human consequences. The Boston Consulting Group estimates that as much as $200 billion of drugs sold annually are fakes and 10% of European luxury products are counterfeited. The immutable uniqueness of Quantum Materials Corp’s optical signatures can reinforce trust at all stages of the supply chain.&nbsp; 
 </body>
</html>

https://hub.daml.com/hubfs/sextant-card.png

<h3>Nanotechnology, smart contracts and blockchain all come together to create an elegant and effective solution that will improve a $1.8 trillion problem that has vast economic and human consequences.</h3>
<h3>Today Digital Asset and Blockchain Technology Partners <a href="https://hub.digitalasset.com/press-release/sextantdaml">announced the availability of Sextant for DAML</a> with early adopters Quantum Materials Corp. Download the <a href="https://daml.com/">DAML SDK</a> and deploy with <a href="https://www.blockchaintp.com/sextant/daml/">Sextant for DAML</a> today.</h3>
<img src="https://hub.daml.com/hubfs/sextant-card.png" alt="sextant-card" width="1998" style="width: 1998px;">
Counterfeit goods are a $1.8 trillion criminal industry with vast economic and human consequences. The Boston Consulting Group estimates that as much as $200 billion of drugs sold annually are fakes and 10% of European luxury products are counterfeited. The immutable uniqueness of Quantum Materials Corp’s optical signatures can reinforce trust at all stages of the supply chain.&nbsp;

module_15571537756151858

module_1557431396199392

module_1563914750727231

DLint : Expert help writing DAML

DLint analyzes your code while you’re typing it, looking for issues and making suggestions on how you might care to improve it. It’s highly configurable (you can turn warnings off and on with granular scope control).

DAML Engineering Blog

Engineering Notes

For developers of all skill levels, it’s a constant challenge to keep in mind the myriad of ways the code we write could be better. For DAML developers it’s not different. We wish to produce programs that are elegant, efficient, readable by others ... the list goes on. With each PR, we look to our code reviewers to advise us on (at least) the most obvious improvements we could make. This is especially true for DAML newcomers. One of our main goals with DAML is to make developers extremely productive, and to make it easy for them to build high quality and secure code. The faster a developer gets feedback, the more productive they are. Relying on code review has an unfavorable feedback latency and getting full value can be "hit and miss". Wouldn't it be ideal if, while programming, you had an expert at your shoulder offering advice? With the linting features we are integrating into the DAML IDE, the developer gets that advice as they type. DLint analyzes your code while you’re typing it, looking for issues and making suggestions on how you might care to improve it. It’s highly configurable (you can turn warnings off and on with granular scope control). The suggestions are easy for programmers of all levels to understand and where it makes sense, provides suggested code. Taking advantage of it is very easy and its use improves code quality! The image below shows DLint in action. The IDE is warning that it found a block of duplicated code (suggesting an improved version would “factor out” the common block into a function).
<img src="https://hub.daml.com/hubfs/main.png" alt="main" width="1051" style="width: 1051px;">Here’s another example of the sort of thing it can do. Given this function,
<img src="https://hub.daml.com/hubfs/negate.png" alt="negate" width="1083" style="width: 1083px;">DLint provides the following suggestion:
<img src="https://hub.daml.com/hubfs/foldr.png" alt="foldr" width="1084" style="width: 1084px;">
The suggestion here is that we replace our multi-equation recursive function with a one line version using the idiomatic standard library function foldr. 
This is an engineering note, so now let’s get a little into how it's implemented.
DLint is achieved by the adaption and integration of <a href="https://ndmitchell.com/">Neil Mitchell</a>'s celebrated HLint package. HLint is a venerable program with over 15+ years of active development and HLint's use by the Haskell community is ubiquitous. The integration is made possible by the fact that we wrote the DAML IDE in Haskell and that the DAML compiler <a href="https://www.youtube.com/watch?v=mQulFrOp0Rg">uses the GHC stack "under the hood"</a>.
We do a lot of cool open source work at DA. Part of getting this functionality into the IDE means submitting lots of updates to upstream <a href="https://github.com/ndmitchell/hlint">hlint</a> (to use the <a href="http://hackage.haskell.org/package/ghc-lib-parser">ghc-lib-parser</a> package). Also, check out the <a href="https://github.com/digital-asset/ghcide">ghcide project</a> where we're contributing parts of this technology to the Haskell community! DAML itself is completely open source <a href="https://github.com/digital-asset/daml">here</a>.
We are super proud of how the DAML IDE is coming along. Try the new DLint features for yourself! You can download the DAML SDK <a href="https://docs.daml.com/getting-started/installation.html">here</a> and <a href="https://github.com/shayne-fletcher-da/lint-demo">this git repository</a> will give you a quickstart exploring some of DLint’s capabilities.

<html>
 <head></head>
 <body>
 For developers of all skill levels, it’s a constant challenge to keep in mind the myriad of ways the code we write could be better. For DAML developers it’s not different. We wish to produce programs that are elegant, efficient, readable by others ... the list goes on. With each PR, we look to our code reviewers to advise us on (at least) the most obvious improvements we could make. This is especially true for DAML newcomers. One of our main goals with DAML is to make developers extremely productive, and to make it easy for them to build high quality and secure code. The faster a developer gets feedback, the more productive they are. Relying on code review has an unfavorable feedback latency and getting full value can be "hit and miss". Wouldn't it be ideal if, while programming, you had an expert at your shoulder offering advice? With the linting features we are integrating into the DAML IDE, the developer gets that advice as they type. DLint analyzes your code while you’re typing it, looking for issues and making suggestions on how you might care to improve it. It’s highly configurable (you can turn warnings off and on with granular scope control). The suggestions are easy for programmers of all levels to understand and where it makes sense, provides suggested code. Taking advantage of it is very easy and its use improves code quality! The image below shows DLint in action. The IDE is warning that it found a block of duplicated code (suggesting an improved version would “factor out” the common block into a function). 
 </body>
</html>

For developers of all skill levels, it’s a constant challenge to keep in mind the myriad of ways the code we write could be better. For DAML developers it’s not different. We wish to produce programs that are elegant, efficient, readable by others ... the list goes on. With each PR, we look to our code reviewers to advise us on (at least) the most obvious improvements we could make. This is especially true for DAML newcomers. One of our main goals with DAML is to make developers extremely productive, and to make it easy for them to build high quality and secure code. The faster a developer gets feedback, the more productive they are. Relying on code review has an unfavorable feedback latency and getting full value can be "hit and miss". Wouldn't it be ideal if, while programming, you had an expert at your shoulder offering advice? With the linting features we are integrating into the DAML IDE, the developer gets that advice as they type. DLint analyzes your code while you’re typing it, looking for issues and making suggestions on how you might care to improve it. It’s highly configurable (you can turn warnings off and on with granular scope control). The suggestions are easy for programmers of all levels to understand and where it makes sense, provides suggested code. Taking advantage of it is very easy and its use improves code quality! The image below shows DLint in action. The IDE is warning that it found a block of duplicated code (suggesting an improved version would “factor out” the common block into a function).

Release of DAML SDK 0.13.34

DAML SDK Release Notes

Release Notes

<h2>
<a id="user-content-daml-lf---internal" class="anchor" href="#daml-lf---internal" aria-hidden="true"></a>DAML-LF - Internal</h2>
<ul>
<li>
Freeze DAML-LF 1.7. Summary of changes (See DAML-LF specification for more details.):
<ul>
<li>Add support for parametrically scaled Numeric type.</li>
<li>Drop support of Decimal in favor or Numerics.</li>
<li>Add interning of strings and names. This reduces drastically dar file size.</li>
<li>Add support for 'Any' type.</li>
<li>Add support for type representation values.</li>
</ul>
</li>
<li>
Add immutable bintray/maven packages for handling DAML-LF archive up to version 1.7:
<ul>
<li>
<code>com.digitalasset.daml-lf-1.7-archive-proto</code>
This package contains the archive protobuf definitions as they
were introduced when 1.7 was frozen. These definitions can be
used to read DAML-LF archives up to version 1.7.
</li>
</ul>
</li>
</ul>
<h2>
<a id="user-content-daml-triggers" class="anchor" href="#daml-triggers" aria-hidden="true"></a>DAML Triggers</h2>
<ul>
<li>Triggers must now be compiled with <code>daml build --target 1.7</code> instead of <code>1.dev</code>.</li>
</ul>

Get your app to market first

Productive

Innovative

Developer Driven

What is DAML?

The platforms

by Blockchain Technology Partners