Cardano（卡尔达诺）创始人查尔斯·霍斯金森正在为其区块链编写一门新的编程语言。他表示，这将是首个把用户希望一笔交易实现的目标，与证明规则已被遵守的密码学证明结合起来的语言。
“我实际上正在亲自为Cardano开发一门编程语言，”霍斯金森周日（? Wait no date? English says Sunday, translate 周日）在X上写道，并补充说他正与Input Output Global的软件工程师Lucas Rosa合作；Rosa是Cardano主要智能合约语言之一Aiken的联合创建者。
这并非大多数创始人在其网络发展到如此规模后还会做的事。霍斯金森经营着一家工程师云集的公司，却仍选择亲自编写未来Cardano应用可能构建其上的工具。
该语言将支持三种工具：交易意图、携带证明的数据以及Groth16证明。
意图让用户说明自己想要完成什么，并把实现步骤留给应用。交易者可以要求仅在最终价格满足设定条件时，将一种代币兑换为另一种代币，而无需说明具体如何实现。
携带证明的数据把密码学证据附加到某条信息上，表明该信息遵循某些规则。另一个应用可以核验该证据，而无需重新执行其背后的每一项计算。
Groth16是一种广泛使用的证明系统，可生成体积极小、计算机能快速核验的证明。这些证明可以表明某项条件已满足，同时不披露用于满足该条件的私人数据。
三者结合起来，可能让开发者构建这样的应用：协调交易、检查复杂条件，并在不同服务之间传递经过验证的信息，最终由Cardano核验一个小型证明。
Cardano开发者目前已经使用基于Haskell编程语言构建的Plutus以及Aiken编写智能合约。霍斯金森公司Input Output Global打造、专注于隐私的区块链Midnight，则有自己的语言Compact，用于处理机密数据的应用。
与此同时，霍斯金森尚未公布这门新语言的名称、任何公开代码，也未给出开发者可以开始使用它的日期。
