Global synchronization beyond blockchain
Joined June 2019
- Tweets17
- Following8
- Followers112
- Likes11
Digital Asset Canton Team retweeted
Next week, Andreas will give a lightning talk at @poplconf on Daml's theoretical foundations: A semantic domain for privacy-aware smart contracts and interoperable sharded ledgers. Check it out!
popl21.sigplan.org/details/C…
A nice short introduction into all the key features of Canton, written in the context of central bank digital currency (CBDC). #dlt #smartcontracts #Interoperability
🆕 Domains are an abstraction of the concept of a distributed ledger, allowing us to turn any #distributed #ledger into a Canton domain, leading to #DAML ledger #interoperability.
Great blog post on "#CBDC Technology Properties"
daml.com/daml-driven/cbdc-te…
#dlt #smartcontracts
On June 30 at 14:30 CEST (=UTC+2), Andreas Lochbihler will present our paper on formalizing Merkle-tree-like structures at the Isabelle/HOL workshop associated with IJCAR. To listen in, register for free here: ijcar2020.org/registration-a…
Our new formal methods paper shows how to model Merkle trees and other authenticated data structures (e.g., those used in Canton) in Isabelle/HOL. We'll present it at the Isabelle 2020 Workshop. Get it at canton.io/publications/iw202…
Digital Asset Canton Team retweeted
Epic line-up of business leaders (rockstars! :) pondering how to outcompete destructive systems right now in #Davos at #BlockchainCentral lounge of @GBBCouncil. prn.to/30Nq722 @VMware @DAMLdriven @digitalasset @YuvalRooz @spoonen @KavitaGupta19 @RodBeckstrom 🥁
Digital Asset Canton Team retweeted
“Where my passion is... one of the key things with this technology is to think: you are going to change the system and create something new.” -@YuvalRooz @digitalasset on potential of #blockchain to outcompete destructive systems. #odysseyhack – at Davos, Switzerland
Digital Asset Canton Team retweeted
Digital Asset Raises $35 Million in Series C Financing to Capture Smart Contract Market with DAML
hubs.ly/H0mbJw20
Our new paper shows how Canton's distributed commit protocol enables a scalable and privacy-preserving coin design; get it from canton.io/#section03
Digital Asset Canton Team retweeted
We're delighted to be partnering with @ISDA and @Barclays on #DerivHack2019. This year we're providing participants with a ledger-as-a-service for CDM-based apps. Want to get @DAMLdriven and code your way to victory? Visit: hubs.ly/H0kQZ420
Our extended abstract for the @CSFSymposium 2019 is now online: canton.io/publications/csf20…
Andreas Lochbihler of the @CantonTeam will be presenting a poster and giving a 5-minute talk about Canton at the @CSFSymposium in Hoboken, NJ, June 25-28 - meet us there!