Hoskinson称正为Cardano开发新语言，聚焦交易意图与零知识证明

据 CoinDesk 报道，Cardano 创始人 Charles Hoskinson 表示，他正亲自为 Cardano 网络开发一种新的编程语言，并与 Input Output Global 工程师 Lucas Rosa 合作。Lucas Rosa 也是 Cardano 主要智能合约语言之一 Aiken 的共同创建者。

Hoskinson 在 X 平台发文称，这将是首个把用户希望交易完成的操作与密码学证明结合起来的编程语言。

新语言计划支持三类工具

介绍显示，这种语言将支持三种工具：交易意图、携带证明的数据以及 Groth16 证明。

• 交易意图：允许用户说明自己想完成的目标，再由应用处理具体步骤。比如，交易者可以要求只有在最终价格满足设定条件时，才将一种代币兑换为另一种，而不必说明具体路径。
• 携带证明的数据：可为信息附加密码学证据，用来证明其符合特定规则，其他应用无需重新计算即可完成验证。
• Groth16 证明：这是一种广泛使用的证明系统，能够生成体积较小、验证速度较快的证明，并在不暴露隐私数据的前提下证明条件已经满足。

目标是让 Cardano 验证小型证明

按照上述设计，三者结合后，开发者可以构建能够协调交易、检查复杂条件，并在不同服务之间传递已验证信息的应用，最终由 Cardano 验证一个小型证明。

Cardano 现有语言与未披露信息

目前，Cardano 开发者主要使用基于 Haskell 的 Plutus 以及 Aiken 编写智能合约。Hoskinson 旗下 Input Output Global 构建的隐私区块链 Midnight，则拥有自己的语言 Compact。

这门新语言的名称、公开代码时间以及发布日期，目前均未公布。