Cardano 创始人正开发新编程语言，融合交易意图与 Groth16 证明

ChainCatcher 消息，据 CoinDesk 报道，Cardano 创始人 Charles Hoskinson 表示，他正亲自为 Cardano 网络开发一种新的编程语言，并与 Input Output Global 工程师 Lucas Rosa 合作。Lucas Rosa 是 Cardano 主要智能合约语言之一 Aiken 的共同创建者。Hoskinson 在 X 平台发文称，这将是首个将用户希望交易完成的操作与密码学证明相结合的编程语言。

据介绍，该语言将支持三种工具：交易意图、携带证明的数据以及 Groth16 证明。交易意图允许用户说明想要完成的目标，而将具体步骤交给应用处理，例如交易者可以要求在最终价格满足设定条件时才将一种代币兑换为另一种，而无需说明具体路径。

携带证明的数据可为信息附加密码学证据，证明其符合特定规则，其他应用无需重新计算即可验证。Groth16 则是一种广泛使用的证明系统，可生成体积小、验证速度快的证明，在不暴露隐私数据的前提下证明条件已满足。

三者结合后，开发者可以构建协调交易、检查复杂条件并在服务之间传递已验证信息的应用，最终由 Cardano 验证一个小型证明。目前 Cardano 开发者主要使用基于 Haskell 的 Plutus 以及 Aiken 编写智能合约，而 Hoskinson 旗下 Input Output Global 构建的隐私区块链 Midnight 拥有自己的语言 Compact。该新语言的名称、公开代码及发布日期目前均未公布。