# \#blog **URL:** https://forum.canton.network/tag/blog/44.md [Latest](https://forum.canton.network/latest.md) · [Categories](https://forum.canton.network/categories.md) · [Tags](https://forum.canton.network/tags.md) --- ## [📝 DAML Formal Verification](https://forum.canton.network/t/daml-formal-verification/764)
**Author:** [@andreolf](https://forum.canton.network/u/andreolf)\ **Replies:** 4\ **Last updated:** [April 29, 2023, 10:42am UTC](https://forum.canton.network/t/daml-formal-verification/764 "2023-04-29T10:42:13Z")
DAML Community , :right\_anger\_bubble: here @gertjanb wrote a great blog post on Formal Verification & DAML. Topics such as: :arrow\_right: What is Formal Verification? :arrow\_right: Formal Verification in DAML :arr… --- ## [Feedback re Daml Engineering Blog](https://forum.canton.network/t/feedback-re-daml-engineering-blog/2987)
**Author:** [@quidagis](https://forum.canton.network/u/quidagis)\ **Replies:** 2\ **Last updated:** [August 12, 2021, 6:04pm UTC](https://forum.canton.network/t/feedback-re-daml-engineering-blog/2987 "2021-08-12T18:04:10Z")
I was just reading the interesting article on Python & Daml by @Levente\_Barczy on the Engineering Blog. I noticed that the Social Media links; Twitter and LinkedIn are non-functional while the links below in the Further… --- ## [Suggestion re Daml Blog Posts In/On Forum](https://forum.canton.network/t/suggestion-re-daml-blog-posts-in-on-forum/2537)
**Author:** [@quidagis](https://forum.canton.network/u/quidagis)\ **Replies:** 7\ **Last updated:** [May 3, 2021, 12:50pm UTC](https://forum.canton.network/t/suggestion-re-daml-blog-posts-in-on-forum/2537 "2021-05-03T12:50:06Z")
Is it possible to have all Blog post hyperlinks in/on the forum, open in a new tab? That way you can ‘read & close’ or ‘read & go down the rabbit hole of links’. --- ## [Query Re How Much Effort ... Blog Post](https://forum.canton.network/t/query-re-how-much-effort-blog-post/2485)
**Author:** [@quidagis](https://forum.canton.network/u/quidagis)\ **Replies:** 1\ **Last updated:** [April 20, 2021, 6:41am UTC](https://forum.canton.network/t/query-re-how-much-effort-blog-post/2485 "2021-04-20T06:41:35Z")
I was re-reading How much effort … again, and had to ask about this: Their mission — successfully accomplished — was to use DAML to build a complete, working financial market infrastructure that will be used as a fully… --- ## [Secure DAML Infrastructure – Part 2 – JWT, JWKS and Auth0](https://forum.canton.network/t/secure-daml-infrastructure-part-2-jwt-jwks-and-auth0/1722)
**Author:** [@andreolf](https://forum.canton.network/u/andreolf)\ **Replies:** 0\ **Last updated:** [December 1, 2020, 5:13pm UTC](https://forum.canton.network/t/secure-daml-infrastructure-part-2-jwt-jwks-and-auth0/1722 "2020-12-01T17:13:27Z")
Hi DAMLers, :memo: :point\_right: In Part 1 , @nycnewman described how to set up a PKI infrastructure and configure the DAML Ledger Server to use secure TLS connections and mutual authentication. This protects data in tr… --- ## [Zooming in on DAML’s performance](https://forum.canton.network/t/zooming-in-on-daml-s-performance/1709)
**Author:** [@andreolf](https://forum.canton.network/u/andreolf)\ **Replies:** 0\ **Last updated:** [November 26, 2020, 12:40pm UTC](https://forum.canton.network/t/zooming-in-on-daml-s-performance/1709 "2020-11-26T12:40:11Z")
Hi DAMLers, here is a fresh blog post from @Martin\_Huschenbett, well done :clap: tl;dr If you care about performance, use DAML’s builtin syntax for accessing record fields. --- ## [New Blog post: DAML application on Proxy Voting](https://forum.canton.network/t/new-blog-post-daml-application-on-proxy-voting/1232)
**Author:** [@andreolf](https://forum.canton.network/u/andreolf)\ **Replies:** 2\ **Last updated:** [September 16, 2020, 7:48am UTC](https://forum.canton.network/t/new-blog-post-daml-application-on-proxy-voting/1232 "2020-09-16T07:48:41Z")
Here is another blog post from @Luis\_Marado on Streamline proxy voting and regulatory reporting using DLT He has also implemented a workflow to set-up the governance event (meeting event or information event) as a sha… --- ## [A DAML use case: How smart contracts could be implemented \[..\] and help prevent medical errors](https://forum.canton.network/t/a-daml-use-case-how-smart-contracts-could-be-implemented-and-help-prevent-medical-errors/1228)
**Author:** [@anthony](https://forum.canton.network/u/anthony)\ **Replies:** 4\ **Last updated:** [September 15, 2020, 5:40pm UTC](https://forum.canton.network/t/a-daml-use-case-how-smart-contracts-could-be-implemented-and-help-prevent-medical-errors/1228 "2020-09-15T17:40:19Z")
\[…\] notice how the signatories are now the institution and the doctor. This means that the medicine contract can only be created with consent from both the institution (given through the DoctorRole) and the doctor (give… --- ## [Block8 just started a 4 part series comparing DAML and Java on Corda](https://forum.canton.network/t/block8-just-started-a-4-part-series-comparing-daml-and-java-on-corda/1169)
**Author:** [@anthony](https://forum.canton.network/u/anthony)\ **Replies:** 0\ **Last updated:** [September 8, 2020, 3:43pm UTC](https://forum.canton.network/t/block8-just-started-a-4-part-series-comparing-daml-and-java-on-corda/1169 "2020-09-08T15:43:43Z")
When it comes to implementation, transactions are where we really start to see the divergence between Corda and DAML. Both Corda and DAML are designed in such a way that transactions can consume some previous state to c… --- ## [DAML Smart Contracts in a Covid-19 diagnostics app](https://forum.canton.network/t/daml-smart-contracts-in-a-covid-19-diagnostics-app/1091)
**Author:** [@andreolf](https://forum.canton.network/u/andreolf)\ **Replies:** 2\ **Last updated:** [August 27, 2020, 6:25am UTC](https://forum.canton.network/t/daml-smart-contracts-in-a-covid-19-diagnostics-app/1091 "2020-08-27T06:25:45Z")
:fast\_forward: Here is a blog post from @bartcant explaining their #Covid19 solution using DAML #smartcontracts and W3C verifiable credentials. Check it out :arrow\_down: The use of #DAML smart contracts allows Rethink … --- ## [Suggestion: Preview related posts from blog.daml.com](https://forum.canton.network/t/suggestion-preview-related-posts-from-blog-daml-com/875)
**Author:** [@Luciano](https://forum.canton.network/u/Luciano)\ **Replies:** 7\ **Last updated:** [July 21, 2020, 5:22pm UTC](https://forum.canton.network/t/suggestion-preview-related-posts-from-blog-daml-com/875 "2020-07-21T17:22:03Z")
We currently promote new blog posts from the forum. But it would be nice if we could do the converse, and show related posts at the bottom of the blog (in an iframe?) - that way, people reading articles can see any feed… --- ## [Any ideas how to model habits with DAML?](https://forum.canton.network/t/any-ideas-how-to-model-habits-with-daml/858)
**Author:** [@andreolf](https://forum.canton.network/u/andreolf)\ **Replies:** 2\ **Last updated:** [July 20, 2020, 10:34am UTC](https://forum.canton.network/t/any-ideas-how-to-model-habits-with-daml/858 "2020-07-20T10:34:08Z")
Check out here the latest blog post from @SamirTalwar on Decentralized Honesty – Habit Tracking with DAML. Quoting @SamirTalwar: The concept of trust isn’t one we think about with simple applications such as this one,… --- ## [Building Powerful Contracts Using DAML by @upanshu21](https://forum.canton.network/t/building-powerful-contracts-using-daml-by-upanshu21/781)
**Author:** [@andreolf](https://forum.canton.network/u/andreolf)\ **Replies:** 0\ **Last updated:** [July 2, 2020, 12:56pm UTC](https://forum.canton.network/t/building-powerful-contracts-using-daml-by-upanshu21/781 "2020-07-02T12:56:34Z")
Dear Community, Another DAML blog post from @upanshu21 introducing DAML :star\_struck: This is an article on the introduction to DAML, the world of smart contracts, and how we can start using DAML to build contracts in … --- ## [DAML on Fabric external review from Knoldus Inc:](https://forum.canton.network/t/daml-on-fabric-external-review-from-knoldus-inc/722)
**Author:** [@andreolf](https://forum.canton.network/u/andreolf)\ **Replies:** 2\ **Last updated:** [June 23, 2020, 4:43pm UTC](https://forum.canton.network/t/daml-on-fabric-external-review-from-knoldus-inc/722 "2020-06-23T16:43:36Z")
:mag\_right: Here us a DAML on Fabric external review by @upanshu21 from Knoldus Inc: " In our last blog, DAML on Hyperledger Sawtooth, we deployed our DAML application on a single node Hyperledger Sawtooth ecosystem, a… --- ## [Why DAML is excellent to represent digital currency? - CBDC modeling in a nutshell with the actual DAML code](https://forum.canton.network/t/why-daml-is-excellent-to-represent-digital-currency-cbdc-modeling-in-a-nutshell-with-the-actual-daml-code/666)
**Author:** [@andreolf](https://forum.canton.network/u/andreolf)\ **Replies:** 1\ **Last updated:** [June 16, 2020, 4:33pm UTC](https://forum.canton.network/t/why-daml-is-excellent-to-represent-digital-currency-cbdc-modeling-in-a-nutshell-with-the-actual-daml-code/666 "2020-06-16T16:33:07Z")
:+1: Kudos to @Richard\_Kapolnai and @gaborh for this great blog post :arrow\_right: Why DAML is excellent to represent digital currency? They highlight the main features of #digitalmoney and how they can be implement… --- ## [Topics for developer-focused blogposts?](https://forum.canton.network/t/topics-for-developer-focused-blogposts/600)
**Author:** [@andreolf](https://forum.canton.network/u/andreolf)\ **Replies:** 6\ **Last updated:** [June 8, 2020, 8:57am UTC](https://forum.canton.network/t/topics-for-developer-focused-blogposts/600 "2020-06-08T08:57:50Z")
Hey DAML community, We are exploring having a stream of a bit more developer-focused blogposts. For that reason, we would like to have a technical blog post series and we are asking the community which specific topics … --- ## [📝 A new blog post on privacy, API layers and distributed applications!](https://forum.canton.network/t/a-new-blog-post-on-privacy-api-layers-and-distributed-applications/586)
**Author:** [@andreolf](https://forum.canton.network/u/andreolf)\ **Replies:** 1\ **Last updated:** [June 2, 2020, 8:18pm UTC](https://forum.canton.network/t/a-new-blog-post-on-privacy-api-layers-and-distributed-applications/586 "2020-06-02T20:18:26Z")
:memo: A new blog post from @anthony: DAML helps to abstract the business logic :briefcase: of your application away from the coordination of transactions by handling the backend ledger access and API layers for you. I… --- ## [Great blog post DAML #smartcontracts for enterprise data orchestration and analytics #1](https://forum.canton.network/t/great-blog-post-daml-smartcontracts-for-enterprise-data-orchestration-and-analytics-1/537)
**Author:** [@andreolf](https://forum.canton.network/u/andreolf)\ **Replies:** 7\ **Last updated:** [May 28, 2020, 1:59pm UTC](https://forum.canton.network/t/great-blog-post-daml-smartcontracts-for-enterprise-data-orchestration-and-analytics-1/537 "2020-05-28T13:59:18Z")
Do you know how Smart Contracts Can Accelerate Your AI & Analytics Roadmap? Check this article out! Top parts of this post for me where the diagrams, check those out and let me know what do you think: Here is the data … --- ## [R3's Corda vs Digital Asset's DAML - Part One](https://forum.canton.network/t/r3s-corda-vs-digital-assets-daml-part-one/36)
**Author:** [@anthony](https://forum.canton.network/u/anthony)\ **Replies:** 0\ **Last updated:** [April 3, 2020, 1:11pm UTC](https://forum.canton.network/t/r3s-corda-vs-digital-assets-daml-part-one/36 "2020-04-03T13:11:41Z")
"The most well-known DLT technologies available for enterprise solutions today include Hyperledger Besu (an Ethereum client, previously Pantheon), R3’s Corda, Digital Asset’s DAML and Hyperledger Fabric. In each part of…