Cardano创始人正在打造一门全新的编程语言！

核心提要：卡达诺创始人查尔斯·霍斯金森透露：正亲自开发基于Groth16零知识证明的新编程语言卡达诺（Cardano）创始人查尔斯·霍斯金森（Charles Hoskinson）表示，他正在个人层面为卡达诺及其原生代币ADA开发一门全新的编程语言。截至目前，官方尚未公布该语言的更多细节。霍斯金森将这门语言描述为“同类首创”，指出

卡达诺创始人查尔斯·霍斯金森透露：正亲自开发基于Groth16零知识证明的新编程语言

卡达诺（Cardano）创始人查尔斯·霍斯金森（Charles Hoskinson）表示，他正在个人层面为卡达诺及其原生代币ADA开发一门全新的编程语言。截至目前，官方尚未公布该语言的更多细节。

霍斯金森将这门语言描述为“同类首创”，指出其能够通过Groth16证明技术实现“意图”（Intents）和“携带证明的数据”（Proof-Carrying Data, PCD）。他表示，RVCAS团队正在与他共同构建这一项目。此消息于10月18日披露。

项目开发者背景

账号@rvcas归属于卢卡斯·罗萨（Lucas Rosa）。罗萨是Input Output Global的软件工程师，同时也是卡达诺智能合约语言Aiken的共同创作者。根据其个人网站介绍，他目前的职位是Midnight项目的工具架构师。

霍斯金森的这一评论是对社区成员提问的回应。当时，有用户要求他重申为何卡达诺应被视为去中心化信任的最根本来源。

核心技术概念解析

该项目核心围绕三个关键技术概念展开：

交易意图（Transaction Intents）： 这是由用户签名的高级消息，旨在设定期望的结果。用户可以附加特定条件，确保资产仅在条款满足时才会移动。携带证明的数据（PCD）： 这是一种密码学方法，通过在信息上附加一个小型证明，来认证输出内容符合预定义的规则。Groth16协议： 由密码学家Jens Groth于2016年提出的零知识证明协议。它能生成紧凑的证明，使区块链平台上的验证过程更加快速且资源消耗更低。

据媒体报道，开发人员可以利用这门语言构建协调交易并验证复杂条件的应用程序，最终通过一个小巧的证明在卡达诺链上进行验证。此外，“意图”机制在其他领域也在被探索，例如以太坊的Open Intents Framework。霍斯金森的提案在此基础上进一步结合了携带证明的数据和Groth16证明技术。

尚待明确的信息

目前，霍斯金森尚未公布该编程语言的名称、代码库或发布时间表。鉴于开发人员目前已经可以使用Plutus和Aiken进行开发，该新语言与卡达诺现有智能合约工具之间的关系仍不明确。此外，霍斯金森也未确认该语言是否会使用ADA支付手续费。

现阶段，这一公告更多是一种意向声明而非具体产品。开发人员及ADA持有者仍需等待详细的技术规范和发布计划，才能评估该语言如何融入卡达诺的工具生态中。