Cardano 创始人 Charles Hoskinson 正在为该网络开发一种新的编程语言

Cardano 创始人 Charles Hoskinson 正在为他的区块链编写一种新的编程语言。他表示，这将是首个将用户对交易的需求与遵循规则的加密证明相结合的语言。

“实际上，我个人正在为 Cardano 开发一种编程语言，”Hoskinson 周日在 X 上写道，并补充说他正与 Lucas Rosa 合作，后者是 Input Output Global 的一名软件工程师，也是 Cardano 主要智能合约语言之一 Aiken 的共同创作者。

在网络规模达到如此之大后，这并不是大多数创始人会做的事情。Hoskinson 经营着一家满是工程师的公司，却仍然选择亲自编写未来 Cardano 应用可能构建于其上的工具。

该语言将支持三种工具：交易意图 (transaction intents)、携带证明的数据 (proof-carrying data) 和 Groth16 证明。

意图 (intent) 允许用户说明他们想要完成的操作，并将具体步骤留给应用处理。交易者可以要求仅在最终价格符合设定条件时才将一种代币兑换为另一种，而无需说明具体实现路径。

携带证明的数据将加密证据附加到一条信息上，表明其遵循了某些规则。另一个应用可以检查该证据，而无需重新执行其背后的每一项计算。