How we do it

Try now

A language for digital contracts

CSL (Contract Specification Language) is a functional language. It specifies the business interactions protocol and defines the rules of digital contracts. The set of admissible business actions is written using the report specification feature which includes a query language to analyze and report over the current state of B2B interactions. The ontology specification feature defines the data format that in turn defines which event must be transmitted to the parties.

How it works

Digital Contracts

Digital contracts, written in CSL, are a passive and mathematically verifiable protocol to validate mutually agreed business actions between partners.

Interface

Deon Digital technology enables the interaction of backend systems with the peers of a distributed ledger network via a DLT adapter. The peers form a business network which guarantees a consistent view of the current obligations across all parties.

DLT Adapter

The DLT adapter is integrated in the backend systems and the DLT peers. It carries out on the peers the processing of business actions, specified in the obligations of the digital contract. Deon Digital currently offers DLT adapters for R3 Corda and IBM Hyperledger.

Business Network

Peers participate in a business network and gain shared control over data. A governance/KYC process may be implemented for the participants in order to satisfy potential regulatory requirements and/or to assure that the parties of a digital contract can trust each other.

In business networks formed by peers of a permissioned distributed ledger, confidentiality regarding the state of the digital contracts, as well as the real-world identities can be achieved through a selective distribution of data and the use of public-key cryptography.

Tamper-proof

Parties cannot falsify a contract.

Analyzable

Calculate the future obligations, rights, and processes.

Privacy-ensuring

The Distributed Ledger Technology ensures that only contract parties have access to data.

Technology Comparison

During the past few years many different solutions have been proposed for what’s commonly referred to as Smart Contracts Technologies. At the base of each proposition there is a language. Deon Digital’s proposition is based on CSL (Contract Specification Language), but what are its main characteristics and how does it compare to the other available proposition on the market? Find below our landscape analysis.


Legally binding
Human and
machine readable
Contracts and
execution
separation
Reporting
capability
Mathematical
semantics
Compositional
Deterministic
Type safety
Ledger-agnostic
CSL
Deon Digital
YES
YES
YES
YES
YES
YES
YES
YES
YES
Solidity
Ethereum
No
Limited
No
No
No
No
Yes
No
No
DAML
Digital Asset
Yes
Yes
No
Yes
Yes
N/A
Yes
Yes
Yes
Plutus
Cardano
No
Limited
No
No
Yes
No
Yes
Yes
No
adjoint
Adjoint.io
No
Limited
No
?
No
No
Yes
Yes
No
Pact
Kadena
No
No
No
?
No
No
Yes
?
No

Feedback?

Leave a message and we'll be in touch soon