CSL Technology

CSL Language Guide

A language to specify digital contracts

CSL (Contract Specification Language) is a computer language to specify and control the execution of legal contracts.

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.

Nodes

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

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