Cardano创始人Hoskinson称正亲自开发新编程语言

Cardano创始人Charles Hoskinson表示，他正在为该网络亲自开发一门新的编程语言，并称这门语言将把用户希望一笔交易达成的目标，与“相关规则已获遵循”的密码学证明结合起来。

与IOG工程师共同推进

根据其周日发布的公开内容，Hoskinson表示自己正与Input Output Global（IOG）软件工程师Lucas Rosa共同推进这一项目。Lucas Rosa是Aiken的共同创建者之一，Aiken是Cardano主要智能合约语言中的一种。

Hoskinson同时也是IOG的负责人，该公司拥有规模可观的工程团队。按照他的表述，这门语言将用于未来Cardano应用的构建。

拟整合三类技术组件

该语言计划支持三类工具：交易意图（transaction intents）、携带证明的数据（proof-carrying data）以及Groth16证明。

交易意图允许用户直接说明希望完成的结果，把具体执行步骤交由应用处理。举例来说，交易者可以设定在最终价格满足既定条件时完成一种代币与另一种代币的兑换，而无需自行描述实现路径。

携带证明的数据则为某条信息附加密码学证据，用以表明该信息符合特定规则；其他应用可以直接校验这份证据，不必重新执行其背后的全部计算。

Groth16是一种应用较为广泛的证明系统，能够生成体积较小、可被计算机快速校验的证明。这类证明可以在不披露用于满足条件的私有数据的前提下，说明某一条件已经达成。

三类组件结合后，开发者可以构建用于协调交易、校验复杂条件以及在服务之间传递经过验证的信息的应用，由Cardano网络在最后环节校验一份较小的证明。

Cardano现有开发语言情况

目前，Cardano开发者主要使用Plutus与Aiken编写智能合约，其中Plutus构建于编程语言Haskell之上。此外，由Hoskinson所在公司IOG打造的隐私方向区块链Midnight，拥有面向保密数据处理应用的独立语言Compact。

公开信息仍较为有限

截至相关表述发布时，Hoskinson尚未披露这门新语言的名称，没有发布公开代码，也没有公布开发者可以开始使用的具体时间。

信息来源：CoinDesk