Cardano 创始人 Charles Hoskinson 正在为网络构建一种新编程语言

Cardano 创始人 Charles Hoskinson 在 X 上表示，他正个人为 Cardano 开发区块链编程语言，并与 Input Output Global 软件工程师 Lucas Rosa 合作。Lucas Rosa 是 Cardano 主要智能合约语言之一 Aiken 的共同创建者。Hoskinson 称，该语言将把用户希望交易完成的事情与规则已得到遵守的密码学证明结合起来。他尚未公布该语言的名称、规范或发布日期，也未发布公开代码。

该语言计划支持三项工具：交易意图（transaction intents）、携带证明的数据（proof-carrying data）和 Groth16 证明。交易意图让用户说明希望完成什么，把具体步骤留给应用；携带证明的数据把密码学证据附加到信息上，让其他应用无需重算全部计算即可检查；Groth16 是广泛使用的证明系统，可生成计算机能快速验证的小型证明，在不披露私密数据的情况下显示条件已满足。

这些能力可能让开发者构建应用，用于协调交易、检查复杂条件并在服务之间传递经过验证的信息，最终由 Cardano 验证一个小型证明。Cardano 开发者目前使用基于 Haskell 的 Plutus 和 Aiken 编写智能合约；Hoskinson 公司 Input Output Global 构建的注重隐私的区块链 Midnight 则有面向机密数据应用的 Compact 语言。

待核实点在于：Hoskinson 尚未披露新语言名称、公开代码或开发者可开始使用的时间，因此其具体规范、性能、与现有 Cardano 工具的兼容性以及上线时间仍不明确。目前可见资料仅来自其 X 帖子和 CoinDesk 报道，细节有限。

来源说明：本文依据 CoinDesk 公开页面整理，未复制原文全文。

原文链接：https://www.coindesk.com/tech/2026/10/19/cardano-founder-charles-hoskinson-is-building-a-new-programming-language-for-the-network