查尔斯·霍金森透露：正与Input Output Global工程师卢卡斯·罗萨联手开发Cardano新编程语言

10月18日，Charles Hoskinson表示，他正亲自与Input Output Global的工程师Lucas Rosa合作，为Cardano开发一种新的编程语言。Rosa是Aiken的共同创作者。这一披露指向了Cardano应用开发者的一条潜在新路径：以交易意图和加密证明为核心，而非传统的交易执行描述。

Hoskinson尚未公布该语言的名称、公开代码或提供开发者访问的时间表。这些缺失意味着该项目仍处于早期披露阶段，开发者目前尚无法评估或使用这一工具。

项目启动与背景

在X平台的一篇帖子中，Hoskinson确认了他与Rosa正在共同研发该语言。Rosa的参与使该项目与Aiken建立了直接联系，而Aiken已是Cardano现有的智能合约开发选项之一。

编程语言决定了开发者如何表达应用规则、构建交易以及与网络底层执行模型交互，因此此次宣布备受关注。然而，帖子本身并未列出具体规范或代码库，也未提出将该语言纳入Cardano更广泛开发者栈的路径。

目前，公众所能了解的内容仅限于Hoskinson所提及的元素及其预期用途。缺乏代码也使得诸如语言语法、工具链支持以及适用范围等实际问题悬而未决。

交易意图与加密证明

Hoskinson指出，该语言将结合“交易意图”（transaction intents）、“携带证明的数据”（proof-carrying data）以及Groth16加密证明技术。其设计理念强调用户希望交易达成的目标，同时附带旨在证明所需条件已满足的证据。

在该提议的系统下，用户只需指定期望的交易结果，应用程序则负责处理执行过程，并附加加密证据以证明条件已得到满足。这一区分对项目定位至关重要：不同于仅将用户交互描述为一系列执行步骤的传统模式，Hoskinson所描述的模型从结果出发，并将实现任务交由应用程序完成。证明组件旨在作为相关陈述条件的证据伴随整个流程。

Groth16是公告中明确提及的具体证明技术。无论是Hoskinson的披露还是后续报道，均未详细说明该技术如何在语言层面实现、哪些数据会被涵盖在证明范围内，以及应用程序如何将生成的交易呈现给Cardano用户。

对于一款声称涉及交易构建与验证的语言而言，这些都是关键的实施问题。在没有公共代码库或技术文档的情况下，仅凭高层级的公告无法解决这些问题。

与Plutus和Aiken并存

Hoskinson重申，他正与Input Output Global工程师、Aiken共同创作者Lucas Rosa个人主导开发这款新的Cardano编程语言。他指出，该语言将融合交易意图、携带证明的数据及Groth16加密证明。在此系统中，用户指定期望的交易结果，应用程序负责执行并提供满足条件的加密证据。

若最终发布，该项目将成为继Plutus和Aiken之后，Cardano生态系统的又一开发选项。Aiken旨在降低Cardano智能合约开发的门槛，使其比基于Haskell的Plutus环境更易上手。

截至10月19日，据CryptoSlate称，Hoskinson仍未公布该语言的名称、公开源代码或宣布面向开发者的发布日期。