Hoskinson 与 Lucas Rosa 开发新的 Cardano 编程语言

Charles Hoskinson 于 10 月 18 日宣布，他正亲自为 Cardano 开发一门新的编程语言。他表示 Aiken 的联合创始人、Midnight 的工具架构师 Lucas Rosa 将作为该项目的合作者。

Aiken 联合创始人与 Hoskinson 合作

Rosa 在网络上以 @rvcas 闻名，他共同创立了 Aiken，并领导其开发两年半以上。根据他的项目履历，这项工作包括为该语言设计特性，随后将其所有权及许可证移交给 Pragma 进行长期托管。

Aiken 是一门用于 Cardano 智能合约的编程语言和开发工具包。开发者用它来定义规则，以决定交易是否可以花费资产，或执行其他由合约控制的操作。

Rosa 目前的职位为 Midnight 的工具架构师。他的背景涵盖编译器、分布式系统与应用基础设施。

Hoskinson 的公告将 Rosa 指定为合作者，但未为 Midnight 指定任何组织层面的角色。

意图与 Groth16 证明如何衔接

意图描述的是用户希望达成的结果以及在何种条件下可以接受。用户可以请求用 ADA 兑换另一种代币，指定可接受的最小到手数量与最大费用。称为求解器的专业参与者随后可以寻找执行路径，并构造满足这些条件的交易。

携证明数据，或 PCD，指的是附带加密证明的信息，证明其遵循既定规则。该证明还可以涵盖其处理历史，从而表明之前的计算步骤遵守了这些规则。接收方无需重复先前的全部计算即可检验该证明。

Groth16 提供紧凑的零知识证明，且验证复杂度相对较低。它允许一方在不披露用于生成证明的私有输入的情况下，证明某项特定计算已被正确执行。哪些应用数据保持公开取决于所处系统的设计。

综合起来，这些概念可以使应用表达可接受的结果，并验证相关计算条件已被满足的证据。至于在拟议语言中将它们连接起来的具体机制，尚未披露。

将该语言与 Cardano 验证器相连接

Cardano 已经为基于证明的应用提供了加密学构件。Plutus V3 包含 BLS12-381 运算，支持对兼容的零知识证明进行高效验证。开发者可以使用这些原语构建合约，用于检查链外执行的计算证据。

验证会消耗执行资源，并体现在以 ADA 支付的交易费用中。因此，任何实现是否可行，取决于证明系统、验证器与工作负载能否适配 Cardano 的交易限制。

Hoskinson 的帖子未提供该语言的名称、代码库、规范或发布日期。其与 Aiken 以及 Plutus 的关系也尚未明确。尚待解决的集成要点是，如何让用这门新语言编写的程序生成证明并将其提供给 Cardano 验证器，从而把用户陈述的条件与授权结算的合约连接起来。